Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

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, ... library SafeMathLibrary    - 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 IUniswapRouter    - function factory()    - function WETH()    - function addLiquidityETH(    - function swapExactTokensForETHSupport ... interface IUniswapFactory    - function createPair(address tokenA, a ...    - function getPair(address tokenA, addr ...  contract TRAVA is IERC20, Ownable *    - function name()    - function symbol()    - function decimals()    - function getOwner()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function totalSupply()    - function _transfer(address sender, ad ...    - function updateFeeSettings(uint256 _l ...    - function shouldSwapBack(address sende ...    - function _shouldTakeFee(address sende ...    - function addLiquidity(uint256 tokenAm ...    - function swapBack(uint256 tokens)    - function _getTransferFees(address sen ...    - function _getFinalAmount(address send ...    - function min(uint256 a, uint256 b)    - function swapTokensToEth(uint256 toke ...    - function startTrade()    - function updateSetting(uint256 _buy, ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-12-13
*/

/*
AI-DRIVEN LENDING STATION.

Website: https://travaprotocol.com
Telegram: https://t.me/travafi_erc
Twitter: https://twitter.com/travafi_erc
Dapp: https://app.travaprotocol.com
*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.21;

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

library SafeMathLibrary {
    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 IUniswapRouter {
    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 IUniswapFactory {
    function createPair(address tokenA, address tokenB) external returns (address pairAddress_);
    function getPair(address tokenA, address tokenB) external view returns (address pairAddress_);
}

contract TRAVA is IERC20, Ownable {
    using SafeMathLibrary for uint256;
    string private constant _name = 'Trava Protocol';
    string private constant _symbol = 'TRAVA';
    uint8 private constant _decimals = 18;
    uint256 private _tSupply = 10 ** 9 * (10 ** _decimals);
    IUniswapRouter _routers;
    address public _pairs;
    bool private _opened = false;
    bool private _swapFeeActive = true;
    uint256 private _swapTimes;
    bool private _inswapping;
    uint256 _buyersCount = 1;
    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) public _isTaxExempt;
    uint256 private _feeSwapMax = ( _tSupply * 3) / 100;
    uint256 private _feeSwapMin = ( _tSupply * 1) / 100000;
    modifier lockSwap {_inswapping = true; _; _inswapping = false;}
    uint256 private liquidityFee = 0;
    uint256 private marketingFee = 0; 
    uint256 private developmentFee = 100; 
    uint256 private burnFee = 0;
    uint256 private totalFee = 2500; 
    uint256 private sellFee = 2500; 
    uint256 private transferFee = 2500;
    uint256 private denominator = 10000;
    uint256 public maxTransactionAmount = ( _tSupply * 150 ) / 10000;
    uint256 public maxTransferAmount = ( _tSupply * 150 ) / 10000;
    uint256 public maxWalletAmount = ( _tSupply * 150 ) / 10000;
    address internal constant DEAD = 0x000000000000000000000000000000000000dEaD;
    address internal development_receiver = 0x4f7991a7acA70E822C032D22C2731633Fd67e065;
    address internal marketing_receiver = 0x4f7991a7acA70E822C032D22C2731633Fd67e065; 
    address internal liquidity_receiver = 0x4f7991a7acA70E822C032D22C2731633Fd67e065;

    constructor() Ownable(msg.sender) {
        IUniswapRouter _router = IUniswapRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        address _pair = IUniswapFactory(_router.factory()).createPair(address(this), _router.WETH());
        _routers = _router; _pairs = _pair;
        _isTaxExempt[liquidity_receiver] = true;
        _isTaxExempt[marketing_receiver] = true;
        _isTaxExempt[development_receiver] = true;
        _isTaxExempt[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 decimals() public pure returns (uint8) {return _decimals;}
    function getOwner() external view override returns (address) { return owner; }
    function balanceOf(address account) public view override returns (uint256) {return _balances[account];}
    function transfer(address recipient, uint256 amount) public override returns (bool) {_transfer(msg.sender, recipient, amount);return true;}
    function allowance(address owner, address spender) public view override returns (uint256) {return _allowances[owner][spender];}
    function 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 _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");
        if(!_isTaxExempt[sender] && !_isTaxExempt[recipient]){require(_opened, "_opened");}
        if(!_isTaxExempt[sender] && !_isTaxExempt[recipient] && recipient != address(_pairs) && recipient != address(DEAD)){
        require((_balances[recipient].add(amount)) <= maxWalletAmount, "Exceeds maximum wallet amount.");}
        if(sender != _pairs){require(amount <= maxTransferAmount || _isTaxExempt[sender] || _isTaxExempt[recipient], "TX Limit Exceeded");}
        require(amount <= maxTransactionAmount || _isTaxExempt[sender] || _isTaxExempt[recipient], "TX Limit Exceeded"); 
        if(recipient == _pairs && !_isTaxExempt[sender]){_swapTimes += uint256(1);}
        if(shouldSwapBack(sender, recipient, amount)){swapBack(min(balanceOf(address(this)), _feeSwapMax)); _swapTimes = uint256(0);}
        if (!_opened || !_isTaxExempt[sender]) { _balances[sender] = _balances[sender].sub(amount); }
        uint256 amountReceived = _shouldTakeFee(sender, recipient) ? _getFinalAmount(sender, recipient, amount) : amount;
        _balances[recipient] = _balances[recipient].add(amountReceived);
        emit Transfer(sender, recipient, amountReceived);
    }
    function updateFeeSettings(uint256 _liquidity, uint256 _marketing, uint256 _burn, uint256 _development, uint256 _total, uint256 _sell, uint256 _trans) external onlyOwner {
        liquidityFee = _liquidity; marketingFee = _marketing; burnFee = _burn; developmentFee = _development; totalFee = _total; sellFee = _sell; transferFee = _trans;
        require(totalFee <= denominator && sellFee <= denominator && transferFee <= denominator, "totalFee and sellFee cannot be more than 100%");
    }
    function shouldSwapBack(address sender, address recipient, uint256 amount) internal view returns (bool) {
        bool aboveMin = amount >= _feeSwapMin;
        bool aboveThreshold = balanceOf(address(this)) >= _feeSwapMin;
        return !_inswapping && _swapFeeActive && _opened && aboveMin && !_isTaxExempt[sender] && recipient == _pairs && _swapTimes >= _buyersCount && aboveThreshold;
    }
    function _shouldTakeFee(address sender, address recipient) internal view returns (bool) {
        return !_isTaxExempt[sender] && !_isTaxExempt[recipient];
    }
    function addLiquidity(uint256 tokenAmount, uint256 ETHAmount) private {
        _approve(address(this), address(_routers), tokenAmount);
        _routers.addLiquidityETH{value: ETHAmount}(
            address(this),
            tokenAmount,
            0,
            0,
            liquidity_receiver,
            block.timestamp);
    }
    function swapBack(uint256 tokens) private lockSwap {
        uint256 _denominator = (liquidityFee.add(1).add(marketingFee).add(developmentFee)).mul(2);
        uint256 tokensToAddLiquidityWith = tokens.mul(liquidityFee).div(_denominator);
        uint256 toSwap = tokens.sub(tokensToAddLiquidityWith);
        uint256 initialBalance = address(this).balance;
        swapTokensToEth(toSwap);
        uint256 deltaBalance = address(this).balance.sub(initialBalance);
        uint256 unitBalance= deltaBalance.div(_denominator.sub(liquidityFee));
        uint256 ETHToAddLiquidityWith = unitBalance.mul(liquidityFee);
        if(ETHToAddLiquidityWith > uint256(0)){addLiquidity(tokensToAddLiquidityWith, ETHToAddLiquidityWith); }
        uint256 marketingAmt = unitBalance.mul(2).mul(marketingFee);
        if(marketingAmt > 0){payable(marketing_receiver).transfer(marketingAmt);}
        uint256 contractBalance = address(this).balance;
        if(contractBalance > uint256(0)){payable(development_receiver).transfer(contractBalance);}
    }
    function _getTransferFees(address sender, address recipient) internal view returns (uint256) {
        if(recipient == _pairs){return sellFee;}
        if(sender == _pairs){return totalFee;}
        return transferFee;
    }
    function _getFinalAmount(address sender, address recipient, uint256 amount) internal returns (uint256) {
        if(_getTransferFees(sender, recipient) > 0){
        uint256 feeAmount = amount.div(denominator).mul(_getTransferFees(sender, recipient));
        _balances[address(this)] = _balances[address(this)].add(feeAmount);
        emit Transfer(sender, address(this), feeAmount);
        if(burnFee > uint256(0) && _getTransferFees(sender, recipient) > burnFee){_transfer(address(this), address(DEAD), amount.div(denominator).mul(burnFee));}
        return amount.sub(feeAmount);} return amount;
    }
    function min(uint256 a, uint256 b) private pure returns (uint256) {
      return (a > b) ? b : a;
    }
    function swapTokensToEth(uint256 tokenAmount) private {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = _routers.WETH();
        _approve(address(this), address(_routers), tokenAmount);
        _routers.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            0,
            path,
            address(this),
            block.timestamp);
    }
    function startTrade() external onlyOwner {_opened = true;}
    function updateSetting(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);
        maxTransactionAmount = newTx; maxTransferAmount = newTransfer; maxWalletAmount = 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 transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, msg.sender, _allowances[sender][msg.sender].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }
    function _approve(address owner, address spender, uint256 amount) private {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");
        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }    
    receive() external payable {}
}

• 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":"","type":"address"}],"name":"_isTaxExempt","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_pairs","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"getOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"maxTransactionAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"maxTransferAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"maxWalletAmount","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":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"startTrade","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"},{"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":"updateFeeSettings","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":"updateSetting","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052620000126012600a620004b0565b6200002290633b9aca00620004c7565b60018181556003805461ffff60a01b1916600160a81b1781556006919091556064916200004f91620004c7565b6200005b9190620004e1565b600a55620186a06001546001620000739190620004c7565b6200007f9190620004e1565b600b555f600c555f600d556064600e555f600f556109c46010556109c46011556109c46012556127106013556127106001546096620000bf9190620004c7565b620000cb9190620004e1565b6014556127106001546096620000e29190620004c7565b620000ee9190620004e1565b6015556127106001546096620001059190620004c7565b620001119190620004e1565b60165560178054734f7991a7aca70e822c032d22c2731633fd67e0656001600160a01b031991821681179092556018805482168317905560198054909116909117905534801562000160575f80fd5b505f80546001600160a01b031916331781556040805163c45a015560e01b81529051737a250d5630b4cf539739df2c5dacb4c659f2488d9291839163c45a0155916004808201926020929091908290030181865afa158015620001c5573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620001eb919062000501565b6001600160a01b031663c9c6539630846001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801562000237573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906200025d919062000501565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015620002a8573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620002ce919062000501565b600280546001600160a01b038581166001600160a01b03199283161790925560038054848416921691909117905560195481165f908152600960209081526040808320805460ff19908116600190811790925560185486168552828520805482168317905560175490951684528184208054861682179055338085528285208054909616821790955554600783528184208190559051908152939450919290917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3505062000529565b634e487b7160e01b5f52601160045260245ffd5b600181815b80851115620003f557815f1904821115620003d957620003d9620003a1565b80851615620003e757918102915b93841c9390800290620003ba565b509250929050565b5f826200040d57506001620004aa565b816200041b57505f620004aa565b81600181146200043457600281146200043f576200045f565b6001915050620004aa565b60ff841115620004535762000453620003a1565b50506001821b620004aa565b5060208310610133831016604e8410600b841016171562000484575081810a620004aa565b620004908383620003b5565b805f1904821115620004a657620004a6620003a1565b0290505b92915050565b5f620004c060ff841683620003fd565b9392505050565b8082028115828204841417620004aa57620004aa620003a1565b5f82620004fc57634e487b7160e01b5f52601260045260245ffd5b500490565b5f6020828403121562000512575f80fd5b81516001600160a01b0381168114620004c0575f80fd5b61180480620005375f395ff3fe608060405260043610610129575f3560e01c806370a08231116100a8578063a9e757231161006d578063a9e757231461037e578063aa4bde2814610393578063c8c8ebe4146103a8578063dd62ed3e146103bd578063e4c2b2d214610401578063f2fde38b14610420575f80fd5b806370a08231146102ce578063715018a614610302578063893d20e81461031657806395d89b4114610332578063a9059cbb1461035f575f80fd5b80632f54bf6e116100ee5780632f54bf6e1461021a578063313ce567146102475780634c672f6314610262578063586960dd146102835780636c580801146102ba575f80fd5b806306fdde0314610134578063095ea7b31461017c57806318160ddd146101ab57806323b872dd146101cd5780632ef4845e146101ec575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b5060408051808201909152600e81526d151c985d9848141c9bdd1bd8dbdb60921b60208201525b60405161017391906114c1565b60405180910390f35b348015610187575f80fd5b5061019b610196366004611523565b61043f565b6040519015158152602001610173565b3480156101b6575f80fd5b506101bf610455565b604051908152602001610173565b3480156101d8575f80fd5b5061019b6101e736600461154d565b6104c5565b3480156101f7575f80fd5b5061019b61020636600461158b565b60096020525f908152604090205460ff1681565b348015610225575f80fd5b5061019b61023436600461158b565b5f546001600160a01b0391821691161490565b348015610252575f80fd5b5060405160128152602001610173565b34801561026d575f80fd5b5061028161027c3660046115a6565b61052d565b005b34801561028e575f80fd5b506003546102a2906001600160a01b031681565b6040516001600160a01b039091168152602001610173565b3480156102c5575f80fd5b50610281610672565b3480156102d9575f80fd5b506101bf6102e836600461158b565b6001600160a01b03165f9081526007602052604090205490565b34801561030d575f80fd5b506102816106b0565b348015610321575f80fd5b505f546001600160a01b03166102a2565b34801561033d575f80fd5b50604080518082019091526005815264545241564160d81b6020820152610166565b34801561036a575f80fd5b5061019b610379366004611523565b61071d565b348015610389575f80fd5b506101bf60155481565b34801561039e575f80fd5b506101bf60165481565b3480156103b3575f80fd5b506101bf60145481565b3480156103c8575f80fd5b506101bf6103d73660046115cf565b6001600160a01b039182165f90815260086020908152604080832093909416825291909152205490565b34801561040c575f80fd5b5061028161041b366004611606565b610729565b34801561042b575f80fd5b5061028161043a36600461158b565b6107fd565b5f61044b338484610879565b5060015b92915050565b60076020527f6d5257204ebe7d88fd91ae87941cb2dd9d8062b64ae5a2bd2d28ec40b9fbf6df5461dead5f9081527fb0c2646e02af70b79e3fe9277b98373379f54150e4e26b2b5650139f7a75a65d5460015491926104c09290916104ba919061099c565b9061099c565b905090565b5f6104d18484846109a7565b610522843361051d856040518060600160405280602881526020016117a7602891396001600160a01b038a165f9081526008602090815260408083203384529091529020549190610ea9565b610879565b5060015b9392505050565b5f546001600160a01b0316331461055f5760405162461bcd60e51b81526004016105569061164d565b60405180910390fd5b5f61058161271061057b86600154610ed490919063ffffffff16565b90610edf565b90505f61059f61271061057b86600154610ed490919063ffffffff16565b90505f6105bd61271061057b86600154610ed490919063ffffffff16565b60148490556015839055601681905590505f6105e86103e861057b60056105e2610455565b90610ed4565b90508084101580156105fa5750808310155b80156106065750808210155b6106695760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b6064820152608401610556565b50505050505050565b5f546001600160a01b0316331461069b5760405162461bcd60e51b81526004016105569061164d565b6003805460ff60a01b1916600160a01b179055565b5f546001600160a01b031633146106d95760405162461bcd60e51b81526004016105569061164d565b5f80546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b5f61044b3384846109a7565b5f546001600160a01b031633146107525760405162461bcd60e51b81526004016105569061164d565b600c879055600d869055600f859055600e849055601083905560118290556012819055601354831180159061078b575060135460115411155b801561079b575060135460125411155b6106695760405162461bcd60e51b815260206004820152602d60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526c6f7265207468616e203130302560981b6064820152608401610556565b5f546001600160a01b031633146108265760405162461bcd60e51b81526004016105569061164d565b5f80546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b0383166108db5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610556565b6001600160a01b03821661093c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610556565b6001600160a01b038381165f8181526008602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f6105268284611681565b6001600160a01b038316610a0b5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610556565b6001600160a01b038216610a6d5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610556565b6001600160a01b0383165f9081526009602052604090205460ff16158015610aad57506001600160a01b0382165f9081526009602052604090205460ff16155b15610af557600354600160a01b900460ff16610af55760405162461bcd60e51b815260206004820152600760248201526617dbdc195b995960ca1b6044820152606401610556565b6001600160a01b0383165f9081526009602052604090205460ff16158015610b3557506001600160a01b0382165f9081526009602052604090205460ff16155b8015610b4f57506003546001600160a01b03838116911614155b8015610b6657506001600160a01b03821661dead14155b15610bde576016546001600160a01b0383165f90815260076020526040902054610b909083610eea565b1115610bde5760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e00006044820152606401610556565b6003546001600160a01b03848116911614610c7d5760155481111580610c1b57506001600160a01b0383165f9081526009602052604090205460ff165b80610c3d57506001600160a01b0382165f9081526009602052604090205460ff165b610c7d5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610556565b60145481111580610ca557506001600160a01b0383165f9081526009602052604090205460ff165b80610cc757506001600160a01b0382165f9081526009602052604090205460ff165b610d075760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610556565b6003546001600160a01b038381169116148015610d3c57506001600160a01b0383165f9081526009602052604090205460ff16155b15610d5957600160045f828254610d539190611694565b90915550505b610d64838383610ef5565b15610d9257305f90815260076020526040902054610d8d90610d8890600a54610fac565b610fc0565b5f6004555b600354600160a01b900460ff161580610dc357506001600160a01b0383165f9081526009602052604090205460ff16155b15610e03576001600160a01b0383165f90815260076020526040902054610dea908261099c565b6001600160a01b0384165f908152600760205260409020555b5f610e0e8484611130565b610e185781610e23565b610e23848484611174565b6001600160a01b0384165f90815260076020526040902054909150610e489082610eea565b6001600160a01b038085165f8181526007602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e9b9085815260200190565b60405180910390a350505050565b5f8184841115610ecc5760405162461bcd60e51b815260040161055691906114c1565b505050900390565b5f61052682846116a7565b5f61052682846116be565b5f6105268284611694565b600b54305f90815260076020526040812054600554919280851015929110159060ff16158015610f2e5750600354600160a81b900460ff165b8015610f435750600354600160a01b900460ff165b8015610f4c5750815b8015610f7057506001600160a01b0386165f9081526009602052604090205460ff16155b8015610f8957506003546001600160a01b038681169116145b8015610f99575060065460045410155b8015610fa25750805b9695505050505050565b5f818311610fba5782610526565b50919050565b6005805460ff19166001908117909155600e54600d54600c545f93610ff9936002936105e2939192610ff3928391610eea565b90610eea565b90505f6110158261057b600c5486610ed490919063ffffffff16565b90505f611022848361099c565b90504761102e82611276565b5f611039478361099c565b90505f61105b611054600c548861099c90919063ffffffff16565b8390610edf565b90505f611073600c5483610ed490919063ffffffff16565b905080156110855761108586826113c6565b600d545f90611099906105e2856002610ed4565b905080156110da576018546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156110d8573d5f803e3d5ffd5b505b47801561111a576017546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611118573d5f803e3d5ffd5b505b50506005805460ff191690555050505050505050565b6001600160a01b0382165f9081526009602052604081205460ff161580156105265750506001600160a01b03165f9081526009602052604090205460ff1615919050565b5f806111808585611477565b111561126f575f6111a26111948686611477565b6013546105e2908690610edf565b305f908152600760205260409020549091506111be9082610eea565b305f81815260076020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061120e9085815260200190565b60405180910390a35f600f541180156112315750600f5461122f8686611477565b115b1561125d5761125d3061dead611258600f546105e260135489610edf90919063ffffffff16565b6109a7565b611267838261099c565b915050610526565b5092915050565b6040805160028082526060820183525f9260208301908036833701905050905030815f815181106112a9576112a96116dd565b6001600160a01b03928316602091820292909201810191909152600254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611300573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061132491906116f1565b81600181518110611337576113376116dd565b6001600160a01b03928316602091820292909201015260025461135d9130911684610879565b60025460405163791ac94760e01b81526001600160a01b039091169063791ac947906113959085905f9086903090429060040161170c565b5f604051808303815f87803b1580156113ac575f80fd5b505af11580156113be573d5f803e3d5ffd5b505050505050565b6002546113de9030906001600160a01b031684610879565b60025460195460405163f305d71960e01b8152306004820152602481018590525f6044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990839060c40160606040518083038185885af115801561144b573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190611470919061177b565b5050505050565b6003545f906001600160a01b0390811690831603611498575060115461044f565b6003546001600160a01b03908116908416036114b7575060105461044f565b5060125492915050565b5f6020808352835180828501525f5b818110156114ec578581018301518582016040015282016114d0565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611520575f80fd5b50565b5f8060408385031215611534575f80fd5b823561153f8161150c565b946020939093013593505050565b5f805f6060848603121561155f575f80fd5b833561156a8161150c565b9250602084013561157a8161150c565b929592945050506040919091013590565b5f6020828403121561159b575f80fd5b81356105268161150c565b5f805f606084860312156115b8575f80fd5b505081359360208301359350604090920135919050565b5f80604083850312156115e0575f80fd5b82356115eb8161150c565b915060208301356115fb8161150c565b809150509250929050565b5f805f805f805f60e0888a03121561161c575f80fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561044f5761044f61166d565b8082018082111561044f5761044f61166d565b808202811582820484141761044f5761044f61166d565b5f826116d857634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611701575f80fd5b81516105268161150c565b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b8181101561175a5784516001600160a01b031683529383019391830191600101611735565b50506001600160a01b03969096166060850152505050608001529392505050565b5f805f6060848603121561178d575f80fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212205e5ee8c745a0d115d4bf11abbceb46b181b1ff4e333533944cd14f481874187564736f6c63430008150033

0x608060405260043610610129575f3560e01c806370a08231116100a8578063a9e757231161006d578063a9e757231461037e578063aa4bde2814610393578063c8c8ebe4146103a8578063dd62ed3e146103bd578063e4c2b2d214610401578063f2fde38b14610420575f80fd5b806370a08231146102ce578063715018a614610302578063893d20e81461031657806395d89b4114610332578063a9059cbb1461035f575f80fd5b80632f54bf6e116100ee5780632f54bf6e1461021a578063313ce567146102475780634c672f6314610262578063586960dd146102835780636c580801146102ba575f80fd5b806306fdde0314610134578063095ea7b31461017c57806318160ddd146101ab57806323b872dd146101cd5780632ef4845e146101ec575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b5060408051808201909152600e81526d151c985d9848141c9bdd1bd8dbdb60921b60208201525b60405161017391906114c1565b60405180910390f35b348015610187575f80fd5b5061019b610196366004611523565b61043f565b6040519015158152602001610173565b3480156101b6575f80fd5b506101bf610455565b604051908152602001610173565b3480156101d8575f80fd5b5061019b6101e736600461154d565b6104c5565b3480156101f7575f80fd5b5061019b61020636600461158b565b60096020525f908152604090205460ff1681565b348015610225575f80fd5b5061019b61023436600461158b565b5f546001600160a01b0391821691161490565b348015610252575f80fd5b5060405160128152602001610173565b34801561026d575f80fd5b5061028161027c3660046115a6565b61052d565b005b34801561028e575f80fd5b506003546102a2906001600160a01b031681565b6040516001600160a01b039091168152602001610173565b3480156102c5575f80fd5b50610281610672565b3480156102d9575f80fd5b506101bf6102e836600461158b565b6001600160a01b03165f9081526007602052604090205490565b34801561030d575f80fd5b506102816106b0565b348015610321575f80fd5b505f546001600160a01b03166102a2565b34801561033d575f80fd5b50604080518082019091526005815264545241564160d81b6020820152610166565b34801561036a575f80fd5b5061019b610379366004611523565b61071d565b348015610389575f80fd5b506101bf60155481565b34801561039e575f80fd5b506101bf60165481565b3480156103b3575f80fd5b506101bf60145481565b3480156103c8575f80fd5b506101bf6103d73660046115cf565b6001600160a01b039182165f90815260086020908152604080832093909416825291909152205490565b34801561040c575f80fd5b5061028161041b366004611606565b610729565b34801561042b575f80fd5b5061028161043a36600461158b565b6107fd565b5f61044b338484610879565b5060015b92915050565b60076020527f6d5257204ebe7d88fd91ae87941cb2dd9d8062b64ae5a2bd2d28ec40b9fbf6df5461dead5f9081527fb0c2646e02af70b79e3fe9277b98373379f54150e4e26b2b5650139f7a75a65d5460015491926104c09290916104ba919061099c565b9061099c565b905090565b5f6104d18484846109a7565b610522843361051d856040518060600160405280602881526020016117a7602891396001600160a01b038a165f9081526008602090815260408083203384529091529020549190610ea9565b610879565b5060015b9392505050565b5f546001600160a01b0316331461055f5760405162461bcd60e51b81526004016105569061164d565b60405180910390fd5b5f61058161271061057b86600154610ed490919063ffffffff16565b90610edf565b90505f61059f61271061057b86600154610ed490919063ffffffff16565b90505f6105bd61271061057b86600154610ed490919063ffffffff16565b60148490556015839055601681905590505f6105e86103e861057b60056105e2610455565b90610ed4565b90508084101580156105fa5750808310155b80156106065750808210155b6106695760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b6064820152608401610556565b50505050505050565b5f546001600160a01b0316331461069b5760405162461bcd60e51b81526004016105569061164d565b6003805460ff60a01b1916600160a01b179055565b5f546001600160a01b031633146106d95760405162461bcd60e51b81526004016105569061164d565b5f80546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b5f61044b3384846109a7565b5f546001600160a01b031633146107525760405162461bcd60e51b81526004016105569061164d565b600c879055600d869055600f859055600e849055601083905560118290556012819055601354831180159061078b575060135460115411155b801561079b575060135460125411155b6106695760405162461bcd60e51b815260206004820152602d60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526c6f7265207468616e203130302560981b6064820152608401610556565b5f546001600160a01b031633146108265760405162461bcd60e51b81526004016105569061164d565b5f80546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b0383166108db5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610556565b6001600160a01b03821661093c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610556565b6001600160a01b038381165f8181526008602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f6105268284611681565b6001600160a01b038316610a0b5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610556565b6001600160a01b038216610a6d5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610556565b6001600160a01b0383165f9081526009602052604090205460ff16158015610aad57506001600160a01b0382165f9081526009602052604090205460ff16155b15610af557600354600160a01b900460ff16610af55760405162461bcd60e51b815260206004820152600760248201526617dbdc195b995960ca1b6044820152606401610556565b6001600160a01b0383165f9081526009602052604090205460ff16158015610b3557506001600160a01b0382165f9081526009602052604090205460ff16155b8015610b4f57506003546001600160a01b03838116911614155b8015610b6657506001600160a01b03821661dead14155b15610bde576016546001600160a01b0383165f90815260076020526040902054610b909083610eea565b1115610bde5760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e00006044820152606401610556565b6003546001600160a01b03848116911614610c7d5760155481111580610c1b57506001600160a01b0383165f9081526009602052604090205460ff165b80610c3d57506001600160a01b0382165f9081526009602052604090205460ff165b610c7d5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610556565b60145481111580610ca557506001600160a01b0383165f9081526009602052604090205460ff165b80610cc757506001600160a01b0382165f9081526009602052604090205460ff165b610d075760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610556565b6003546001600160a01b038381169116148015610d3c57506001600160a01b0383165f9081526009602052604090205460ff16155b15610d5957600160045f828254610d539190611694565b90915550505b610d64838383610ef5565b15610d9257305f90815260076020526040902054610d8d90610d8890600a54610fac565b610fc0565b5f6004555b600354600160a01b900460ff161580610dc357506001600160a01b0383165f9081526009602052604090205460ff16155b15610e03576001600160a01b0383165f90815260076020526040902054610dea908261099c565b6001600160a01b0384165f908152600760205260409020555b5f610e0e8484611130565b610e185781610e23565b610e23848484611174565b6001600160a01b0384165f90815260076020526040902054909150610e489082610eea565b6001600160a01b038085165f8181526007602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e9b9085815260200190565b60405180910390a350505050565b5f8184841115610ecc5760405162461bcd60e51b815260040161055691906114c1565b505050900390565b5f61052682846116a7565b5f61052682846116be565b5f6105268284611694565b600b54305f90815260076020526040812054600554919280851015929110159060ff16158015610f2e5750600354600160a81b900460ff165b8015610f435750600354600160a01b900460ff165b8015610f4c5750815b8015610f7057506001600160a01b0386165f9081526009602052604090205460ff16155b8015610f8957506003546001600160a01b038681169116145b8015610f99575060065460045410155b8015610fa25750805b9695505050505050565b5f818311610fba5782610526565b50919050565b6005805460ff19166001908117909155600e54600d54600c545f93610ff9936002936105e2939192610ff3928391610eea565b90610eea565b90505f6110158261057b600c5486610ed490919063ffffffff16565b90505f611022848361099c565b90504761102e82611276565b5f611039478361099c565b90505f61105b611054600c548861099c90919063ffffffff16565b8390610edf565b90505f611073600c5483610ed490919063ffffffff16565b905080156110855761108586826113c6565b600d545f90611099906105e2856002610ed4565b905080156110da576018546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156110d8573d5f803e3d5ffd5b505b47801561111a576017546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611118573d5f803e3d5ffd5b505b50506005805460ff191690555050505050505050565b6001600160a01b0382165f9081526009602052604081205460ff161580156105265750506001600160a01b03165f9081526009602052604090205460ff1615919050565b5f806111808585611477565b111561126f575f6111a26111948686611477565b6013546105e2908690610edf565b305f908152600760205260409020549091506111be9082610eea565b305f81815260076020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061120e9085815260200190565b60405180910390a35f600f541180156112315750600f5461122f8686611477565b115b1561125d5761125d3061dead611258600f546105e260135489610edf90919063ffffffff16565b6109a7565b611267838261099c565b915050610526565b5092915050565b6040805160028082526060820183525f9260208301908036833701905050905030815f815181106112a9576112a96116dd565b6001600160a01b03928316602091820292909201810191909152600254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611300573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061132491906116f1565b81600181518110611337576113376116dd565b6001600160a01b03928316602091820292909201015260025461135d9130911684610879565b60025460405163791ac94760e01b81526001600160a01b039091169063791ac947906113959085905f9086903090429060040161170c565b5f604051808303815f87803b1580156113ac575f80fd5b505af11580156113be573d5f803e3d5ffd5b505050505050565b6002546113de9030906001600160a01b031684610879565b60025460195460405163f305d71960e01b8152306004820152602481018590525f6044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990839060c40160606040518083038185885af115801561144b573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190611470919061177b565b5050505050565b6003545f906001600160a01b0390811690831603611498575060115461044f565b6003546001600160a01b03908116908416036114b7575060105461044f565b5060125492915050565b5f6020808352835180828501525f5b818110156114ec578581018301518582016040015282016114d0565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611520575f80fd5b50565b5f8060408385031215611534575f80fd5b823561153f8161150c565b946020939093013593505050565b5f805f6060848603121561155f575f80fd5b833561156a8161150c565b9250602084013561157a8161150c565b929592945050506040919091013590565b5f6020828403121561159b575f80fd5b81356105268161150c565b5f805f606084860312156115b8575f80fd5b505081359360208301359350604090920135919050565b5f80604083850312156115e0575f80fd5b82356115eb8161150c565b915060208301356115fb8161150c565b809150509250929050565b5f805f805f805f60e0888a03121561161c575f80fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561044f5761044f61166d565b8082018082111561044f5761044f61166d565b808202811582820484141761044f5761044f61166d565b5f826116d857634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611701575f80fd5b81516105268161150c565b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b8181101561175a5784516001600160a01b031683529383019391830191600101611735565b50506001600160a01b03969096166060850152505050608001529392505050565b5f805f6060848603121561178d575f80fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212205e5ee8c745a0d115d4bf11abbceb46b181b1ff4e333533944cd14f481874187564736f6c63430008150033

3884:9932:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6218:67;;;;;;;;;;-1:-1:-1;6278:5:0;;;;;;;;;;;;-1:-1:-1;;;6278:5:0;;;;6218:67;;;;;;;:::i;:::-;;;;;;;;6912:133;;;;;;;;;;-1:-1:-1;6912:133:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6912:133:0;1023:187:1;7051:128:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;7051:128:0;1215:177:1;13124:309:0;;;;;;;;;;-1:-1:-1;13124:309:0;;;;;:::i;:::-;;:::i;4523:45::-;;;;;;;;;;-1:-1:-1;4523:45:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;2653:87;;;;;;;;;;-1:-1:-1;2653:87:0;;;;;:::i;:::-;2708:4;2733:5;-1:-1:-1;;;;;2722:16:0;;;2733:5;;2722:16;;2653:87;6368:67;;;;;;;;;;-1:-1:-1;6368:67:0;;4103:2;2252:36:1;;2240:2;2225:18;6368:67:0;2110:184:1;12570:548:0;;;;;;;;;;-1:-1:-1;12570:548:0;;;;;:::i;:::-;;:::i;:::-;;4203:21;;;;;;;;;;-1:-1:-1;4203:21:0;;;;-1:-1:-1;;;;;4203:21:0;;;;;;-1:-1:-1;;;;;2784:32:1;;;2766:51;;2754:2;2739:18;4203:21:0;2620:203:1;12506:58:0;;;;;;;;;;;;;:::i;6525:103::-;;;;;;;;;;-1:-1:-1;6525:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;6608:18:0;6591:7;6608:18;;;:9;:18;;;;;;;6525:103;2863:106;;;;;;;;;;;;;:::i;6441:78::-;;;;;;;;;;-1:-1:-1;6493:7:0;6511:5;-1:-1:-1;;;;;6511:5:0;6441:78;;6291:71;;;;;;;;;;-1:-1:-1;6353:7:0;;;;;;;;;;;;-1:-1:-1;;;6353:7:0;;;;6291:71;;6634:139;;;;;;;;;;-1:-1:-1;6634:139:0;;;;;:::i;:::-;;:::i;5151:61::-;;;;;;;;;;;;;;;;5219:59;;;;;;;;;;;;;;;;5080:64;;;;;;;;;;;;;;;;6779:127;;;;;;;;;;-1:-1:-1;6779:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;6877:18:0;;;6860:7;6877:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6779:127;8610:495;;;;;;;;;;-1:-1:-1;8610:495:0;;;;;:::i;:::-;;:::i;2746:111::-;;;;;;;;;;-1:-1:-1;2746:111:0;;;;;:::i;:::-;;:::i;6912:133::-;6987:4;6994:37;7003:10;7015:7;7024:6;6994:8;:37::i;:::-;-1:-1:-1;7039:4:0;6912:133;;;;;:::o;7051:128::-;6608:9;:18;;;;5318:42;7104:7;6608:18;;;;;7121:8;;7104:7;;7121:56;;6608:18;;7121:29;;:8;:12;:29::i;:::-;:33;;:56::i;:::-;7114:63;;7051:128;:::o;13124:309::-;13222:4;13239:36;13249:6;13257:9;13268:6;13239:9;:36::i;:::-;13286:117;13295:6;13303:10;13315:87;13351:6;13315:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;13315:19:0;;;;;;:11;:19;;;;;;;;13335:10;13315:31;;;;;;;;;:87;:35;:87::i;:::-;13286:8;:117::i;:::-;-1:-1:-1;13421:4:0;13124:309;;;;;;:::o;12570:548::-;2708:4;2733:5;-1:-1:-1;;;;;2733:5:0;2620:10;2722:16;2604:38;;;;-1:-1:-1;;;2604:38:0;;;;;;;:::i;:::-;;;;;;;;;12669:13:::1;12685:29;12708:5;12685:18;12698:4;12685:8;;:12;;:18;;;;:::i;:::-;:22:::0;::::1;:29::i;:::-;12669:45;;12716:19;12738:30;12762:5;12738:19;12751:5;12738:8;;:12;;:19;;;;:::i;:30::-;12716:52;;12770:17;12790:32;12816:5;12790:21;12803:7;12790:8;;:12;;:21;;;;:::i;:32::-;12833:20;:28:::0;;;12863:17:::1;:31:::0;;;12896:15:::1;:27:::0;;;12770:52;-1:-1:-1;;12950:30:0::1;12975:4;12950:20;12968:1;12950:13;:11;:13::i;:::-;:17:::0;::::1;:20::i;:30::-;12934:46;;13008:5;12999;:14;;:38;;;;;13032:5;13017:11;:20;;12999:38;:60;;;;;13054:5;13041:9;:18;;12999:60;12991:119;;;::::0;-1:-1:-1;;;12991:119:0;;4614:2:1;12991: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;;12991:119:0::1;4412:410:1::0;12991:119:0::1;12658:460;;;;12570:548:::0;;;:::o;12506:58::-;2708:4;2733:5;-1:-1:-1;;;;;2733:5:0;2620:10;2722:16;2604:38;;;;-1:-1:-1;;;2604:38:0;;;;;;;:::i;:::-;12548:7:::1;:14:::0;;-1:-1:-1;;;;12548:14:0::1;-1:-1:-1::0;;;12548:14:0::1;::::0;;12506:58::o;2863:106::-;2708:4;2733:5;-1:-1:-1;;;;;2733:5:0;2620:10;2722:16;2604:38;;;;-1:-1:-1;;;2604:38:0;;;;;;;:::i;:::-;2926:1:::1;2910:18:::0;;-1:-1:-1;;;;;;2910:18:0::1;::::0;;2935:32:::1;::::0;2766:51:1;;;2935:32:0::1;::::0;2754:2:1;2739:18;2935:32:0::1;;;;;;;2863:106::o:0;6634:139::-;6712:4;6719:40;6729:10;6741:9;6752:6;6719:9;:40::i;8610:495::-;2708:4;2733:5;-1:-1:-1;;;;;2733:5:0;2620:10;2722:16;2604:38;;;;-1:-1:-1;;;2604:38:0;;;;;;;:::i;:::-;8791:12:::1;:25:::0;;;8818:12:::1;:25:::0;;;8845:7:::1;:15:::0;;;8862:14:::1;:29:::0;;;8893:8:::1;:17:::0;;;8912:7:::1;:15:::0;;;8929:11:::1;:20:::0;;;8980:11:::1;::::0;8968:23;::::1;::::0;::::1;::::0;:49:::1;;;9006:11;;8995:7;;:22;;8968:49;:79;;;;;9036:11;;9021;;:26;;8968:79;8960:137;;;::::0;-1:-1:-1;;;8960:137:0;;5029:2:1;8960:137: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:43;5211:19;;8960:137:0::1;4827:409:1::0;2746:111:0;2708:4;2733:5;-1:-1:-1;;;;;2733:5:0;2620:10;2722:16;2604:38;;;;-1:-1:-1;;;2604:38:0;;;;;;;:::i;:::-;2812:5:::1;:11:::0;;-1:-1:-1;;;;;;2812:11:0::1;-1:-1:-1::0;;;;;2812:11:0;::::1;::::0;;::::1;::::0;;;2830:25:::1;::::0;2766:51:1;;;2830:25:0::1;::::0;2754:2:1;2739:18;2830:25:0::1;;;;;;;2746:111:::0;:::o;13439:335::-;-1:-1:-1;;;;;13532:19:0;;13524:68;;;;-1:-1:-1;;;13524:68:0;;5659:2:1;13524:68:0;;;5641:21:1;5698:2;5678:18;;;5671:30;5737:34;5717:18;;;5710:62;-1:-1:-1;;;5788:18:1;;;5781:34;5832:19;;13524:68:0;5457:400:1;13524:68:0;-1:-1:-1;;;;;13611:21:0;;13603:68;;;;-1:-1:-1;;;13603:68:0;;6064:2:1;13603:68:0;;;6046:21:1;6103:2;6083:18;;;6076:30;6142:34;6122:18;;;6115:62;-1:-1:-1;;;6193:18:1;;;6186:32;6235:19;;13603:68:0;5862:398:1;13603:68:0;-1:-1:-1;;;;;13682:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;13734:32;;1361:25:1;;;13734:32:0;;1334:18:1;13734:32:0;;;;;;;13439:335;;;:::o;1304:98::-;1362:7;1389:5;1393:1;1389;:5;:::i;7185:1419::-;-1:-1:-1;;;;;7282:20:0;;7274:70;;;;-1:-1:-1;;;7274:70:0;;6732:2:1;7274:70:0;;;6714:21:1;6771:2;6751:18;;;6744:30;6810:34;6790:18;;;6783:62;-1:-1:-1;;;6861:18:1;;;6854:35;6906:19;;7274:70:0;6530:401:1;7274:70:0;-1:-1:-1;;;;;7363:23:0;;7355:71;;;;-1:-1:-1;;;7355:71:0;;7138:2:1;7355:71:0;;;7120:21:1;7177:2;7157:18;;;7150:30;7216:34;7196:18;;;7189:62;-1:-1:-1;;;7267:18:1;;;7260:33;7310:19;;7355:71:0;6936:399:1;7355:71:0;-1:-1:-1;;;;;7441:20:0;;;;;;:12;:20;;;;;;;;7440:21;:49;;;;-1:-1:-1;;;;;;7466:23:0;;;;;;:12;:23;;;;;;;;7465:24;7440:49;7437:83;;;7499:7;;-1:-1:-1;;;7499:7:0;;;;7491:27;;;;-1:-1:-1;;;7491:27:0;;7542:2:1;7491:27:0;;;7524:21:1;7581:1;7561:18;;;7554:29;-1:-1:-1;;;7599:18:1;;;7592:37;7646:18;;7491:27:0;7340:330:1;7491:27:0;-1:-1:-1;;;;;7534:20:0;;;;;;:12;:20;;;;;;;;7533:21;:49;;;;-1:-1:-1;;;;;;7559:23:0;;;;;;:12;:23;;;;;;;;7558:24;7533:49;:81;;;;-1:-1:-1;7607:6:0;;-1:-1:-1;;;;;7586:28:0;;;7607:6;;7586:28;;7533:81;:111;;;;-1:-1:-1;;;;;;7618:26:0;;5318:42;7618:26;;7533:111;7530:224;;;7702:15;;-1:-1:-1;;;;;7665:20:0;;;;;;:9;:20;;;;;;:32;;7690:6;7665:24;:32::i;:::-;7664:53;;7656:96;;;;-1:-1:-1;;;7656:96:0;;7877:2:1;7656:96:0;;;7859:21:1;7916:2;7896:18;;;7889:30;7955:32;7935:18;;;7928:60;8005:18;;7656:96:0;7675:354:1;7656:96:0;7777:6;;-1:-1:-1;;;;;7767:16:0;;;7777:6;;7767:16;7764:131;;7803:17;;7793:6;:27;;:51;;;-1:-1:-1;;;;;;7824:20:0;;;;;;:12;:20;;;;;;;;7793:51;:78;;;-1:-1:-1;;;;;;7848:23:0;;;;;;:12;:23;;;;;;;;7793:78;7785:108;;;;-1:-1:-1;;;7785:108:0;;8236:2:1;7785:108:0;;;8218:21:1;8275:2;8255:18;;;8248:30;-1:-1:-1;;;8294:18:1;;;8287:47;8351:18;;7785:108:0;8034:341:1;7785:108:0;7923:20;;7913:6;:30;;:54;;;-1:-1:-1;;;;;;7947:20:0;;;;;;:12;:20;;;;;;;;7913:54;:81;;;-1:-1:-1;;;;;;7971:23:0;;;;;;:12;:23;;;;;;;;7913:81;7905:111;;;;-1:-1:-1;;;7905:111:0;;8236:2:1;7905:111:0;;;8218:21:1;8275:2;8255:18;;;8248:30;-1:-1:-1;;;8294:18:1;;;8287:47;8351:18;;7905:111:0;8034:341:1;7905:111:0;8044:6;;-1:-1:-1;;;;;8031:19:0;;;8044:6;;8031:19;:44;;;;-1:-1:-1;;;;;;8055:20:0;;;;;;:12;:20;;;;;;;;8054:21;8031:44;8028:75;;;8099:1;8077:10;;:24;;;;;;;:::i;:::-;;;;-1:-1:-1;;8028:75:0;8116:41;8131:6;8139:9;8150:6;8116:14;:41::i;:::-;8113:125;;;8190:4;6591:7;6608:18;;;:9;:18;;;;;;8159:52;;8168:42;;8198:11;;8168:3;:42::i;:::-;8159:8;:52::i;:::-;8234:1;8213:10;:23;8113:125;8253:7;;-1:-1:-1;;;8253:7:0;;;;8252:8;;:33;;-1:-1:-1;;;;;;8265:20:0;;;;;;:12;:20;;;;;;;;8264:21;8252:33;8248:93;;;-1:-1:-1;;;;;8309:17:0;;;;;;:9;:17;;;;;;:29;;8331:6;8309:21;:29::i;:::-;-1:-1:-1;;;;;8289:17:0;;;;;;:9;:17;;;;;:49;8248:93;8351:22;8376:33;8391:6;8399:9;8376:14;:33::i;:::-;:87;;8457:6;8376:87;;;8412:42;8428:6;8436:9;8447:6;8412:15;:42::i;:::-;-1:-1:-1;;;;;8497:20:0;;;;;;:9;:20;;;;;;8351:112;;-1:-1:-1;8497:40:0;;8351:112;8497:24;:40::i;:::-;-1:-1:-1;;;;;8474:20:0;;;;;;;:9;:20;;;;;;;:63;;;;8553:43;;;;;;;;;;8581:14;1361:25:1;;1349:2;1334:18;;1215:177;8553:43:0;;;;;;;;7263:1341;7185:1419;;;:::o;1728:240::-;1848:7;1909:12;1901:6;;;;1893:29;;;;-1:-1:-1;;;1893:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;1944:5:0;;;1728:240::o;1410:98::-;1468:7;1495:5;1499:1;1495;:5;:::i;1516:98::-;1574:7;1601:5;1605:1;1601;:5;:::i;1198:98::-;1256:7;1283:5;1287:1;1283;:5;:::i;9111:399::-;9252:11;;9314:4;9209;6608:18;;;:9;:18;;;;;;9354:11;;9209:4;;9242:21;;;;;-1:-1:-1;;9296:39:0;;9354:11;;9353:12;:30;;;;-1:-1:-1;9369:14:0;;-1:-1:-1;;;9369:14:0;;;;9353:30;:41;;;;-1:-1:-1;9387:7:0;;-1:-1:-1;;;9387:7:0;;;;9353:41;:53;;;;;9398:8;9353:53;:78;;;;-1:-1:-1;;;;;;9411:20:0;;;;;;:12;:20;;;;;;;;9410:21;9353:78;:101;;;;-1:-1:-1;9448:6:0;;-1:-1:-1;;;;;9435:19:0;;;9448:6;;9435:19;9353:101;:131;;;;;9472:12;;9458:10;;:26;;9353:131;:149;;;;;9488:14;9353:149;9346:156;9111:399;-1:-1:-1;;;;;;9111:399:0:o;11950:105::-;12007:7;12037:1;12033;:5;12032:15;;12046:1;12032:15;;;-1:-1:-1;12042:1:0;11950:105;-1:-1:-1;11950:105:0:o;10038:1053::-;4713:11;:18;;-1:-1:-1;;4713:18:0;4727:4;4713:18;;;;;;10166:14:::1;::::0;10148:12:::1;::::0;10124::::1;::::0;4713:11;;10123:66:::1;::::0;10187:1:::1;::::0;10124:57:::1;::::0;10166:14;;10124:37:::1;::::0;;;:16:::1;:19::i;:::-;:23:::0;::::1;:37::i;10123:66::-;10100:89;;10200:32;10235:42;10264:12;10235:24;10246:12;;10235:6;:10;;:24;;;;:::i;:42::-;10200:77:::0;-1:-1:-1;10288:14:0::1;10305:36;:6:::0;10200:77;10305:10:::1;:36::i;:::-;10288:53:::0;-1:-1:-1;10377:21:0::1;10409:23;10288:53:::0;10409:15:::1;:23::i;:::-;10443:20;10466:41;:21;10492:14:::0;10466:25:::1;:41::i;:::-;10443:64;;10518:19;10539:48;10556:30;10573:12;;10556;:16;;:30;;;;:::i;:::-;10539:12:::0;;:16:::1;:48::i;:::-;10518:69;;10598:29;10630;10646:12;;10630:11;:15;;:29;;;;:::i;:::-;10598:61:::0;-1:-1:-1;10673:34:0;;10670:103:::1;;10709:61;10722:24;10748:21;10709:12;:61::i;:::-;10829:12;::::0;10783:20:::1;::::0;10806:36:::1;::::0;:18:::1;:11:::0;10822:1:::1;10806:15;:18::i;:36::-;10783:59:::0;-1:-1:-1;10856:16:0;;10853:73:::1;;10882:18;::::0;10874:50:::1;::::0;-1:-1:-1;;;;;10882:18:0;;::::1;::::0;10874:50;::::1;;;::::0;10911:12;;10882:18:::1;10874:50:::0;10882:18;10874:50;10911:12;10882:18;10874:50;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;10853:73;10962:21;10997:28:::0;;10994:90:::1;;11035:20;::::0;11027:55:::1;::::0;-1:-1:-1;;;;;11035:20:0;;::::1;::::0;11027:55;::::1;;;::::0;11066:15;;11035:20:::1;11027:55:::0;11035:20;11027:55;11066:15;11035:20;11027:55;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;10994:90;-1:-1:-1::0;;4736:11:0;:19;;-1:-1:-1;;4736:19:0;;;-1:-1:-1;;;;;;;;10038:1053:0:o;9516:163::-;-1:-1:-1;;;;;9623:20:0;;9598:4;9623:20;;;:12;:20;;;;;;;;9622:21;:49;;;;-1:-1:-1;;;;;;;9648:23:0;;;;;:12;:23;;;;;;;;9647:24;;9516:163;-1:-1:-1;9516:163:0:o;11331:613::-;11425:7;11486:1;11448:35;11465:6;11473:9;11448:16;:35::i;:::-;:39;11445:477;;;11499:17;11519:64;11547:35;11564:6;11572:9;11547:16;:35::i;:::-;11530:11;;11519:23;;:6;;:10;:23::i;:64::-;11639:4;11621:24;;;;:9;:24;;;;;;11499:84;;-1:-1:-1;11621:39:0;;11499:84;11621:28;:39::i;:::-;11612:4;11594:24;;;;:9;:24;;;;;;;:66;;;;11676:42;;-1:-1:-1;;;;;11676:42:0;;;;;;;11708:9;1361:25:1;;1349:2;1334:18;;1215:177;11676:42:0;;;;;;;;11750:1;11732:7;;:20;:69;;;;;11794:7;;11756:35;11773:6;11781:9;11756:16;:35::i;:::-;:45;11732:69;11729:153;;;11803:77;11821:4;5318:42;11843:36;11871:7;;11843:23;11854:11;;11843:6;:10;;:23;;;;:::i;:36::-;11803:9;:77::i;:::-;11899:21;:6;11910:9;11899:10;:21::i;:::-;11892:28;;;;;11445:477;-1:-1:-1;11930:6:0;11331:613;-1:-1:-1;;11331:613:0:o;12061:439::-;12150:16;;;12164:1;12150:16;;;;;;;;12126:21;;12150:16;;;;;;;;;;-1:-1:-1;12150:16:0;12126:40;;12195:4;12177;12182:1;12177:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;12177:23:0;;;:7;;;;;;;;;;:23;;;;12221:8;;:15;;;-1:-1:-1;;;12221:15:0;;;;:8;;;;;:13;;:15;;;;;12177:7;;12221:15;;;;;:8;:15;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12211:4;12216:1;12211:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;12211:25:0;;;:7;;;;;;;;;:25;12279:8;;12247:55;;12264:4;;12279:8;12290:11;12247:8;:55::i;:::-;12313:8;;:179;;-1:-1:-1;;;12313:179:0;;-1:-1:-1;;;;;12313:8:0;;;;:59;;:179;;12387:11;;12313:8;;12429:4;;12456;;12476:15;;12313:179;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12115:385;12061:439;:::o;9685:347::-;9798:8;;9766:55;;9783:4;;-1:-1:-1;;;;;9798:8:0;9809:11;9766:8;:55::i;:::-;9832:8;;9975:18;;9832:192;;-1:-1:-1;;;9832:192:0;;9897:4;9832:192;;;10751:34:1;10801:18;;;10794:34;;;9832:8:0;10844:18:1;;;10837:34;;;10887:18;;;10880:34;-1:-1:-1;;;;;9975:18:0;;;10930:19:1;;;10923:44;10008:15:0;10983:19:1;;;10976:35;9832:8:0;;;:24;;9864:9;;10685:19:1;;9832:192:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;9685:347;;:::o;11097:228::-;11217:6;;11181:7;;-1:-1:-1;;;;;11217:6:0;;;11204:19;;;;11201:40;;-1:-1:-1;11232:7:0;;11225:14;;11201:40;11264:6;;-1:-1:-1;;;;;11264:6:0;;;11254:16;;;;11251:38;;-1:-1:-1;11279:8:0;;11272:15;;11251:38;-1:-1:-1;11306:11:0;;11097:228;;;;:::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;2299:316::-;2376:6;2384;2392;2445:2;2433:9;2424:7;2420:23;2416:32;2413:52;;;2461:1;2458;2451:12;2413:52;-1:-1:-1;;2484:23:1;;;2554:2;2539:18;;2526:32;;-1:-1:-1;2605:2:1;2590:18;;;2577:32;;2299:316;-1:-1:-1;2299:316:1:o;2828:388::-;2896:6;2904;2957:2;2945:9;2936:7;2932:23;2928:32;2925:52;;;2973:1;2970;2963:12;2925:52;3012:9;2999:23;3031:31;3056:5;3031:31;:::i;:::-;3081:5;-1:-1:-1;3138:2:1;3123:18;;3110:32;3151:33;3110:32;3151:33;:::i;:::-;3203:7;3193:17;;;2828:388;;;;;:::o;3221:592::-;3334:6;3342;3350;3358;3366;3374;3382;3435:3;3423:9;3414:7;3410:23;3406:33;3403:53;;;3452:1;3449;3442:12;3403:53;-1:-1:-1;;3475:23:1;;;3545:2;3530:18;;3517:32;;-1:-1:-1;3596:2:1;3581:18;;3568:32;;3647:2;3632:18;;3619:32;;-1:-1:-1;3698:3:1;3683:19;;3670:33;;-1:-1:-1;3750:3:1;3735:19;;3722:33;;-1:-1:-1;3802:3:1;3787:19;3774:33;;-1:-1:-1;3221:592:1;-1:-1:-1;3221:592:1: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;6265:127::-;6326:10;6321:3;6317:20;6314:1;6307:31;6357:4;6354:1;6347:15;6381:4;6378:1;6371:15;6397:128;6464:9;;;6485:11;;;6482:37;;;6499:18;;:::i;8380:125::-;8445:9;;;8466:10;;;8463:36;;;8479:18;;:::i;8510:168::-;8583:9;;;8614;;8631:15;;;8625:22;;8611:37;8601:71;;8652:18;;:::i;8683:217::-;8723:1;8749;8739:132;;8793:10;8788:3;8784:20;8781:1;8774:31;8828:4;8825:1;8818:15;8856:4;8853:1;8846:15;8739:132;-1:-1:-1;8885:9:1;;8683:217::o;9037:127::-;9098:10;9093:3;9089:20;9086:1;9079:31;9129:4;9126:1;9119:15;9153:4;9150:1;9143:15;9169:251;9239:6;9292:2;9280:9;9271:7;9267:23;9263:32;9260:52;;;9308:1;9305;9298:12;9260:52;9340:9;9334:16;9359:31;9384:5;9359:31;:::i;9425:980::-;9687:4;9735:3;9724:9;9720:19;9766:6;9755:9;9748:25;9792:2;9830:6;9825:2;9814:9;9810:18;9803:34;9873:3;9868:2;9857:9;9853:18;9846:31;9897:6;9932;9926:13;9963:6;9955;9948:22;10001:3;9990:9;9986:19;9979:26;;10040:2;10032:6;10028:15;10014:29;;10061:1;10071:195;10085:6;10082:1;10079:13;10071:195;;;10150:13;;-1:-1:-1;;;;;10146:39:1;10134:52;;10241:15;;;;10206:12;;;;10182:1;10100:9;10071:195;;;-1:-1:-1;;;;;;;10322:32:1;;;;10317:2;10302:18;;10295:60;-1:-1:-1;;;10386:3:1;10371:19;10364:35;10283:3;9425:980;-1:-1:-1;;;9425:980:1:o;11022:306::-;11110:6;11118;11126;11179:2;11167:9;11158:7;11154:23;11150:32;11147:52;;;11195:1;11192;11185:12;11147:52;11224:9;11218:16;11208:26;;11274:2;11263:9;11259:18;11253:25;11243:35;;11318:2;11307:9;11303:18;11297:25;11287:35;;11022:306;;;;;:::o

ipfs://5e5ee8c745a0d115d4bf11abbceb46b181b1ff4e333533944cd14f4818741875