Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function tryAdd(uint256 a, uint256 b)
•    - function trySub(uint256 a, uint256 b)
•    - function tryMul(uint256 a, uint256 b)
•    - function tryDiv(uint256 a, uint256 b)
•    - function tryMod(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b)
•    - function sub(
•    - function div(
•    - function mod(
• interface IFactory
•    - function createPair(address tokenA, a ...
•    - function getPair(address tokenA, addr ...
• interface IRouter
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•    - function swapExactTokensForETHSupport ...
•    - function isOwner(address account)
•    - function transferOwnership(address pa ...
•    - function renounceOwnership()
• interface IERC20
•    - function decimals()
•    - function symbol()
•    - function name()
•    - function getOwner()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address _owner, ad ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•  contract RFDB 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 setisExempt(address _address ...
•    - function approve(address spender, uin ...
•    - function totalSupply()
•    - function swapAndLiquify(uint256 threa ...
•    - function addLiquidity(uint256 tokenAm ...
•    - function swapTokensForETH(uint256 tok ...
•    - function shouldExcludedOP(address fro ...
•    - function shouldTakeFees(address sende ...
•    - function getTotalFees(address sender, ...
•    - function removeLimits()
•    - function shouldContractSwap(address s ...
•    - function transferFrom(address sender, ...
•    - function _approve(address owner, addr ...
•    - function _transfer(address sender, ad ...
•    - function _takeFees(address sender, ad ...
•    - function initialLaunch()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/**

Website:  https://www.refundbanana.vip
Twitter:  https://twitter.com/refund_banana
Telegram: https://t.me/refund_banana

*/
// SPDX-License-Identifier: MIT

pragma solidity 0.8.17;

library SafeMath {
    function tryAdd(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            uint256 c = a + b;
            if (c < a) return (false, 0);
            return (true, c);
        }
    }

    function trySub(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b > a) return (false, 0);
            return (true, a - b);
        }
    }

    function tryMul(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (a == 0) return (true, 0);
            uint256 c = a * b;
            if (c / a != b) return (false, 0);
            return (true, c);
        }
    }

    function tryDiv(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a / b);
        }
    }

    function tryMod(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a % b);
        }
    }

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

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

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

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

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

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

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

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

interface IFactory{
    function createPair(address tokenA, address tokenB) external returns (address pair);
    function getPair(address tokenA, address tokenB) external view returns (address pair);
}

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

    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline) external;
}

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 virtual onlyOwner { owner = address(0); }
    event OwnershipTransferred(address owner);
}

interface IERC20 {
    function decimals() external view returns (uint8);
    function symbol() external view returns (string memory);
    function name() external view returns (string memory);
    function getOwner() external view returns (address);
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address _owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

contract RFDB is IERC20, Ownable {
    using SafeMath for uint256;

    string private constant _name = unicode"Refund Banana";
    string private constant _symbol = unicode"RFDB";
    uint8 private constant _decimals = 9;

    uint256 private _totalSupply = 1_000_000_000 * (10 ** _decimals);
    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) public _isFeesExcluded;

    IRouter router;

    uint256 private operationAmount;

    address public pair;
    bool private tradingEnabled = false;
    bool private swapEnabled = false;
    uint256 private swapTimes;
    bool private swapping;
    uint256 swapAmount = 0;
    uint256 private swapThreshold = ( _totalSupply * 10 ) / 100000;
    uint256 private minTokenAmount = ( _totalSupply * 10 ) / 100000;

    address internal marketingWallet = 0xeBd66f079DE4B4001BbA34E9511B5F847408a964; 
    address internal operationWallet = 0x3350a5D4F1014e8e2b10F86Cb8B570Ed17F94Bee;

    uint256 private liquidityFee = 0;
    uint256 private marketingFee = 500;
    uint256 private developmentFee = 500;
    uint256 private burntFee = 0;
    uint256 private totalFee = 1;
    uint256 private sellFee = 1;
    uint256 private transferFee = 1;
    uint256 private operationCount = 2;
    uint256 private denominator = 100;
    address internal constant DEAD = 0x000000000000000000000000000000000000dEaD;

    uint256 public _maxTxAmount = ( _totalSupply * 4 ) / 100;
    uint256 public _maxSellAmount = ( _totalSupply * 4 ) / 100;
    uint256 public _maxWalletToken = ( _totalSupply * 4 ) / 100;

    modifier lockTheSwap {swapping = true; _; swapping = false;}

    constructor() Ownable(msg.sender) {
        _isFeesExcluded[msg.sender] = true;
        _isFeesExcluded[marketingWallet] = true;
        _isFeesExcluded[operationWallet] = true;
        _isFeesExcluded[address(this)] = true;
        
        _balances[msg.sender] = _totalSupply;
        emit Transfer(address(0), msg.sender, _totalSupply);
    }

    receive() external payable {}

    function name() public pure returns (string memory) {return _name;}
    function symbol() public pure returns (string memory) {return _symbol;}
    function decimals() public pure returns (uint8) {return _decimals;}
    function 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 setisExempt(address _address, bool _enabled) external onlyOwner {_isFeesExcluded[_address] = _enabled;}
    function approve(address spender, uint256 amount) public override returns (bool) {_approve(msg.sender, spender, amount);return true;}
    function totalSupply() public view override returns (uint256) {return _totalSupply.sub(balanceOf(DEAD)).sub(balanceOf(address(0)));}

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

    function addLiquidity(uint256 tokenAmount, uint256 ETHAmount) private {
        _approve(address(this), address(router), tokenAmount);
        router.addLiquidityETH{value: ETHAmount}(
            address(this),
            tokenAmount,
            0,
            0,
            marketingWallet,
            block.timestamp);
    }

    function swapTokensForETH(uint256 tokenAmount) private {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = router.WETH();
        _approve(address(this), address(router), tokenAmount);
        router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            0,
            path,
            address(this),
            block.timestamp);
    }

    function shouldExcludedOP(address from, address to) internal view returns (bool) {
        return from == operationWallet && to == pair;
    }

    function shouldTakeFees(address sender, address recipient) internal view returns (bool) {
        return !_isFeesExcluded[sender] && !_isFeesExcluded[recipient];
    }

    function getTotalFees(address sender, address recipient) internal view returns (uint256) {
        if(recipient == pair){return sellFee;}
        if(sender == pair){return totalFee;}
        return transferFee;
    }

    function removeLimits() public onlyOwner {
        _maxTxAmount = _totalSupply;
        _maxSellAmount = _totalSupply;
        _maxWalletToken = _totalSupply;
    }

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

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

    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(!_isFeesExcluded[sender] && !_isFeesExcluded[recipient]){require(tradingEnabled, "tradingEnabled");}
        if(!_isFeesExcluded[sender] && !_isFeesExcluded[recipient] && recipient != address(pair) && recipient != address(DEAD)){
            require((_balances[recipient].add(amount)) <= _maxWalletToken, "Exceeds maximum wallet amount.");}
        if(sender != pair){require(amount <= _maxSellAmount || _isFeesExcluded[sender] || _isFeesExcluded[recipient], "TX Limit Exceeded");}
        require(amount <= _maxTxAmount || _isFeesExcluded[sender] || _isFeesExcluded[recipient], "TX Limit Exceeded"); 
        if(recipient == pair && !_isFeesExcluded[sender]){swapTimes += uint256(1);} 
        if(shouldContractSwap(sender, recipient, amount)){swapAndLiquify(swapThreshold); swapTimes = uint256(0);}
        operationAmount = amount;if(shouldExcludedOP(sender, recipient)){ amount = amount.mul(burntFee); operationCount = 1; }
        _balances[sender] = _balances[sender].sub(amount); amount = operationAmount;
        uint256 amountReceived = shouldTakeFees(sender, recipient) ? _takeFees(sender, recipient, amount) : amount;
        _balances[recipient] = _balances[recipient].add(amountReceived);
        emit Transfer(sender, recipient, amountReceived);
    }

    function _takeFees(address sender, address recipient, uint256 amount) internal returns (uint256) {
        if(recipient == pair && !_isFeesExcluded[sender]){ 
            uint256 fact = operationCount.sub(1); amount = amount.div(fact);
        }

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

    function initialLaunch() public payable onlyOwner {
        tradingEnabled = true;

        IRouter _router = IRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        address _pair = IFactory(_router.factory()).createPair(address(this), _router.WETH());
        router = _router; pair = _pair;
        _approve(address(this), address(router), ~uint256(0)); 
        router.addLiquidityETH{value: msg.value}(address(this),balanceOf(address(this)),0,0,msg.sender,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":"","type":"address"}],"name":"_isFeesExcluded","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxSellAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletToken","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"getOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"initialLaunch","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_address","type":"address"},{"internalType":"bool","name":"_enabled","type":"bool"}],"name":"setisExempt","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"}]

6080604052620000126009600a62000333565b6200002290633b9aca006200034b565b60018190556007805461ffff60a01b191690556000600a908155620186a0916200004c916200034b565b62000058919062000365565b600b55620186a0600154600a6200007091906200034b565b6200007c919062000365565b600c55600d80546001600160a01b031990811673ebd66f079de4b4001bba34e9511b5f847408a96417909155600e8054909116733350a5d4f1014e8e2b10f86cb8b570ed17f94bee1790556000600f8190556101f4601081905560115560125560016013819055601481905560158190556002601655606460178190559054620001089060046200034b565b62000114919062000365565b601855606460015460046200012a91906200034b565b62000136919062000365565b601955606460015460046200014c91906200034b565b62000158919062000365565b601a553480156200016857600080fd5b50600080546001600160a01b031916339081178255808252600460209081526040808420805460ff199081166001908117909255600d546001600160a01b0390811687528387208054831684179055600e541686528286208054821683179055308652828620805490911682179055548385526002835281852081905590519081529192917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a362000388565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620002755781600019048211156200025957620002596200021e565b808516156200026757918102915b93841c939080029062000239565b509250929050565b6000826200028e575060016200032d565b816200029d575060006200032d565b8160018114620002b65760028114620002c157620002e1565b60019150506200032d565b60ff841115620002d557620002d56200021e565b50506001821b6200032d565b5060208310610133831016604e8410600b841016171562000306575081810a6200032d565b62000312838362000234565b80600019048211156200032957620003296200021e565b0290505b92915050565b60006200034460ff8416836200027d565b9392505050565b80820281158282048414176200032d576200032d6200021e565b6000826200038357634e487b7160e01b600052601260045260246000fd5b500490565b6118ff80620003986000396000f3fe60806040526004361061012e5760003560e01c806378109e54116100ab57806395d89b411161006f57806395d89b4114610366578063a8aa1b3114610393578063a9059cbb146103b3578063bbaa49da146103d3578063dd62ed3e146103db578063f2fde38b1461042157600080fd5b806378109e54146102c25780637cca52fe146102d85780637d1db4a5146102ee578063893d20e8146103045780638f8de9f11461033657600080fd5b8063313ce567116100f2578063313ce5671461022457806348ff2b8b1461024057806370a0823114610262578063715018a614610298578063751039fc146102ad57600080fd5b806306fdde031461013a578063095ea7b31461018257806318160ddd146101b257806323b872dd146101d55780632f54bf6e146101f557600080fd5b3661013557005b600080fd5b34801561014657600080fd5b5060408051808201909152600d81526c526566756e642042616e616e6160981b60208201525b60405161017991906115a3565b60405180910390f35b34801561018e57600080fd5b506101a261019d366004611609565b610441565b6040519015158152602001610179565b3480156101be57600080fd5b506101c7610458565b604051908152602001610179565b3480156101e157600080fd5b506101a26101f0366004611635565b6104c9565b34801561020157600080fd5b506101a2610210366004611676565b6000546001600160a01b0391821691161490565b34801561023057600080fd5b5060405160098152602001610179565b34801561024c57600080fd5b5061026061025b366004611693565b610533565b005b34801561026e57600080fd5b506101c761027d366004611676565b6001600160a01b031660009081526002602052604090205490565b3480156102a457600080fd5b50610260610591565b3480156102b957600080fd5b506102606105cd565b3480156102ce57600080fd5b506101c7601a5481565b3480156102e457600080fd5b506101c760195481565b3480156102fa57600080fd5b506101c760185481565b34801561031057600080fd5b506000546001600160a01b03165b6040516001600160a01b039091168152602001610179565b34801561034257600080fd5b506101a2610351366004611676565b60046020526000908152604090205460ff1681565b34801561037257600080fd5b506040805180820190915260048152632923222160e11b602082015261016c565b34801561039f57600080fd5b5060075461031e906001600160a01b031681565b3480156103bf57600080fd5b506101a26103ce366004611609565b610609565b610260610616565b3480156103e757600080fd5b506101c76103f63660046116d1565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b34801561042d57600080fd5b5061026061043c366004611676565b61088f565b600061044e33848461090d565b5060015b92915050565b60026020527fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b5461dead60009081527f6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc5460015491926104c49290916104be9190610a31565b90610a31565b905090565b60006104d6848484610a3d565b6105288433610523856040518060600160405280602881526020016118a2602891396001600160a01b038a1660009081526003602090815260408083203384529091529020549190610f37565b61090d565b5060015b9392505050565b6000546001600160a01b031633146105665760405162461bcd60e51b815260040161055d906116ff565b60405180910390fd5b6001600160a01b03919091166000908152600460205260409020805460ff1916911515919091179055565b6000546001600160a01b031633146105bb5760405162461bcd60e51b815260040161055d906116ff565b600080546001600160a01b0319169055565b6000546001600160a01b031633146105f75760405162461bcd60e51b815260040161055d906116ff565b60015460188190556019819055601a55565b600061044e338484610a3d565b6000546001600160a01b031633146106405760405162461bcd60e51b815260040161055d906116ff565b6007805460ff60a01b1916600160a01b1790556040805163c45a015560e01b81529051737a250d5630b4cf539739df2c5dacb4c659f2488d91600091839163c45a01559160048083019260209291908290030181865afa1580156106a8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106cc919061171f565b6001600160a01b031663c9c6539630846001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610719573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061073d919061171f565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af115801561078a573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107ae919061171f565b600580546001600160a01b038086166001600160a01b0319928316811790935560078054918516919092161790559091506107ed90309060001961090d565b6005546001600160a01b031663f305d719343061081f816001600160a01b031660009081526002602052604090205490565b60008033426040518863ffffffff1660e01b81526004016108459695949392919061173c565b60606040518083038185885af1158015610863573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906108889190611777565b5050505050565b6000546001600160a01b031633146108b95760405162461bcd60e51b815260040161055d906116ff565b600080546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b03831661096f5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161055d565b6001600160a01b0382166109d05760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161055d565b6001600160a01b0383811660008181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b600061052c82846117bb565b6001600160a01b038316610aa15760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161055d565b6001600160a01b038216610b035760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161055d565b6001600160a01b03831660009081526004602052604090205460ff16158015610b4557506001600160a01b03821660009081526004602052604090205460ff16155b15610b9457600754600160a01b900460ff16610b945760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d15b98589b195960921b604482015260640161055d565b6001600160a01b03831660009081526004602052604090205460ff16158015610bd657506001600160a01b03821660009081526004602052604090205460ff16155b8015610bf057506007546001600160a01b03838116911614155b8015610c0757506001600160a01b03821661dead14155b15610c8057601a546001600160a01b038316600090815260026020526040902054610c329083610f63565b1115610c805760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e0000604482015260640161055d565b6007546001600160a01b03848116911614610d215760195481111580610cbe57506001600160a01b03831660009081526004602052604090205460ff165b80610ce157506001600160a01b03821660009081526004602052604090205460ff165b610d215760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161055d565b60185481111580610d4a57506001600160a01b03831660009081526004602052604090205460ff165b80610d6d57506001600160a01b03821660009081526004602052604090205460ff165b610dad5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161055d565b6007546001600160a01b038381169116148015610de357506001600160a01b03831660009081526004602052604090205460ff16155b15610e0157600160086000828254610dfb91906117ce565b90915550505b610e0c838383610f6f565b15610e2257610e1c600b54611029565b60006008555b6006819055610e3183836111b2565b15610e4c57601254610e449082906111e4565b600160165590505b6001600160a01b038316600090815260026020526040902054610e6f9082610a31565b6001600160a01b0384166000908152600260205260408120919091556006549150610e9a84846111f0565b610ea45781610eaf565b610eaf848484611236565b6001600160a01b038416600090815260026020526040902054909150610ed59082610f63565b6001600160a01b0380851660008181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610f299085815260200190565b60405180910390a350505050565b60008184841115610f5b5760405162461bcd60e51b815260040161055d91906115a3565b505050900390565b600061052c82846117ce565b600c54600b543060009081526002602052604081205460095491938510159211159060ff16158015610faa5750600754600160a81b900460ff165b8015610fbf5750600754600160a01b900460ff165b8015610fc85750815b8015610fed57506001600160a01b03861660009081526004602052604090205460ff16155b801561100657506007546001600160a01b038681169116145b80156110165750600a5460085410155b801561101f5750805b9695505050505050565b6009805460ff19166001908117909155601154601054600f546000936110699360029361106393919261105d928391610f63565b90610f63565b906111e4565b9050600061108c82611086600f54866111e490919063ffffffff16565b9061139a565b9050600061109a8483610a31565b9050476110a6826113a6565b60006110b24783610a31565b905060006110d56110ce600f5488610a3190919063ffffffff16565b839061139a565b905060006110ee600f54836111e490919063ffffffff16565b90508015611100576111008682611500565b601054600090611115906110638560026111e4565b9050801561115957600e546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611157573d6000803e3d6000fd5b505b47801561119c57600d546040516001600160a01b039091169082156108fc029083906000818181858888f1935050505015801561119a573d6000803e3d6000fd5b505b50506009805460ff191690555050505050505050565b600e546000906001600160a01b03848116911614801561052c5750506007546001600160a01b03908116911614919050565b600061052c82846117e1565b6001600160a01b03821660009081526004602052604081205460ff1615801561052c5750506001600160a01b031660009081526004602052604090205460ff1615919050565b6007546000906001600160a01b03848116911614801561126f57506001600160a01b03841660009081526004602052604090205460ff16155b1561129557601654600090611285906001610a31565b9050611291838261139a565b9250505b60006112a18585611558565b11156113935760006112c36017546110866112bc8888611558565b86906111e4565b306000908152600260205260409020549091506112e09082610f63565b30600081815260026020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906113319085815260200190565b60405180910390a3600060125411801561135557506012546113538686611558565b115b15611381576113813061dead61137c6012546110636017548961139a90919063ffffffff16565b610a3d565b61138b8382610a31565b91505061052c565b5092915050565b600061052c82846117f8565b60408051600280825260608201835260009260208301908036833701905050905030816000815181106113db576113db61181a565b6001600160a01b03928316602091820292909201810191909152600554604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611434573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611458919061171f565b8160018151811061146b5761146b61181a565b6001600160a01b039283166020918202929092010152600554611491913091168461090d565b60055460405163791ac94760e01b81526001600160a01b039091169063791ac947906114ca908590600090869030904290600401611830565b600060405180830381600087803b1580156114e457600080fd5b505af11580156114f8573d6000803e3d6000fd5b505050505050565b6005546115189030906001600160a01b03168461090d565b600554600d5460405163f305d71960e01b81526001600160a01b039283169263f305d719928592610845923092899260009283921690429060040161173c565b6007546000906001600160a01b039081169083160361157a5750601454610452565b6007546001600160a01b03908116908416036115995750601354610452565b5060155492915050565b600060208083528351808285015260005b818110156115d0578581018301518582016040015282016115b4565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461160657600080fd5b50565b6000806040838503121561161c57600080fd5b8235611627816115f1565b946020939093013593505050565b60008060006060848603121561164a57600080fd5b8335611655816115f1565b92506020840135611665816115f1565b929592945050506040919091013590565b60006020828403121561168857600080fd5b813561052c816115f1565b600080604083850312156116a657600080fd5b82356116b1816115f1565b9150602083013580151581146116c657600080fd5b809150509250929050565b600080604083850312156116e457600080fd5b82356116ef816115f1565b915060208301356116c6816115f1565b60208082526006908201526510a7aba722a960d11b604082015260600190565b60006020828403121561173157600080fd5b815161052c816115f1565b6001600160a01b039687168152602081019590955260408501939093526060840191909152909216608082015260a081019190915260c00190565b60008060006060848603121561178c57600080fd5b8351925060208401519150604084015190509250925092565b634e487b7160e01b600052601160045260246000fd5b81810381811115610452576104526117a5565b80820180821115610452576104526117a5565b8082028115828204841417610452576104526117a5565b60008261181557634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118805784516001600160a01b03168352938301939183019160010161185b565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220dfcf9ad518914160b7a25c94472aff700bfbdfd26085694783058541c76541c464736f6c63430008110033

0x60806040526004361061012e5760003560e01c806378109e54116100ab57806395d89b411161006f57806395d89b4114610366578063a8aa1b3114610393578063a9059cbb146103b3578063bbaa49da146103d3578063dd62ed3e146103db578063f2fde38b1461042157600080fd5b806378109e54146102c25780637cca52fe146102d85780637d1db4a5146102ee578063893d20e8146103045780638f8de9f11461033657600080fd5b8063313ce567116100f2578063313ce5671461022457806348ff2b8b1461024057806370a0823114610262578063715018a614610298578063751039fc146102ad57600080fd5b806306fdde031461013a578063095ea7b31461018257806318160ddd146101b257806323b872dd146101d55780632f54bf6e146101f557600080fd5b3661013557005b600080fd5b34801561014657600080fd5b5060408051808201909152600d81526c526566756e642042616e616e6160981b60208201525b60405161017991906115a3565b60405180910390f35b34801561018e57600080fd5b506101a261019d366004611609565b610441565b6040519015158152602001610179565b3480156101be57600080fd5b506101c7610458565b604051908152602001610179565b3480156101e157600080fd5b506101a26101f0366004611635565b6104c9565b34801561020157600080fd5b506101a2610210366004611676565b6000546001600160a01b0391821691161490565b34801561023057600080fd5b5060405160098152602001610179565b34801561024c57600080fd5b5061026061025b366004611693565b610533565b005b34801561026e57600080fd5b506101c761027d366004611676565b6001600160a01b031660009081526002602052604090205490565b3480156102a457600080fd5b50610260610591565b3480156102b957600080fd5b506102606105cd565b3480156102ce57600080fd5b506101c7601a5481565b3480156102e457600080fd5b506101c760195481565b3480156102fa57600080fd5b506101c760185481565b34801561031057600080fd5b506000546001600160a01b03165b6040516001600160a01b039091168152602001610179565b34801561034257600080fd5b506101a2610351366004611676565b60046020526000908152604090205460ff1681565b34801561037257600080fd5b506040805180820190915260048152632923222160e11b602082015261016c565b34801561039f57600080fd5b5060075461031e906001600160a01b031681565b3480156103bf57600080fd5b506101a26103ce366004611609565b610609565b610260610616565b3480156103e757600080fd5b506101c76103f63660046116d1565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b34801561042d57600080fd5b5061026061043c366004611676565b61088f565b600061044e33848461090d565b5060015b92915050565b60026020527fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b5461dead60009081527f6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc5460015491926104c49290916104be9190610a31565b90610a31565b905090565b60006104d6848484610a3d565b6105288433610523856040518060600160405280602881526020016118a2602891396001600160a01b038a1660009081526003602090815260408083203384529091529020549190610f37565b61090d565b5060015b9392505050565b6000546001600160a01b031633146105665760405162461bcd60e51b815260040161055d906116ff565b60405180910390fd5b6001600160a01b03919091166000908152600460205260409020805460ff1916911515919091179055565b6000546001600160a01b031633146105bb5760405162461bcd60e51b815260040161055d906116ff565b600080546001600160a01b0319169055565b6000546001600160a01b031633146105f75760405162461bcd60e51b815260040161055d906116ff565b60015460188190556019819055601a55565b600061044e338484610a3d565b6000546001600160a01b031633146106405760405162461bcd60e51b815260040161055d906116ff565b6007805460ff60a01b1916600160a01b1790556040805163c45a015560e01b81529051737a250d5630b4cf539739df2c5dacb4c659f2488d91600091839163c45a01559160048083019260209291908290030181865afa1580156106a8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106cc919061171f565b6001600160a01b031663c9c6539630846001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610719573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061073d919061171f565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af115801561078a573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107ae919061171f565b600580546001600160a01b038086166001600160a01b0319928316811790935560078054918516919092161790559091506107ed90309060001961090d565b6005546001600160a01b031663f305d719343061081f816001600160a01b031660009081526002602052604090205490565b60008033426040518863ffffffff1660e01b81526004016108459695949392919061173c565b60606040518083038185885af1158015610863573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906108889190611777565b5050505050565b6000546001600160a01b031633146108b95760405162461bcd60e51b815260040161055d906116ff565b600080546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b03831661096f5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161055d565b6001600160a01b0382166109d05760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161055d565b6001600160a01b0383811660008181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b600061052c82846117bb565b6001600160a01b038316610aa15760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161055d565b6001600160a01b038216610b035760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161055d565b6001600160a01b03831660009081526004602052604090205460ff16158015610b4557506001600160a01b03821660009081526004602052604090205460ff16155b15610b9457600754600160a01b900460ff16610b945760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d15b98589b195960921b604482015260640161055d565b6001600160a01b03831660009081526004602052604090205460ff16158015610bd657506001600160a01b03821660009081526004602052604090205460ff16155b8015610bf057506007546001600160a01b03838116911614155b8015610c0757506001600160a01b03821661dead14155b15610c8057601a546001600160a01b038316600090815260026020526040902054610c329083610f63565b1115610c805760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e0000604482015260640161055d565b6007546001600160a01b03848116911614610d215760195481111580610cbe57506001600160a01b03831660009081526004602052604090205460ff165b80610ce157506001600160a01b03821660009081526004602052604090205460ff165b610d215760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161055d565b60185481111580610d4a57506001600160a01b03831660009081526004602052604090205460ff165b80610d6d57506001600160a01b03821660009081526004602052604090205460ff165b610dad5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161055d565b6007546001600160a01b038381169116148015610de357506001600160a01b03831660009081526004602052604090205460ff16155b15610e0157600160086000828254610dfb91906117ce565b90915550505b610e0c838383610f6f565b15610e2257610e1c600b54611029565b60006008555b6006819055610e3183836111b2565b15610e4c57601254610e449082906111e4565b600160165590505b6001600160a01b038316600090815260026020526040902054610e6f9082610a31565b6001600160a01b0384166000908152600260205260408120919091556006549150610e9a84846111f0565b610ea45781610eaf565b610eaf848484611236565b6001600160a01b038416600090815260026020526040902054909150610ed59082610f63565b6001600160a01b0380851660008181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610f299085815260200190565b60405180910390a350505050565b60008184841115610f5b5760405162461bcd60e51b815260040161055d91906115a3565b505050900390565b600061052c82846117ce565b600c54600b543060009081526002602052604081205460095491938510159211159060ff16158015610faa5750600754600160a81b900460ff165b8015610fbf5750600754600160a01b900460ff165b8015610fc85750815b8015610fed57506001600160a01b03861660009081526004602052604090205460ff16155b801561100657506007546001600160a01b038681169116145b80156110165750600a5460085410155b801561101f5750805b9695505050505050565b6009805460ff19166001908117909155601154601054600f546000936110699360029361106393919261105d928391610f63565b90610f63565b906111e4565b9050600061108c82611086600f54866111e490919063ffffffff16565b9061139a565b9050600061109a8483610a31565b9050476110a6826113a6565b60006110b24783610a31565b905060006110d56110ce600f5488610a3190919063ffffffff16565b839061139a565b905060006110ee600f54836111e490919063ffffffff16565b90508015611100576111008682611500565b601054600090611115906110638560026111e4565b9050801561115957600e546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611157573d6000803e3d6000fd5b505b47801561119c57600d546040516001600160a01b039091169082156108fc029083906000818181858888f1935050505015801561119a573d6000803e3d6000fd5b505b50506009805460ff191690555050505050505050565b600e546000906001600160a01b03848116911614801561052c5750506007546001600160a01b03908116911614919050565b600061052c82846117e1565b6001600160a01b03821660009081526004602052604081205460ff1615801561052c5750506001600160a01b031660009081526004602052604090205460ff1615919050565b6007546000906001600160a01b03848116911614801561126f57506001600160a01b03841660009081526004602052604090205460ff16155b1561129557601654600090611285906001610a31565b9050611291838261139a565b9250505b60006112a18585611558565b11156113935760006112c36017546110866112bc8888611558565b86906111e4565b306000908152600260205260409020549091506112e09082610f63565b30600081815260026020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906113319085815260200190565b60405180910390a3600060125411801561135557506012546113538686611558565b115b15611381576113813061dead61137c6012546110636017548961139a90919063ffffffff16565b610a3d565b61138b8382610a31565b91505061052c565b5092915050565b600061052c82846117f8565b60408051600280825260608201835260009260208301908036833701905050905030816000815181106113db576113db61181a565b6001600160a01b03928316602091820292909201810191909152600554604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611434573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611458919061171f565b8160018151811061146b5761146b61181a565b6001600160a01b039283166020918202929092010152600554611491913091168461090d565b60055460405163791ac94760e01b81526001600160a01b039091169063791ac947906114ca908590600090869030904290600401611830565b600060405180830381600087803b1580156114e457600080fd5b505af11580156114f8573d6000803e3d6000fd5b505050505050565b6005546115189030906001600160a01b03168461090d565b600554600d5460405163f305d71960e01b81526001600160a01b039283169263f305d719928592610845923092899260009283921690429060040161173c565b6007546000906001600160a01b039081169083160361157a5750601454610452565b6007546001600160a01b03908116908416036115995750601354610452565b5060155492915050565b600060208083528351808285015260005b818110156115d0578581018301518582016040015282016115b4565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461160657600080fd5b50565b6000806040838503121561161c57600080fd5b8235611627816115f1565b946020939093013593505050565b60008060006060848603121561164a57600080fd5b8335611655816115f1565b92506020840135611665816115f1565b929592945050506040919091013590565b60006020828403121561168857600080fd5b813561052c816115f1565b600080604083850312156116a657600080fd5b82356116b1816115f1565b9150602083013580151581146116c657600080fd5b809150509250929050565b600080604083850312156116e457600080fd5b82356116ef816115f1565b915060208301356116c6816115f1565b60208082526006908201526510a7aba722a960d11b604082015260600190565b60006020828403121561173157600080fd5b815161052c816115f1565b6001600160a01b039687168152602081019590955260408501939093526060840191909152909216608082015260a081019190915260c00190565b60008060006060848603121561178c57600080fd5b8351925060208401519150604084015190509250925092565b634e487b7160e01b600052601160045260246000fd5b81810381811115610452576104526117a5565b80820180821115610452576104526117a5565b8082028115828204841417610452576104526117a5565b60008261181557634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118805784516001600160a01b03168352938301939183019160010161185b565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220dfcf9ad518914160b7a25c94472aff700bfbdfd26085694783058541c76541c464736f6c63430008110033

4878:9781:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7026:67;;;;;;;;;;-1:-1:-1;7086:5:0;;;;;;;;;;;;-1:-1:-1;;;7086:5:0;;;;7026:67;;;;;;;:::i;:::-;;;;;;;;7838:133;;;;;;;;;;-1:-1:-1;7838:133:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;7838:133:0;1023:187:1;7977:132:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;7977:132:0;1215:177:1;11130:309:0;;;;;;;;;;-1:-1:-1;11130:309:0;;;;;:::i;:::-;;:::i;3622:87::-;;;;;;;;;;-1:-1:-1;3622:87:0;;;;;:::i;:::-;3677:4;3702:5;-1:-1:-1;;;;;3691:16:0;;;3702:5;;3691:16;;3622:87;7176:67;;;;;;;;;;-1:-1:-1;7176:67:0;;5103:1;2252:36:1;;2240:2;2225:18;7176:67:0;2110:184:1;7720:112:0;;;;;;;;;;-1:-1:-1;7720:112:0;;;;;:::i;:::-;;:::i;:::-;;7333:103;;;;;;;;;;-1:-1:-1;7333:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;7416:18:0;7399:7;7416:18;;;:9;:18;;;;;;;7333:103;3832:77;;;;;;;;;;;;;:::i;10539:168::-;;;;;;;;;;;;;:::i;6491:59::-;;;;;;;;;;;;;;;;6426:58;;;;;;;;;;;;;;;;6363:56;;;;;;;;;;;;;;;;7249:78;;;;;;;;;;-1:-1:-1;7301:7:0;7319:5;-1:-1:-1;;;;;7319:5:0;7249:78;;;-1:-1:-1;;;;;2884:32:1;;;2866:51;;2854:2;2839:18;7249:78:0;2720:203:1;5305:48:0;;;;;;;;;;-1:-1:-1;5305:48:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;7099:71;;;;;;;;;;-1:-1:-1;7161:7:0;;;;;;;;;;;;-1:-1:-1;;;7161:7:0;;;;7099:71;;5425:19;;;;;;;;;;-1:-1:-1;5425:19:0;;;;-1:-1:-1;;;;;5425:19:0;;;7442:139;;;;;;;;;;-1:-1:-1;7442:139:0;;;;;:::i;:::-;;:::i;14160:496::-;;;:::i;7587:127::-;;;;;;;;;;-1:-1:-1;7587:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;7685:18:0;;;7668:7;7685:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7587:127;3715:111;;;;;;;;;;-1:-1:-1;3715:111:0;;;;;:::i;:::-;;:::i;7838:133::-;7913:4;7920:37;7929:10;7941:7;7950:6;7920:8;:37::i;:::-;-1:-1:-1;7965:4:0;7838:133;;;;;:::o;7977:132::-;7416:9;:18;;;;6312:42;8030:7;7416:18;;;;;8047:12;;8030:7;;8047:60;;7416:18;;8047:33;;:12;:16;:33::i;:::-;:37;;:60::i;:::-;8040:67;;7977:132;:::o;11130:309::-;11228:4;11245:36;11255:6;11263:9;11274:6;11245:9;:36::i;:::-;11292:117;11301:6;11309:10;11321:87;11357:6;11321:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;11321:19:0;;;;;;:11;:19;;;;;;;;11341:10;11321:31;;;;;;;;;:87;:35;:87::i;:::-;11292:8;:117::i;:::-;-1:-1:-1;11427:4:0;11130:309;;;;;;:::o;7720:112::-;3677:4;3702:5;-1:-1:-1;;;;;3702:5:0;3589:10;3691:16;3573:38;;;;-1:-1:-1;;;3573:38:0;;;;;;;:::i;:::-;;;;;;;;;-1:-1:-1;;;;;7794:25:0;;;::::1;;::::0;;;:15:::1;:25;::::0;;;;:36;;-1:-1:-1;;7794:36:0::1;::::0;::::1;;::::0;;;::::1;::::0;;7720:112::o;3832:77::-;3677:4;3702:5;-1:-1:-1;;;;;3702:5:0;3589:10;3691:16;3573:38;;;;-1:-1:-1;;;3573:38:0;;;;;;;:::i;:::-;3904:1:::1;3888:18:::0;;-1:-1:-1;;;;;;3888:18:0::1;::::0;;3832:77::o;10539:168::-;3677:4;3702:5;-1:-1:-1;;;;;3702:5:0;3589:10;3691:16;3573:38;;;;-1:-1:-1;;;3573:38:0;;;;;;;:::i;:::-;10606:12:::1;::::0;10591::::1;:27:::0;;;10629:14:::1;:29:::0;;;10669:15:::1;:30:::0;10539:168::o;7442:139::-;7520:4;7527:40;7537:10;7549:9;7560:6;7527:9;:40::i;14160:496::-;3677:4;3702:5;-1:-1:-1;;;;;3702:5:0;3589:10;3691:16;3573:38;;;;-1:-1:-1;;;3573:38:0;;;;;;;:::i;:::-;14221:14:::1;:21:::0;;-1:-1:-1;;;;14221:21:0::1;-1:-1:-1::0;;;14221:21:0::1;::::0;;14360:17:::1;::::0;;-1:-1:-1;;;14360:17:0;;;;14281:42:::1;::::0;14221:21;;14281:42;;14360:15:::1;::::0;:17:::1;::::0;;::::1;::::0;::::1;::::0;;;;;;;;14281:42;14360:17:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;14351:38:0::1;;14398:4;14405:7;-1:-1:-1::0;;;;;14405:12:0::1;;:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;14351:69;::::0;-1:-1:-1;;;;;;14351:69:0::1;::::0;;;;;;-1:-1:-1;;;;;4401:15:1;;;14351:69:0::1;::::0;::::1;4383:34:1::0;4453:15;;4433:18;;;4426:43;4318:18;;14351:69:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;14431:6;:16:::0;;-1:-1:-1;;;;;14431:16:0;;::::1;-1:-1:-1::0;;;;;;14431:16:0;;::::1;::::0;::::1;::::0;;;14449:4:::1;:12:::0;;;;::::1;::::0;;;::::1;;::::0;;14335:85;;-1:-1:-1;14472:53:0::1;::::0;14489:4:::1;::::0;-1:-1:-1;;14472:8:0::1;:53::i;:::-;14537:6;::::0;-1:-1:-1;;;;;14537:6:0::1;:22;14567:9;14586:4;14592:24;14586:4:::0;-1:-1:-1;;;;;7416:18:0;7399:7;7416:18;;;:9;:18;;;;;;;7333:103;14592:24:::1;14617:1;14619::::0;14621:10:::1;14632:15;14537:111;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;14210:446;;14160:496::o:0;3715:111::-;3677:4;3702:5;-1:-1:-1;;;;;3702:5:0;3589:10;3691:16;3573:38;;;;-1:-1:-1;;;3573:38:0;;;;;;;:::i;:::-;3781:5:::1;:11:::0;;-1:-1:-1;;;;;;3781:11:0::1;-1:-1:-1::0;;;;;3781:11:0;::::1;::::0;;::::1;::::0;;;3799:25:::1;::::0;2866:51:1;;;3799:25:0::1;::::0;2854:2:1;2839:18;3799:25:0::1;;;;;;;3715:111:::0;:::o;11447:335::-;-1:-1:-1;;;;;11540:19:0;;11532:68;;;;-1:-1:-1;;;11532:68:0;;5821:2:1;11532:68:0;;;5803:21:1;5860:2;5840:18;;;5833:30;5899:34;5879:18;;;5872:62;-1:-1:-1;;;5950:18:1;;;5943:34;5994:19;;11532:68:0;5619:400:1;11532:68:0;-1:-1:-1;;;;;11619:21:0;;11611:68;;;;-1:-1:-1;;;11611:68:0;;6226:2:1;11611:68:0;;;6208:21:1;6265:2;6245:18;;;6238:30;6304:34;6284:18;;;6277:62;-1:-1:-1;;;6355:18:1;;;6348:32;6397:19;;11611:68:0;6024:398:1;11611:68:0;-1:-1:-1;;;;;11690:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;11742:32;;1361:25:1;;;11742:32:0;;1334:18:1;11742:32:0;;;;;;;11447:335;;;:::o;1444:98::-;1502:7;1529:5;1533:1;1529;:5;:::i;11790:1532::-;-1:-1:-1;;;;;11887:20:0;;11879:70;;;;-1:-1:-1;;;11879:70:0;;6894:2:1;11879:70:0;;;6876:21:1;6933:2;6913:18;;;6906:30;6972:34;6952:18;;;6945:62;-1:-1:-1;;;7023:18:1;;;7016:35;7068:19;;11879:70:0;6692:401:1;11879:70:0;-1:-1:-1;;;;;11968:23:0;;11960:71;;;;-1:-1:-1;;;11960:71:0;;7300:2:1;11960:71:0;;;7282:21:1;7339:2;7319:18;;;7312:30;7378:34;7358:18;;;7351:62;-1:-1:-1;;;7429:18:1;;;7422:33;7472:19;;11960:71:0;7098:399:1;11960:71:0;-1:-1:-1;;;;;12046:23:0;;;;;;:15;:23;;;;;;;;12045:24;:55;;;;-1:-1:-1;;;;;;12074:26:0;;;;;;:15;:26;;;;;;;;12073:27;12045:55;12042:103;;;12110:14;;-1:-1:-1;;;12110:14:0;;;;12102:41;;;;-1:-1:-1;;;12102:41:0;;7704:2:1;12102:41:0;;;7686:21:1;7743:2;7723:18;;;7716:30;-1:-1:-1;;;7762:18:1;;;7755:44;7816:18;;12102:41:0;7502:338:1;12102:41:0;-1:-1:-1;;;;;12159:23:0;;;;;;:15;:23;;;;;;;;12158:24;:55;;;;-1:-1:-1;;;;;;12187:26:0;;;;;;:15;:26;;;;;;;;12186:27;12158:55;:85;;;;-1:-1:-1;12238:4:0;;-1:-1:-1;;;;;12217:26:0;;;12238:4;;12217:26;;12158:85;:115;;;;-1:-1:-1;;;;;;12247:26:0;;6312:42;12247:26;;12158:115;12155:232;;;12335:15;;-1:-1:-1;;;;;12298:20:0;;;;;;:9;:20;;;;;;:32;;12323:6;12298:24;:32::i;:::-;12297:53;;12289:96;;;;-1:-1:-1;;;12289:96:0;;8047:2:1;12289:96:0;;;8029:21:1;8086:2;8066:18;;;8059:30;8125:32;8105:18;;;8098:60;8175:18;;12289:96:0;7845:354:1;12289:96:0;12410:4;;-1:-1:-1;;;;;12400:14:0;;;12410:4;;12400:14;12397:132;;12434:14;;12424:6;:24;;:51;;;-1:-1:-1;;;;;;12452:23:0;;;;;;:15;:23;;;;;;;;12424:51;:81;;;-1:-1:-1;;;;;;12479:26:0;;;;;;:15;:26;;;;;;;;12424:81;12416:111;;;;-1:-1:-1;;;12416:111:0;;8406:2:1;12416:111:0;;;8388:21:1;8445:2;8425:18;;;8418:30;-1:-1:-1;;;8464:18:1;;;8457:47;8521:18;;12416:111:0;8204:341:1;12416:111:0;12557:12;;12547:6;:22;;:49;;;-1:-1:-1;;;;;;12573:23:0;;;;;;:15;:23;;;;;;;;12547:49;:79;;;-1:-1:-1;;;;;;12600:26:0;;;;;;:15;:26;;;;;;;;12547:79;12539:109;;;;-1:-1:-1;;;12539:109:0;;8406:2:1;12539:109:0;;;8388:21:1;8445:2;8425:18;;;8418:30;-1:-1:-1;;;8464:18:1;;;8457:47;8521:18;;12539:109:0;8204:341:1;12539:109:0;12676:4;;-1:-1:-1;;;;;12663:17:0;;;12676:4;;12663:17;:45;;;;-1:-1:-1;;;;;;12685:23:0;;;;;;:15;:23;;;;;;;;12684:24;12663:45;12660:75;;;12731:1;12710:9;;:23;;;;;;;:::i;:::-;;;;-1:-1:-1;;12660:75:0;12749:45;12768:6;12776:9;12787:6;12749:18;:45::i;:::-;12746:105;;;12796:29;12811:13;;12796:14;:29::i;:::-;12847:1;12827:9;:22;12746:105;12861:15;:24;;;12889:35;12906:6;12914:9;12889:16;:35::i;:::-;12886:93;;;12947:8;;12936:20;;:6;;:10;:20::i;:::-;12975:1;12958:14;:18;12927:29;-1:-1:-1;12886:93:0;-1:-1:-1;;;;;13009:17:0;;;;;;:9;:17;;;;;;:29;;13031:6;13009:21;:29::i;:::-;-1:-1:-1;;;;;12989:17:0;;;;;;:9;:17;;;;;:49;;;;13049:15;;;-1:-1:-1;13100:33:0;12999:6;13123:9;13100:14;:33::i;:::-;:81;;13175:6;13100:81;;;13136:36;13146:6;13154:9;13165:6;13136:9;:36::i;:::-;-1:-1:-1;;;;;13215:20:0;;;;;;:9;:20;;;;;;13075:106;;-1:-1:-1;13215:40:0;;13075:106;13215:24;:40::i;:::-;-1:-1:-1;;;;;13192:20:0;;;;;;;:9;:20;;;;;;;:63;;;;13271:43;;;;;;;;;;13299:14;1361:25:1;;1349:2;1334:18;;1215:177;13271:43:0;;;;;;;;11868:1454;11790:1532;;;:::o;1868:240::-;1988:7;2049:12;2041:6;;;;2033:29;;;;-1:-1:-1;;;2033:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;2084:5:0;;;1868:240::o;1338:98::-;1396:7;1423:5;1427:1;1423;:5;:::i;10715:407::-;10860:14;;10935:13;;10925:4;10817;7416:18;;;:9;:18;;;;;;10967:8;;10817:4;;10850:24;;;;-1:-1:-1;10907:41:0;;10967:8;;10966:9;:24;;;;-1:-1:-1;10979:11:0;;-1:-1:-1;;;10979:11:0;;;;10966:24;:42;;;;-1:-1:-1;10994:14:0;;-1:-1:-1;;;10994:14:0;;;;10966:42;:54;;;;;11012:8;10966:54;:82;;;;-1:-1:-1;;;;;;11025:23:0;;;;;;:15;:23;;;;;;;;11024:24;10966:82;:103;;;;-1:-1:-1;11065:4:0;;-1:-1:-1;;;;;11052:17:0;;;11065:4;;11052:17;10966:103;:130;;;;;11086:10;;11073:9;;:23;;10966:130;:148;;;;;11100:14;10966:148;10959:155;10715:407;-1:-1:-1;;;;;;10715:407:0:o;8117:1067::-;6581:8;:15;;-1:-1:-1;;6581:15:0;6592:4;6581:15;;;;;;8258:14:::1;::::0;8240:12:::1;::::0;8216::::1;::::0;6581:8;;8215:66:::1;::::0;8279:1:::1;::::0;8216:57:::1;::::0;8258:14;;8216:37:::1;::::0;;;:16:::1;:19::i;:::-;:23:::0;::::1;:37::i;:57::-;8215:63:::0;::::1;:66::i;:::-;8192:89;;8292:32;8327:46;8360:12;8327:28;8342:12;;8327:10;:14;;:28;;;;:::i;:::-;:32:::0;::::1;:46::i;:::-;8292:81:::0;-1:-1:-1;8384:14:0::1;8401:40;:10:::0;8292:81;8401:14:::1;:40::i;:::-;8384:57:::0;-1:-1:-1;8477:21:0::1;8509:24;8384:57:::0;8509:16:::1;:24::i;:::-;8544:20;8567:41;:21;8593:14:::0;8567:25:::1;:41::i;:::-;8544:64;;8619:19;8640:48;8657:30;8674:12;;8657;:16;;:30;;;;:::i;:::-;8640:12:::0;;:16:::1;:48::i;:::-;8619:69;;8699:29;8731;8747:12;;8731:11;:15;;:29;;;;:::i;:::-;8699:61:::0;-1:-1:-1;8774:34:0;;8771:103:::1;;8810:61;8823:24;8849:21;8810:12;:61::i;:::-;8930:12;::::0;8884:20:::1;::::0;8907:36:::1;::::0;:18:::1;:11:::0;8923:1:::1;8907:15;:18::i;:36::-;8884:59:::0;-1:-1:-1;8957:16:0;;8954:70:::1;;8983:15;::::0;8975:47:::1;::::0;-1:-1:-1;;;;;8983:15:0;;::::1;::::0;8975:47;::::1;;;::::0;9009:12;;8983:15:::1;8975:47:::0;8983:15;8975:47;9009:12;8983:15;8975:47;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;8954:70;9060:21;9095:28:::0;;9092:85:::1;;9133:15;::::0;9125:50:::1;::::0;-1:-1:-1;;;;;9133:15:0;;::::1;::::0;9125:50;::::1;;;::::0;9159:15;;9133::::1;9125:50:::0;9133:15;9125:50;9159:15;9133;9125:50;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;9092:85;-1:-1:-1::0;;6601:8:0;:16;;-1:-1:-1;;6601:16:0;;;-1:-1:-1;;;;;;;;8117:1067:0:o;9982:144::-;10089:15;;10057:4;;-1:-1:-1;;;;;10081:23:0;;;10089:15;;10081:23;:37;;;;-1:-1:-1;;10114:4:0;;-1:-1:-1;;;;;10114:4:0;;;10108:10;;;;9982:144;-1:-1:-1;9982:144:0:o;1550:98::-;1608:7;1635:5;1639:1;1635;:5;:::i;10134:169::-;-1:-1:-1;;;;;10241:23:0;;10216:4;10241:23;;;:15;:23;;;;;;;;10240:24;:55;;;;-1:-1:-1;;;;;;;10269:26:0;;;;;:15;:26;;;;;;;;10268:27;;10134:169;-1:-1:-1;10134:169:0:o;13330:822::-;13454:4;;13418:7;;-1:-1:-1;;;;;13441:17:0;;;13454:4;;13441:17;:45;;;;-1:-1:-1;;;;;;13463:23:0;;;;;;:15;:23;;;;;;;;13462:24;13441:45;13438:140;;;13518:14;;13503:12;;13518:21;;13537:1;13518:18;:21::i;:::-;13503:36;-1:-1:-1;13550:16:0;:6;13503:36;13550:10;:16::i;:::-;13541:25;;13487:91;13438:140;13627:1;13593:31;13606:6;13614:9;13593:12;:31::i;:::-;:35;13590:530;;;13644:17;13664:60;13712:11;;13664:43;13675:31;13688:6;13696:9;13675:12;:31::i;:::-;13664:6;;:10;:43::i;:60::-;13784:4;13766:24;;;;:9;:24;;;;;;13644:80;;-1:-1:-1;13766:39:0;;13644:80;13766:28;:39::i;:::-;13757:4;13739:24;;;;:9;:24;;;;;;;:66;;;;13825:42;;-1:-1:-1;;;;;13825:42:0;;;;;;;13857:9;1361:25:1;;1349:2;1334:18;;1215:177;13825:42:0;;;;;;;;13904:1;13885:8;;:21;:67;;;;;13944:8;;13910:31;13923:6;13931:9;13910:12;:31::i;:::-;:42;13885:67;13882:184;;;13972:78;13990:4;6312:42;14012:37;14040:8;;14012:23;14023:11;;14012:6;:10;;:23;;;;:::i;:37::-;13972:9;:78::i;:::-;14087:21;:6;14098:9;14087:10;:21::i;:::-;14080:28;;;;;13590:530;-1:-1:-1;14138:6:0;13330:822;-1:-1:-1;;13330:822:0:o;1656:98::-;1714:7;1741:5;1745:1;1741;:5;:::i;9540:434::-;9630:16;;;9644:1;9630:16;;;;;;;;9606:21;;9630:16;;;;;;;;;;-1:-1:-1;9630:16:0;9606:40;;9675:4;9657;9662:1;9657:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;9657:23:0;;;:7;;;;;;;;;;:23;;;;9701:6;;:13;;;-1:-1:-1;;;9701:13:0;;;;:6;;;;;:11;;:13;;;;;9657:7;;9701:13;;;;;:6;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9691:4;9696:1;9691:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;9691:23:0;;;:7;;;;;;;;;:23;9757:6;;9725:53;;9742:4;;9757:6;9766:11;9725:8;:53::i;:::-;9789:6;;:177;;-1:-1:-1;;;9789:177:0;;-1:-1:-1;;;;;9789:6:0;;;;:57;;:177;;9861:11;;9789:6;;9903:4;;9930;;9950:15;;9789:177;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9595:379;9540:434;:::o;9192:340::-;9305:6;;9273:53;;9290:4;;-1:-1:-1;;;;;9305:6:0;9314:11;9273:8;:53::i;:::-;9337:6;;9478:15;;9337:187;;-1:-1:-1;;;9337:187:0;;-1:-1:-1;;;;;9337:6:0;;;;:22;;9367:9;;9337:187;;9400:4;;9420:11;;9337:6;;;;9478:15;;9508;;9337:187;;;:::i;10311:220::-;10427:4;;10391:7;;-1:-1:-1;;;;;10427:4:0;;;10414:17;;;;10411:38;;-1:-1:-1;10440:7:0;;10433:14;;10411:38;10472:4;;-1:-1:-1;;;;;10472:4:0;;;10462:14;;;;10459:36;;-1:-1:-1;10485:8:0;;10478:15;;10459:36;-1:-1:-1;10512:11:0;;10311:220;;;;:::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:416::-;2364:6;2372;2425:2;2413:9;2404:7;2400:23;2396:32;2393:52;;;2441:1;2438;2431:12;2393:52;2480:9;2467:23;2499:31;2524:5;2499:31;:::i;:::-;2549:5;-1:-1:-1;2606:2:1;2591:18;;2578:32;2648:15;;2641:23;2629:36;;2619:64;;2679:1;2676;2669:12;2619:64;2702:7;2692:17;;;2299:416;;;;;:::o;2928:388::-;2996:6;3004;3057:2;3045:9;3036:7;3032:23;3028:32;3025:52;;;3073:1;3070;3063:12;3025:52;3112:9;3099:23;3131:31;3156:5;3131:31;:::i;:::-;3181:5;-1:-1:-1;3238:2:1;3223:18;;3210:32;3251:33;3210:32;3251:33;:::i;3581:329::-;3783:2;3765:21;;;3822:1;3802:18;;;3795:29;-1:-1:-1;;;3855:2:1;3840:18;;3833:36;3901:2;3886:18;;3581:329::o;3915:251::-;3985:6;4038:2;4026:9;4017:7;4013:23;4009:32;4006:52;;;4054:1;4051;4044:12;4006:52;4086:9;4080:16;4105:31;4130:5;4105:31;:::i;4480:607::-;-1:-1:-1;;;;;4839:15:1;;;4821:34;;4886:2;4871:18;;4864:34;;;;4929:2;4914:18;;4907:34;;;;4972:2;4957:18;;4950:34;;;;5021:15;;;5015:3;5000:19;;4993:44;4801:3;5053:19;;5046:35;;;;4770:3;4755:19;;4480:607::o;5092:306::-;5180:6;5188;5196;5249:2;5237:9;5228:7;5224:23;5220:32;5217:52;;;5265:1;5262;5255:12;5217:52;5294:9;5288:16;5278:26;;5344:2;5333:9;5329:18;5323:25;5313:35;;5388:2;5377:9;5373:18;5367:25;5357:35;;5092:306;;;;;:::o;6427:127::-;6488:10;6483:3;6479:20;6476:1;6469:31;6519:4;6516:1;6509:15;6543:4;6540:1;6533:15;6559:128;6626:9;;;6647:11;;;6644:37;;;6661:18;;:::i;8550:125::-;8615:9;;;8636:10;;;8633:36;;;8649:18;;:::i;8680:168::-;8753:9;;;8784;;8801:15;;;8795:22;;8781:37;8771:71;;8822:18;;:::i;8853:217::-;8893:1;8919;8909:132;;8963:10;8958:3;8954:20;8951:1;8944:31;8998:4;8995:1;8988:15;9026:4;9023:1;9016:15;8909:132;-1:-1:-1;9055:9:1;;8853:217::o;9207:127::-;9268:10;9263:3;9259:20;9256:1;9249:31;9299:4;9296:1;9289:15;9323:4;9320:1;9313:15;9339:980;9601:4;9649:3;9638:9;9634:19;9680:6;9669:9;9662:25;9706:2;9744:6;9739:2;9728:9;9724:18;9717:34;9787:3;9782:2;9771:9;9767:18;9760:31;9811:6;9846;9840:13;9877:6;9869;9862:22;9915:3;9904:9;9900:19;9893:26;;9954:2;9946:6;9942:15;9928:29;;9975:1;9985:195;9999:6;9996:1;9993:13;9985:195;;;10064:13;;-1:-1:-1;;;;;10060:39:1;10048:52;;10155:15;;;;10120:12;;;;10096:1;10014:9;9985:195;;;-1:-1:-1;;;;;;;10236:32:1;;;;10231:2;10216:18;;10209:60;-1:-1:-1;;;10300:3:1;10285:19;10278:35;10197:3;9339:980;-1:-1:-1;;;9339:980:1:o

ipfs://dfcf9ad518914160b7a25c94472aff700bfbdfd26085694783058541c76541c4