Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-06-15
*/

// SPDX-License-Identifier: MIT

/*

Website: https://karafuto.vip/
X: https://x.com/KarafutoKenEth
Telegram: https://t.me/karafutokenEth

*/

pragma solidity 0.8.23;

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() {
        _owner = 0x2463c0B0939BA2B10f50B8fABc3842bf7965F775;
        emit OwnershipTransferred(address(0), _owner);
    }

    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(
        uint256 amountIn,
        uint256 amountOutMin,
        address[] calldata path,
        address to,
        uint256 deadline
    ) external;

    function factory() external pure returns (address);

    function WETH() external pure returns (address);

    function addLiquidityETH(
        address token,
        uint256 amountTokenDesired,
        uint256 amountTokenMin,
        uint256 amountETHMin,
        address to,
        uint256 deadline
    )
        external
        payable
        returns (
            uint256 amountToken,
            uint256 amountETH,
            uint256 liquidity
        );
}

contract KARAFUTO is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) private _isExcludedFromFee;
    address payable private _taxWallet;

    uint256 private _initialBuyTax = 25;
    uint256 private _initialSellTax = 25;
    uint256 private _finalBuyTax = 0;
    uint256 private _finalSellTax = 0;
    uint256 private _reduceBuyTaxAt = 22;
    uint256 private _reduceSellTaxAt = 23;
    uint256 private _preventSwapBefore = 25;
    uint256 private _buyCount = 0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 420000000000 * 10**_decimals;

    string private constant _name = unicode"Karafuto Ken";
    string private constant _symbol = unicode"KARAFUTO";

    // 1.5% of total supply
    uint256 public _maxTxAmount = 6300000000 * 10**_decimals;
    uint256 public _maxWalletSize = 6300000000 * 10**_decimals;

    //0.5% swap thresHold
    uint256 public _taxSwapThreshold = 2100000000 * 10**_decimals;
    //0.3% swap
    uint256 public _maxTaxSwap = 1260000000 * 10**_decimals;

    uint256 _tokenHeldByCA = 84000000000 * 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(uint256 _maxTxAmount);
    event TransferTaxUpdated(uint256 _tax);
    modifier lockTheSwap() {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor() {

        uniswapV2Router = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );
        
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(
            address(this),
            uniswapV2Router.WETH()
        );
        _taxWallet = payable(owner());
        _balances[owner()] = _tTotal - _tokenHeldByCA;
        _balances[address(this)] = _tokenHeldByCA;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;

        emit Transfer(address(0), owner(), _balances[owner()]);

        emit Transfer(address(0), address(this), _balances[address(this)]);
    }

    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(),
            _allowances[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 taxAmount = 0;
        if (from != owner() && to != owner()) {
            if (_buyCount == 0) {
                taxAmount = amount
                    .mul(
                        (_buyCount > _reduceBuyTaxAt)
                            ? _finalBuyTax
                            : _initialBuyTax
                    )
                    .div(100);
            }

            if (
                from == uniswapV2Pair &&
                to != address(uniswapV2Router) &&
                !_isExcludedFromFee[to]
            ) {
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(
                    balanceOf(to) + amount <= _maxWalletSize,
                    "Exceeds the maxWalletSize."
                );
                taxAmount = amount
                    .mul(
                        (_buyCount > _reduceBuyTaxAt)
                            ? _finalBuyTax
                            : _initialBuyTax
                    )
                    .div(100);
                _buyCount++;
            }

            if (to == uniswapV2Pair && from != address(this)) {
                taxAmount = amount
                    .mul(
                        (_buyCount > _reduceSellTaxAt)
                            ? _finalSellTax
                            : _initialSellTax
                    )
                    .div(100);
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (
                !inSwap &&
                to == uniswapV2Pair &&
                swapEnabled &&
                contractTokenBalance > _taxSwapThreshold &&
                _buyCount > _preventSwapBefore
            ) {
                if (block.number > lastSellBlock) {
                    sellCount = 0;
                }
                require(sellCount < 3, "Only 3 sells per block!");
                swapTokensForEth(
                    min(amount, min(contractTokenBalance, _maxTaxSwap))
                );
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
                sellCount++;
                lastSellBlock = block.number;
            }
        }

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

    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 NoLimits() external onlyOwner {
        _maxTxAmount = _tTotal;
        _maxWalletSize = _tTotal;
        emit MaxTxAmountUpdated(_tTotal);
    }

    function sendETHToFee(uint256 amount) private {
        _taxWallet.transfer(amount);
    }

    function openTrading() external onlyOwner {
        require(!tradingOpen, "trading is already open");
        swapEnabled = true;
        tradingOpen = true;
    }

    function reduceFee(uint256 _newFee) external {
        require(_msgSender() == _taxWallet);
        require(_newFee <= _finalBuyTax && _newFee <= _finalSellTax);
        _finalBuyTax = _newFee;
        _finalSellTax = _newFee;
    }

    receive() external payable {}

    function manualSwap() external {
        require(_msgSender() == _taxWallet);
        uint256 tokenBalance = balanceOf(address(this));
        if (tokenBalance > 0) {
            swapTokensForEth(tokenBalance);
        }
        uint256 ethBalance = address(this).balance;
        if (ethBalance > 0) {
            sendETHToFee(ethBalance);
        }
    }
}

• 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":"NoLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"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":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_newFee","type":"uint256"}],"name":"reduceFee","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"}]

6080604052601960055560196006555f6007555f60085560166009556017600a556019600b555f600c556009600a620000399190620005a5565b6200004a90640177825f00620005bc565b600d556200005b6009600a620005a5565b6200006c90640177825f00620005bc565b600e556200007d6009600a620005a5565b6200008d90637d2b7500620005bc565b600f556200009e6009600a620005a5565b620000ae90634b1a1300620005bc565b601055620000bf6009600a620005a5565b620000d09064138eca4800620005bc565b6011556013805461ffff60a81b191690555f6014819055601555348015620000f6575f80fd5b505f80546001600160a01b031916732463c0b0939ba2b10f50b8fabc3842bf7965f77590811782556040519091907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a3601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa158015620001ac573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620001d29190620005d6565b6001600160a01b031663c9c653963060125f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801562000232573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620002589190620005d6565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015620002a3573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620002c99190620005d6565b601380546001600160a01b0319166001600160a01b039283161790555f5416600480546001600160a01b0319166001600160a01b0392909216919091179055601154620003196009600a620005a5565b6200032a906461c9f36800620005bc565b620003369190620005fe565b60015f6200034b5f546001600160a01b031690565b6001600160a01b0316815260208082019290925260409081015f908120939093556011543084526001928390529083205590600390620003925f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553081526003909352818320805485166001908117909155600454909116835291208054909216179055620003fa5f546001600160a01b031690565b6001600160a01b03165f5f8051602062001ad8833981519152600182620004285f546001600160a01b031690565b6001600160a01b03166001600160a01b031681526020019081526020015f20546040516200045891815260200190565b60405180910390a3305f8181526001602090815260408083205490519081525f8051602062001ad8833981519152910160405180910390a362000614565b634e487b7160e01b5f52601160045260245ffd5b600181815b80851115620004ea57815f1904821115620004ce57620004ce62000496565b80851615620004dc57918102915b93841c9390800290620004af565b509250929050565b5f8262000502575060016200059f565b816200051057505f6200059f565b8160018114620005295760028114620005345762000554565b60019150506200059f565b60ff84111562000548576200054862000496565b50506001821b6200059f565b5060208310610133831016604e8410600b841016171562000579575081810a6200059f565b620005858383620004aa565b805f19048211156200059b576200059b62000496565b0290505b92915050565b5f620005b560ff841683620004f2565b9392505050565b80820281158282048414176200059f576200059f62000496565b5f60208284031215620005e7575f80fd5b81516001600160a01b0381168114620005b5575f80fd5b818103818111156200059f576200059f62000496565b6114b680620006225f395ff3fe608060405260043610610113575f3560e01c8063715018a61161009d578063a9059cbb11610062578063a9059cbb146102f6578063bf474bed14610315578063c9567bf91461032a578063dd62ed3e1461033e578063ec1f3f6314610382575f80fd5b8063715018a6146102625780637d1db4a5146102765780638da5cb5b1461028b5780638f9a55c0146102b157806395d89b41146102c6575f80fd5b806323b872dd116100e357806323b872dd146101ca578063313ce567146101e95780634eab681f1461020457806351bc3c851461021a57806370a082311461022e575f80fd5b806306fdde031461011e578063095ea7b3146101645780630faee56f1461019357806318160ddd146101b6575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b5060408051808201909152600c81526b25b0b930b33aba379025b2b760a11b60208201525b60405161015b91906110d9565b60405180910390f35b34801561016f575f80fd5b5061018361017e36600461113c565b6103a1565b604051901515815260200161015b565b34801561019e575f80fd5b506101a860105481565b60405190815260200161015b565b3480156101c1575f80fd5b506101a86103b7565b3480156101d5575f80fd5b506101836101e4366004611166565b6103d8565b3480156101f4575f80fd5b506040516009815260200161015b565b34801561020f575f80fd5b5061021861043f565b005b348015610225575f80fd5b506102186104fc565b348015610239575f80fd5b506101a86102483660046111a4565b6001600160a01b03165f9081526001602052604090205490565b34801561026d575f80fd5b5061021861054d565b348015610281575f80fd5b506101a8600d5481565b348015610296575f80fd5b505f546040516001600160a01b03909116815260200161015b565b3480156102bc575f80fd5b506101a8600e5481565b3480156102d1575f80fd5b506040805180820190915260088152674b4152414655544f60c01b602082015261014e565b348015610301575f80fd5b5061018361031036600461113c565b6105be565b348015610320575f80fd5b506101a8600f5481565b348015610335575f80fd5b506102186105ca565b348015610349575f80fd5b506101a86103583660046111bf565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b34801561038d575f80fd5b5061021861039c3660046111f6565b610666565b5f6103ad3384846106ab565b5060015b92915050565b5f6103c46009600a611301565b6103d3906461c9f3680061130f565b905090565b5f6103e48484846107ce565b610435843361043085604051806060016040528060288152602001611459602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610d55565b6106ab565b5060019392505050565b5f546001600160a01b031633146104715760405162461bcd60e51b815260040161046890611326565b60405180910390fd5b61047d6009600a611301565b61048c906461c9f3680061130f565b600d5561049b6009600a611301565b6104aa906461c9f3680061130f565b600e557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6104da6009600a611301565b6104e9906461c9f3680061130f565b60405190815260200160405180910390a1565b6004546001600160a01b0316336001600160a01b03161461051b575f80fd5b305f9081526001602052604090205480156105395761053981610d8d565b4780156105495761054981610efd565b5050565b5f546001600160a01b031633146105765760405162461bcd60e51b815260040161046890611326565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f6103ad3384846107ce565b5f546001600160a01b031633146105f35760405162461bcd60e51b815260040161046890611326565b601354600160a01b900460ff161561064d5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610468565b6013805462ff00ff60a01b19166201000160a01b179055565b6004546001600160a01b0316336001600160a01b031614610685575f80fd5b600754811115801561069957506008548111155b6106a1575f80fd5b6007819055600855565b6001600160a01b03831661070d5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610468565b6001600160a01b03821661076e5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610468565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166108325760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610468565b6001600160a01b0382166108945760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610468565b5f81116108f55760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610468565b5f80546001600160a01b0385811691161480159061092057505f546001600160a01b03848116911614155b15610c1857600c545f0361095d5761095a6064610954600954600c54116109495760055461094d565b6007545b8590610f34565b90610fb9565b90505b6013546001600160a01b03858116911614801561098857506012546001600160a01b03848116911614155b80156109ac57506001600160a01b0383165f9081526003602052604090205460ff16155b15610aaf57600d54821115610a035760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610468565b600e5482610a25856001600160a01b03165f9081526001602052604090205490565b610a2f919061135b565b1115610a7d5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610468565b610a986064610954600954600c54116109495760055461094d565b600c80549192505f610aa98361136e565b91905055505b6013546001600160a01b038481169116148015610ad557506001600160a01b0384163014155b15610b0257610aff6064610954600a54600c5411610af55760065461094d565b6008548590610f34565b90505b305f90815260016020526040902054601354600160a81b900460ff16158015610b3857506013546001600160a01b038581169116145b8015610b4d5750601354600160b01b900460ff165b8015610b5a5750600f5481115b8015610b695750600b54600c54115b15610c1657601554431115610b7d575f6014555b600360145410610bcf5760405162461bcd60e51b815260206004820152601760248201527f4f6e6c7920332073656c6c732070657220626c6f636b210000000000000000006044820152606401610468565b610bec610be784610be284601054610ffa565b610ffa565b610d8d565b478015610bfc57610bfc47610efd565b60148054905f610c0b8361136e565b909155505043601555505b505b8015610c9057305f90815260016020526040902054610c37908261100e565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610c879085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610cb2908361106c565b6001600160a01b0385165f90815260016020526040902055610cf5610cd7838361106c565b6001600160a01b0385165f908152600160205260409020549061100e565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610d3e858561106c565b60405190815260200160405180910390a350505050565b5f8184841115610d785760405162461bcd60e51b815260040161046891906110d9565b505f610d848486611386565b95945050505050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610dd357610dd3611399565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610e2a573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610e4e91906113ad565b81600181518110610e6157610e61611399565b6001600160a01b039283166020918202929092010152601254610e8791309116846106ab565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac94790610ebf9085905f908690309042906004016113c8565b5f604051808303815f87803b158015610ed6575f80fd5b505af1158015610ee8573d5f803e3d5ffd5b50506013805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610549573d5f803e3d5ffd5b5f825f03610f4357505f6103b1565b5f610f4e838561130f565b905082610f5b8583611439565b14610fb25760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610468565b9392505050565b5f610fb283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506110ad565b5f8183116110085782610fb2565b50919050565b5f8061101a838561135b565b905083811015610fb25760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610468565b5f610fb283836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610d55565b5f81836110cd5760405162461bcd60e51b815260040161046891906110d9565b505f610d848486611439565b5f602080835283518060208501525f5b81811015611105578581018301518582016040015282016110e9565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611139575f80fd5b50565b5f806040838503121561114d575f80fd5b823561115881611125565b946020939093013593505050565b5f805f60608486031215611178575f80fd5b833561118381611125565b9250602084013561119381611125565b929592945050506040919091013590565b5f602082840312156111b4575f80fd5b8135610fb281611125565b5f80604083850312156111d0575f80fd5b82356111db81611125565b915060208301356111eb81611125565b809150509250929050565b5f60208284031215611206575f80fd5b5035919050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561125b57815f19048211156112415761124161120d565b8085161561124e57918102915b93841c9390800290611226565b509250929050565b5f82611271575060016103b1565b8161127d57505f6103b1565b8160018114611293576002811461129d576112b9565b60019150506103b1565b60ff8411156112ae576112ae61120d565b50506001821b6103b1565b5060208310610133831016604e8410600b84101617156112dc575081810a6103b1565b6112e68383611221565b805f19048211156112f9576112f961120d565b029392505050565b5f610fb260ff841683611263565b80820281158282048414176103b1576103b161120d565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b808201808211156103b1576103b161120d565b5f6001820161137f5761137f61120d565b5060010190565b818103818111156103b1576103b161120d565b634e487b7160e01b5f52603260045260245ffd5b5f602082840312156113bd575f80fd5b8151610fb281611125565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156114185784516001600160a01b0316835293830193918301916001016113f3565b50506001600160a01b03969096166060850152505050608001529392505050565b5f8261145357634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220bf6101f02fb9cba6512a60497c9b9f9252d2a6df55306c25d5e838d3b6539fba64736f6c63430008170033ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef

0x608060405260043610610113575f3560e01c8063715018a61161009d578063a9059cbb11610062578063a9059cbb146102f6578063bf474bed14610315578063c9567bf91461032a578063dd62ed3e1461033e578063ec1f3f6314610382575f80fd5b8063715018a6146102625780637d1db4a5146102765780638da5cb5b1461028b5780638f9a55c0146102b157806395d89b41146102c6575f80fd5b806323b872dd116100e357806323b872dd146101ca578063313ce567146101e95780634eab681f1461020457806351bc3c851461021a57806370a082311461022e575f80fd5b806306fdde031461011e578063095ea7b3146101645780630faee56f1461019357806318160ddd146101b6575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b5060408051808201909152600c81526b25b0b930b33aba379025b2b760a11b60208201525b60405161015b91906110d9565b60405180910390f35b34801561016f575f80fd5b5061018361017e36600461113c565b6103a1565b604051901515815260200161015b565b34801561019e575f80fd5b506101a860105481565b60405190815260200161015b565b3480156101c1575f80fd5b506101a86103b7565b3480156101d5575f80fd5b506101836101e4366004611166565b6103d8565b3480156101f4575f80fd5b506040516009815260200161015b565b34801561020f575f80fd5b5061021861043f565b005b348015610225575f80fd5b506102186104fc565b348015610239575f80fd5b506101a86102483660046111a4565b6001600160a01b03165f9081526001602052604090205490565b34801561026d575f80fd5b5061021861054d565b348015610281575f80fd5b506101a8600d5481565b348015610296575f80fd5b505f546040516001600160a01b03909116815260200161015b565b3480156102bc575f80fd5b506101a8600e5481565b3480156102d1575f80fd5b506040805180820190915260088152674b4152414655544f60c01b602082015261014e565b348015610301575f80fd5b5061018361031036600461113c565b6105be565b348015610320575f80fd5b506101a8600f5481565b348015610335575f80fd5b506102186105ca565b348015610349575f80fd5b506101a86103583660046111bf565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b34801561038d575f80fd5b5061021861039c3660046111f6565b610666565b5f6103ad3384846106ab565b5060015b92915050565b5f6103c46009600a611301565b6103d3906461c9f3680061130f565b905090565b5f6103e48484846107ce565b610435843361043085604051806060016040528060288152602001611459602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610d55565b6106ab565b5060019392505050565b5f546001600160a01b031633146104715760405162461bcd60e51b815260040161046890611326565b60405180910390fd5b61047d6009600a611301565b61048c906461c9f3680061130f565b600d5561049b6009600a611301565b6104aa906461c9f3680061130f565b600e557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6104da6009600a611301565b6104e9906461c9f3680061130f565b60405190815260200160405180910390a1565b6004546001600160a01b0316336001600160a01b03161461051b575f80fd5b305f9081526001602052604090205480156105395761053981610d8d565b4780156105495761054981610efd565b5050565b5f546001600160a01b031633146105765760405162461bcd60e51b815260040161046890611326565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f6103ad3384846107ce565b5f546001600160a01b031633146105f35760405162461bcd60e51b815260040161046890611326565b601354600160a01b900460ff161561064d5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610468565b6013805462ff00ff60a01b19166201000160a01b179055565b6004546001600160a01b0316336001600160a01b031614610685575f80fd5b600754811115801561069957506008548111155b6106a1575f80fd5b6007819055600855565b6001600160a01b03831661070d5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610468565b6001600160a01b03821661076e5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610468565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166108325760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610468565b6001600160a01b0382166108945760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610468565b5f81116108f55760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610468565b5f80546001600160a01b0385811691161480159061092057505f546001600160a01b03848116911614155b15610c1857600c545f0361095d5761095a6064610954600954600c54116109495760055461094d565b6007545b8590610f34565b90610fb9565b90505b6013546001600160a01b03858116911614801561098857506012546001600160a01b03848116911614155b80156109ac57506001600160a01b0383165f9081526003602052604090205460ff16155b15610aaf57600d54821115610a035760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610468565b600e5482610a25856001600160a01b03165f9081526001602052604090205490565b610a2f919061135b565b1115610a7d5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610468565b610a986064610954600954600c54116109495760055461094d565b600c80549192505f610aa98361136e565b91905055505b6013546001600160a01b038481169116148015610ad557506001600160a01b0384163014155b15610b0257610aff6064610954600a54600c5411610af55760065461094d565b6008548590610f34565b90505b305f90815260016020526040902054601354600160a81b900460ff16158015610b3857506013546001600160a01b038581169116145b8015610b4d5750601354600160b01b900460ff165b8015610b5a5750600f5481115b8015610b695750600b54600c54115b15610c1657601554431115610b7d575f6014555b600360145410610bcf5760405162461bcd60e51b815260206004820152601760248201527f4f6e6c7920332073656c6c732070657220626c6f636b210000000000000000006044820152606401610468565b610bec610be784610be284601054610ffa565b610ffa565b610d8d565b478015610bfc57610bfc47610efd565b60148054905f610c0b8361136e565b909155505043601555505b505b8015610c9057305f90815260016020526040902054610c37908261100e565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610c879085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610cb2908361106c565b6001600160a01b0385165f90815260016020526040902055610cf5610cd7838361106c565b6001600160a01b0385165f908152600160205260409020549061100e565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610d3e858561106c565b60405190815260200160405180910390a350505050565b5f8184841115610d785760405162461bcd60e51b815260040161046891906110d9565b505f610d848486611386565b95945050505050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610dd357610dd3611399565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610e2a573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610e4e91906113ad565b81600181518110610e6157610e61611399565b6001600160a01b039283166020918202929092010152601254610e8791309116846106ab565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac94790610ebf9085905f908690309042906004016113c8565b5f604051808303815f87803b158015610ed6575f80fd5b505af1158015610ee8573d5f803e3d5ffd5b50506013805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610549573d5f803e3d5ffd5b5f825f03610f4357505f6103b1565b5f610f4e838561130f565b905082610f5b8583611439565b14610fb25760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610468565b9392505050565b5f610fb283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506110ad565b5f8183116110085782610fb2565b50919050565b5f8061101a838561135b565b905083811015610fb25760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610468565b5f610fb283836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610d55565b5f81836110cd5760405162461bcd60e51b815260040161046891906110d9565b505f610d848486611439565b5f602080835283518060208501525f5b81811015611105578581018301518582016040015282016110e9565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611139575f80fd5b50565b5f806040838503121561114d575f80fd5b823561115881611125565b946020939093013593505050565b5f805f60608486031215611178575f80fd5b833561118381611125565b9250602084013561119381611125565b929592945050506040919091013590565b5f602082840312156111b4575f80fd5b8135610fb281611125565b5f80604083850312156111d0575f80fd5b82356111db81611125565b915060208301356111eb81611125565b809150509250929050565b5f60208284031215611206575f80fd5b5035919050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561125b57815f19048211156112415761124161120d565b8085161561124e57918102915b93841c9390800290611226565b509250929050565b5f82611271575060016103b1565b8161127d57505f6103b1565b8160018114611293576002811461129d576112b9565b60019150506103b1565b60ff8411156112ae576112ae61120d565b50506001821b6103b1565b5060208310610133831016604e8410600b84101617156112dc575081810a6103b1565b6112e68383611221565b805f19048211156112f9576112f961120d565b029392505050565b5f610fb260ff841683611263565b80820281158282048414176103b1576103b161120d565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b808201808211156103b1576103b161120d565b5f6001820161137f5761137f61120d565b5060010190565b818103818111156103b1576103b161120d565b634e487b7160e01b5f52603260045260245ffd5b5f602082840312156113bd575f80fd5b8151610fb281611125565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156114185784516001600160a01b0316835293830193918301916001016113f3565b50506001600160a01b03969096166060850152505050608001529392505050565b5f8261145357634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220bf6101f02fb9cba6512a60497c9b9f9252d2a6df55306c25d5e838d3b6539fba64736f6c63430008170033

3922:9218:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6417:83;;;;;;;;;;-1:-1:-1;6487:5:0;;;;;;;;;;;;-1:-1:-1;;;6487:5:0;;;;6417:83;;;;;;;:::i;:::-;;;;;;;;7323:193;;;;;;;;;;-1:-1:-1;7323:193:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;7323:193:0;1023:187:1;5076:55:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;5076:55:0;1215:177:1;6694:95:0;;;;;;;;;;;;;:::i;7524:446::-;;;;;;;;;;-1:-1:-1;7524:446:0;;;;;:::i;:::-;;:::i;6603:83::-;;;;;;;;;;-1:-1:-1;6603:83:0;;4605:1;2000:36:1;;1988:2;1973:18;6603:83:0;1858:184:1;12048:158:0;;;;;;;;;;;;;:::i;:::-;;12771:366;;;;;;;;;;;;;:::i;6797:119::-;;;;;;;;;;-1:-1:-1;6797:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6890:18:0;6863:7;6890:18;;;:9;:18;;;;;;;6797:119;2874:148;;;;;;;;;;;;;:::i;4834:56::-;;;;;;;;;;;;;;;;2660:79;;;;;;;;;;-1:-1:-1;2698:7:0;2725:6;2660:79;;-1:-1:-1;;;;;2725:6:0;;;2445:51:1;;2433:2;2418:18;2660:79:0;2299:203:1;4897:58:0;;;;;;;;;;;;;;;;6508:87;;;;;;;;;;-1:-1:-1;6580:7:0;;;;;;;;;;;;-1:-1:-1;;;6580:7:0;;;;6508:87;;6924:199;;;;;;;;;;-1:-1:-1;6924:199:0;;;;;:::i;:::-;;:::i;4991:61::-;;;;;;;;;;;;;;;;12314:167;;;;;;;;;;;;;:::i;7131:184::-;;;;;;;;;;-1:-1:-1;7131:184:0;;;;;:::i;:::-;-1:-1:-1;;;;;7280:18:0;;;7248:7;7280:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7131:184;12489:237;;;;;;;;;;-1:-1:-1;12489:237:0;;;;;:::i;:::-;;:::i;7323:193::-;7425:4;7447:39;293:10;7470:7;7479:6;7447:8;:39::i;:::-;-1:-1:-1;7504:4:0;7323:193;;;;;:::o;6694:95::-;6747:7;4663:13;4605:1;4663:2;:13;:::i;:::-;4648:28;;:12;:28;:::i;:::-;6767:14;;6694:95;:::o;7524:446::-;7656:4;7673:36;7683:6;7691:9;7702:6;7673:9;:36::i;:::-;7720:220;7743:6;293:10;7791:138;7847:6;7791:138;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7791:19:0;;;;;;:11;:19;;;;;;;;293:10;7791:33;;;;;;;;;;:37;:138::i;:::-;7720:8;:220::i;:::-;-1:-1:-1;7958:4:0;7524:446;;;;;:::o;12048:158::-;2787:6;;-1:-1:-1;;;;;2787:6:0;293:10;2787:22;2779:67;;;;-1:-1:-1;;;2779:67:0;;;;;;;:::i;:::-;;;;;;;;;4663:13:::1;4605:1;4663:2;:13;:::i;:::-;4648:28;::::0;:12:::1;:28;:::i;:::-;12098:12;:22:::0;4663:13:::1;4605:1;4663:2;:13;:::i;:::-;4648:28;::::0;:12:::1;:28;:::i;:::-;12131:14;:24:::0;12171:27:::1;4663:13;4605:1;4663:2;:13;:::i;:::-;4648:28;::::0;:12:::1;:28;:::i;:::-;12171:27;::::0;1361:25:1;;;1349:2;1334:18;12171:27:0::1;;;;;;;12048:158::o:0;12771:366::-;12837:10;;-1:-1:-1;;;;;12837:10:0;293;-1:-1:-1;;;;;12821:26:0;;12813:35;;;;;;12900:4;12859:20;6890:18;;;:9;:18;;;;;;12921:16;;12917:79;;12954:30;12971:12;12954:16;:30::i;:::-;13027:21;13063:14;;13059:71;;13094:24;13107:10;13094:12;:24::i;:::-;12802:335;;12771:366::o;2874:148::-;2787:6;;-1:-1:-1;;;;;2787:6:0;293:10;2787:22;2779:67;;;;-1:-1:-1;;;2779:67:0;;;;;;;:::i;:::-;2981:1:::1;2965:6:::0;;2944:40:::1;::::0;-1:-1:-1;;;;;2965:6:0;;::::1;::::0;2944:40:::1;::::0;2981:1;;2944:40:::1;3012:1;2995:19:::0;;-1:-1:-1;;;;;;2995:19:0::1;::::0;;2874:148::o;6924:199::-;7029:4;7051:42;293:10;7075:9;7086:6;7051:9;:42::i;12314:167::-;2787:6;;-1:-1:-1;;;;;2787:6:0;293:10;2787:22;2779:67;;;;-1:-1:-1;;;2779:67:0;;;;;;;:::i;:::-;12376:11:::1;::::0;-1:-1:-1;;;12376:11:0;::::1;;;12375:12;12367:48;;;::::0;-1:-1:-1;;;12367:48:0;;5330:2:1;12367:48:0::1;::::0;::::1;5312:21:1::0;5369:2;5349:18;;;5342:30;5408:25;5388:18;;;5381:53;5451:18;;12367:48:0::1;5128:347:1::0;12367:48:0::1;12426:11;:18:::0;;-1:-1:-1;;;;12455:18:0;-1:-1:-1;;;12455:18:0;;;12314:167::o;12489:237::-;12569:10;;-1:-1:-1;;;;;12569:10:0;293;-1:-1:-1;;;;;12553:26:0;;12545:35;;;;;;12610:12;;12599:7;:23;;:51;;;;;12637:13;;12626:7;:24;;12599:51;12591:60;;;;;;12662:12;:22;;;12695:13;:23;12489:237::o;7978:369::-;-1:-1:-1;;;;;8105:19:0;;8097:68;;;;-1:-1:-1;;;8097:68:0;;5682:2:1;8097:68:0;;;5664:21:1;5721:2;5701:18;;;5694:30;5760:34;5740:18;;;5733:62;-1:-1:-1;;;5811:18:1;;;5804:34;5855:19;;8097:68:0;5480:400:1;8097:68:0;-1:-1:-1;;;;;8184:21:0;;8176:68;;;;-1:-1:-1;;;8176:68:0;;6087:2:1;8176:68:0;;;6069:21:1;6126:2;6106:18;;;6099:30;6165:34;6145:18;;;6138:62;-1:-1:-1;;;6216:18:1;;;6209:32;6258:19;;8176:68:0;5885:398:1;8176:68:0;-1:-1:-1;;;;;8255:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8307:32;;1361:25:1;;;8307:32:0;;1334:18:1;8307:32:0;;;;;;;7978:369;;;:::o;8355:3079::-;-1:-1:-1;;;;;8477:18:0;;8469:68;;;;-1:-1:-1;;;8469:68:0;;6490:2:1;8469:68:0;;;6472:21:1;6529:2;6509:18;;;6502:30;6568:34;6548:18;;;6541:62;-1:-1:-1;;;6619:18:1;;;6612:35;6664:19;;8469:68:0;6288:401:1;8469:68:0;-1:-1:-1;;;;;8556:16:0;;8548:64;;;;-1:-1:-1;;;8548:64:0;;6896:2:1;8548:64:0;;;6878:21:1;6935:2;6915:18;;;6908:30;6974:34;6954:18;;;6947:62;-1:-1:-1;;;7025:18:1;;;7018:33;7068:19;;8548:64:0;6694:399:1;8548:64:0;8640:1;8631:6;:10;8623:64;;;;-1:-1:-1;;;8623:64:0;;7300:2:1;8623:64:0;;;7282:21:1;7339:2;7319:18;;;7312:30;7378:34;7358:18;;;7351:62;-1:-1:-1;;;7429:18:1;;;7422:39;7478:19;;8623:64:0;7098:405:1;8623:64:0;8698:17;2725:6;;-1:-1:-1;;;;;8734:15:0;;;2725:6;;8734:15;;;;:32;;-1:-1:-1;2698:7:0;2725:6;-1:-1:-1;;;;;8753:13:0;;;2725:6;;8753:13;;8734:32;8730:2333;;;8787:9;;8800:1;8787:14;8783:299;;8834:232;9062:3;8834:201;8906:15;;8894:9;;:27;8893:119;;8998:14;;8893:119;;;8954:12;;8893:119;8834:6;;:32;:201::i;:::-;:227;;:232::i;:::-;8822:244;;8783:299;9128:13;;-1:-1:-1;;;;;9120:21:0;;;9128:13;;9120:21;:72;;;;-1:-1:-1;9176:15:0;;-1:-1:-1;;;;;9162:30:0;;;9176:15;;9162:30;;9120:72;:116;;;;-1:-1:-1;;;;;;9214:22:0;;;;;;:18;:22;;;;;;;;9213:23;9120:116;9098:701;;;9289:12;;9279:6;:22;;9271:60;;;;-1:-1:-1;;;9271:60:0;;7710:2:1;9271:60:0;;;7692:21:1;7749:2;7729:18;;;7722:30;7788:27;7768:18;;;7761:55;7833:18;;9271:60:0;7508:349:1;9271:60:0;9406:14;;9396:6;9380:13;9390:2;-1:-1:-1;;;;;6890:18:0;6863:7;6890:18;;;:9;:18;;;;;;;6797:119;9380:13;:22;;;;:::i;:::-;:40;;9350:140;;;;-1:-1:-1;;;9350:140:0;;8194:2:1;9350:140:0;;;8176:21:1;8233:2;8213:18;;;8206:30;8272:28;8252:18;;;8245:56;8318:18;;9350:140:0;7992:350:1;9350:140:0;9521:232;9749:3;9521:201;9593:15;;9581:9;;:27;9580:119;;9685:14;;9580:119;;9521:232;9772:9;:11;;9509:244;;-1:-1:-1;9772:9:0;:11;;;:::i;:::-;;;;;;9098:701;9825:13;;-1:-1:-1;;;;;9819:19:0;;;9825:13;;9819:19;:44;;;;-1:-1:-1;;;;;;9842:21:0;;9858:4;9842:21;;9819:44;9815:332;;;9896:235;10127:3;9896:204;9968:16;;9956:9;;:28;9955:122;;10062:15;;9955:122;;;10017:13;;9896:6;;:32;:204::i;:235::-;9884:247;;9815:332;10212:4;10163:28;6890:18;;;:9;:18;;;;;;10256:6;;-1:-1:-1;;;10256:6:0;;;;10255:7;:47;;;;-1:-1:-1;10289:13:0;;-1:-1:-1;;;;;10283:19:0;;;10289:13;;10283:19;10255:47;:79;;;;-1:-1:-1;10323:11:0;;-1:-1:-1;;;10323:11:0;;;;10255:79;:140;;;;;10378:17;;10355:20;:40;10255:140;:191;;;;;10428:18;;10416:9;;:30;10255:191;10233:819;;;10500:13;;10485:12;:28;10481:90;;;10550:1;10538:9;:13;10481:90;10609:1;10597:9;;:13;10589:49;;;;-1:-1:-1;;;10589:49:0;;8689:2:1;10589:49:0;;;8671:21:1;8728:2;8708:18;;;8701:30;8767:25;8747:18;;;8740:53;8810:18;;10589:49:0;8487:347:1;10589:49:0;10657:109;10696:51;10700:6;10708:38;10712:20;10734:11;;10708:3;:38::i;:::-;10696:3;:51::i;:::-;10657:16;:109::i;:::-;10814:21;10858:22;;10854:106;;10905:35;10918:21;10905:12;:35::i;:::-;10978:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;11024:12:0;11008:13;:28;-1:-1:-1;10233:819:0;8768:2295;8730:2333;11079:13;;11075:172;;11154:4;11136:24;;;;:9;:24;;;;;;:39;;11165:9;11136:28;:39::i;:::-;11127:4;11109:24;;;;:9;:24;;;;;;;:66;;;;11195:40;;-1:-1:-1;;;;;11195:40:0;;;;;;;11225:9;1361:25:1;;1349:2;1334:18;;1215:177;11195:40:0;;;;;;;;11075:172;-1:-1:-1;;;;;11275:15:0;;;;;;:9;:15;;;;;;:27;;11295:6;11275:19;:27::i;:::-;-1:-1:-1;;;;;11257:15:0;;;;;;:9;:15;;;;;:45;11329:40;11347:21;:6;11358:9;11347:10;:21::i;:::-;-1:-1:-1;;;;;11329:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;11313:13:0;;;;;;;:9;:13;;;;;:56;;;;11385:41;;;11404:21;:6;11415:9;11404:10;:21::i;:::-;11385:41;;1361:25:1;;;1349:2;1334:18;11385:41:0;;;;;;;8458:2976;8355:3079;;;:::o;1475:224::-;1595:7;1631:12;1623:6;;;;1615:29;;;;-1:-1:-1;;;1615:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1655:9:0;1667:5;1671:1;1667;:5;:::i;:::-;1655:17;1475:224;-1:-1:-1;;;;;1475:224:0:o;11557:483::-;5598:6;:13;;-1:-1:-1;;;;5598:13:0;-1:-1:-1;;;5598:13:0;;;11659:16:::1;::::0;;11673:1:::1;11659:16:::0;;;;;::::1;::::0;;-1:-1:-1;;11659:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;11659:16:0::1;11635:40;;11704:4;11686;11691:1;11686:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11686:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;11730:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;11730:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;11686:7;;11730:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11720:4;11725:1;11720:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11720:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;11795:15:::1;::::0;11763:62:::1;::::0;11780:4:::1;::::0;11795:15:::1;11813:11:::0;11763:8:::1;:62::i;:::-;11836:15;::::0;:196:::1;::::0;-1:-1:-1;;;11836:196:0;;-1:-1:-1;;;;;11836:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;11917:11;;11836:15:::1;::::0;11959:4;;11986::::1;::::0;12006:15:::1;::::0;11836:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5634:6:0;:14;;-1:-1:-1;;;;5634:14:0;;;-1:-1:-1;;;;11557:483:0:o;12214:92::-;12271:10;;:27;;-1:-1:-1;;;;;12271:10:0;;;;:27;;;;;12291:6;;12271:10;:27;:10;:27;12291:6;12271:10;:27;;;;;;;;;;;;;;;;;;;1707:246;1765:7;1789:1;1794;1789:6;1785:47;;-1:-1:-1;1819:1:0;1812:8;;1785:47;1842:9;1854:5;1858:1;1854;:5;:::i;:::-;1842:17;-1:-1:-1;1887:1:0;1878:5;1882:1;1842:17;1878:5;:::i;:::-;:10;1870:56;;;;-1:-1:-1;;;1870:56:0;;10901:2:1;1870:56:0;;;10883:21:1;10940:2;10920:18;;;10913:30;10979:34;10959:18;;;10952:62;-1:-1:-1;;;11030:18:1;;;11023:31;11071:19;;1870:56:0;10699:397:1;1870:56:0;1944:1;1707:246;-1:-1:-1;;;1707:246:0:o;1961:132::-;2019:7;2046:39;2050:1;2053;2046:39;;;;;;;;;;;;;;;;;:3;:39::i;11442:107::-;11499:7;11531:1;11527;:5;11526:15;;11540:1;11526:15;;;-1:-1:-1;11536:1:0;11442:107;-1:-1:-1;11442:107:0:o;1144:179::-;1202:7;;1234:5;1238:1;1234;:5;:::i;:::-;1222:17;;1263:1;1258;:6;;1250:46;;;;-1:-1:-1;;;1250:46:0;;11303:2:1;1250:46:0;;;11285:21:1;11342:2;11322:18;;;11315:30;11381:29;11361:18;;;11354:57;11428:18;;1250:46:0;11101:351:1;1331:136:0;1389:7;1416:43;1420:1;1423;1416:43;;;;;;;;;;;;;;;;;:3;:43::i;2101:223::-;2221:7;2256:12;2249:5;2241:28;;;;-1:-1:-1;;;2241:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2280:9:0;2292:5;2296:1;2292;: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;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;2047:247::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;2214:9;2201:23;2233:31;2258:5;2233:31;:::i;2507:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;2900:180::-;2959:6;3012:2;3000:9;2991:7;2987:23;2983:32;2980:52;;;3028:1;3025;3018:12;2980:52;-1:-1:-1;3051:23:1;;2900:180;-1:-1:-1;2900:180:1:o;3085:127::-;3146:10;3141:3;3137:20;3134:1;3127:31;3177:4;3174:1;3167:15;3201:4;3198:1;3191:15;3217:416;3306:1;3343:5;3306:1;3357:270;3378:7;3368:8;3365:21;3357:270;;;3437:4;3433:1;3429:6;3425:17;3419:4;3416:27;3413:53;;;3446:18;;:::i;:::-;3496:7;3486:8;3482:22;3479:55;;;3516:16;;;;3479:55;3595:22;;;;3555:15;;;;3357:270;;;3361:3;3217:416;;;;;:::o;3638:806::-;3687:5;3717:8;3707:80;;-1:-1:-1;3758:1:1;3772:5;;3707:80;3806:4;3796:76;;-1:-1:-1;3843:1:1;3857:5;;3796:76;3888:4;3906:1;3901:59;;;;3974:1;3969:130;;;;3881:218;;3901:59;3931:1;3922:10;;3945:5;;;3969:130;4006:3;3996:8;3993:17;3990:43;;;4013:18;;:::i;:::-;-1:-1:-1;;4069:1:1;4055:16;;4084:5;;3881:218;;4183:2;4173:8;4170:16;4164:3;4158:4;4155:13;4151:36;4145:2;4135:8;4132:16;4127:2;4121:4;4118:12;4114:35;4111:77;4108:159;;;-1:-1:-1;4220:19:1;;;4252:5;;4108:159;4299:34;4324:8;4318:4;4299:34;:::i;:::-;4369:6;4365:1;4361:6;4357:19;4348:7;4345:32;4342:58;;;4380:18;;:::i;:::-;4418:20;;3638:806;-1:-1:-1;;;3638:806:1:o;4449:140::-;4507:5;4536:47;4577:4;4567:8;4563:19;4557:4;4536:47;:::i;4594:168::-;4667:9;;;4698;;4715:15;;;4709:22;;4695:37;4685:71;;4736:18;;:::i;4767:356::-;4969:2;4951:21;;;4988:18;;;4981:30;5047:34;5042:2;5027:18;;5020:62;5114:2;5099:18;;4767:356::o;7862:125::-;7927:9;;;7948:10;;;7945:36;;;7961:18;;:::i;8347:135::-;8386:3;8407:17;;;8404:43;;8427:18;;:::i;:::-;-1:-1:-1;8474:1:1;8463:13;;8347:135::o;8839:128::-;8906:9;;;8927:11;;;8924:37;;;8941:18;;:::i;9104:127::-;9165:10;9160:3;9156:20;9153:1;9146:31;9196:4;9193:1;9186:15;9220:4;9217:1;9210:15;9236:251;9306:6;9359:2;9347:9;9338:7;9334:23;9330:32;9327:52;;;9375:1;9372;9365:12;9327:52;9407:9;9401:16;9426:31;9451:5;9426:31;:::i;9492:980::-;9754:4;9802:3;9791:9;9787:19;9833:6;9822:9;9815:25;9859:2;9897:6;9892:2;9881:9;9877:18;9870:34;9940:3;9935:2;9924:9;9920:18;9913:31;9964:6;9999;9993:13;10030:6;10022;10015:22;10068:3;10057:9;10053:19;10046:26;;10107:2;10099:6;10095:15;10081:29;;10128:1;10138:195;10152:6;10149:1;10146:13;10138:195;;;10217:13;;-1:-1:-1;;;;;10213:39:1;10201:52;;10308:15;;;;10273:12;;;;10249:1;10167:9;10138:195;;;-1:-1:-1;;;;;;;10389:32:1;;;;10384:2;10369:18;;10362:60;-1:-1:-1;;;10453:3:1;10438:19;10431:35;10350:3;9492:980;-1:-1:-1;;;9492:980:1:o;10477:217::-;10517:1;10543;10533:132;;10587:10;10582:3;10578:20;10575:1;10568:31;10622:4;10619:1;10612:15;10650:4;10647:1;10640:15;10533:132;-1:-1:-1;10679:9:1;;10477:217::o

ipfs://bf6101f02fb9cba6512a60497c9b9f9252d2a6df55306c25d5e838d3b6539fba