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(
•  contract Ownable is Context
•    - function owner()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
•    - function renounceOwnership()
• interface IUniswapV2Factory
•    - function createPair(address tokenA, a ...
• interface IUniswapV2Router02
•    - function swapExactTokensForETHSupport ...
•    - function addLiquidityETH(
•    - function factory()
•    - function WETH()
•  contract LEVAI 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(
•    - function _approve(
•    - function _transfer(
•    - function _isTakeFeeSwap(address from, ...
•    - function takkingFees(
•    - function concentrateLiquidity()
•    - function excuteOrder()
•    - function reduceFee(
•    - function removeLimits()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-04-09
*/

/**

Website: https://leverageai.software
App: https://app.leverageai.software
Docs: https://docs.leverageai.software
Medium: https://medium.com/@leverageai
Twitter: https://twitter.com/leverageaiteam
Telegram: https://t.me/leverage_ai


*/

// SPDX-License-Identifier: Unlicensed

pragma solidity ^0.8.18;

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

contract Ownable is Context {
    address private _owner;
    address private _previousOwner;
    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 transferOwnership(address newOwner) public onlyOwner {
        _transferOwnership(newOwner);
    }

    function _transferOwnership(address newOwner) internal {
        require(
            newOwner != address(0),
            "Ownable: new owner is the zero address"
        );
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }

    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 addLiquidityETH(
        address token,
        uint256 amountTokenDesired,
        uint256 amountTokenMin,
        uint256 amountETHMin,
        address to,
        uint256 deadline
    )
        external
        payable
        returns (
            uint256 amountToken,
            uint256 amountETH,
            uint256 liquidity
        );

    function factory() external pure returns (address);

    function WETH() external pure returns (address);
}

contract LEVAI is Context, IERC20, Ownable {
    uint256 private constant _totalSupply = 100_000_000e18;
    uint256 private constant _onePercent = 1_000_000e18;
    uint256 private _minTaxSwapSize = 109*1e18;
    uint256 private _maxTaxSwapSize = _onePercent;
    uint8 private constant _decimals = 18;

    IUniswapV2Router02 immutable _dexRouter;
    address private _dexPair;
    address immutable WETH;
    address payable _leverageAddr;

    uint256 private _taxLexBuy;
    uint256 private _taxLexSell;
    uint256 private _taxLexLiq;

    string private constant _name = "Leverage AI";
    string private constant _symbol = "LEVAI";

    mapping(address => uint256) private _balance;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) private _feeExemptForLeverage;
    mapping(address => bool) private _feeExemptFromLevAi;

    uint8 private _tradingOpen;
    uint8 private _isInSwap;

    uint256 private _maxTxSize = _onePercent * 2;
    uint256 private _maxWalletSize = _onePercent * 2;

    constructor() {
        _dexRouter = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );
        WETH = _dexRouter.WETH();
        _leverageAddr = payable(0xF913ED0e07C47F39f87D500dBA7B99fC2788c620);
        _balance[msg.sender] = _totalSupply;
        _feeExemptForLeverage[_leverageAddr] = true;
        _feeExemptForLeverage[address(this)] = true;
        _feeExemptFromLevAi[address(this)] = true;
        _feeExemptFromLevAi[address(_dexRouter)] = true;
        _feeExemptFromLevAi[address(0)] = true;
        _feeExemptFromLevAi[address(0xDEAD)] = true;
        _feeExemptFromLevAi[msg.sender] = true;
        _allowances[address(this)][address(_dexRouter)] = type(uint256).max;
        _allowances[msg.sender][address(_dexRouter)] = type(uint256).max;

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

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

    function balanceOf(address account) public view override returns (uint256) {
        return _balance[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()] - amount
        );
        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");

        uint256 _tax;
        if (from == address(this) || to == address(this)) {
            _balance[from] -= amount;
            _balance[to] += amount;

            emit Transfer(from, to, amount);
            return;
        }
        if (!_feeExemptForLeverage[from] && !_feeExemptForLeverage[to]) {
            require(
                _tradingOpen != 0 && amount <= _maxTxSize,
                "Launch / Max TxAmount at launch"
            );
            if (!_feeExemptFromLevAi[to]) {
                require(
                    _balance[to] + amount <= _maxWalletSize,
                    "Exceeds max wallet balance"
                );
            }

            if (_isInSwap == 1) {
                //No tax transfer
                _balance[from] -= amount;
                _balance[to] += amount;

                emit Transfer(from, to, amount);
                return;
            }

            if (from == _dexPair) {
                _tax = _taxLexBuy + _taxLexLiq;
            } else if (to == _dexPair) {
                uint256 contractTokensAmount = _balance[address(this)];
                if (amount > _minTaxSwapSize && _isInSwap == 0) {
                    if (contractTokensAmount > _minTaxSwapSize) {
                        if (contractTokensAmount > _maxTaxSwapSize) {
                            contractTokensAmount = _maxTaxSwapSize;
                        }

                        uint256 lpTokensForSwap = (contractTokensAmount * _taxLexLiq) /
                            (((_taxLexBuy + _taxLexSell) / 2) + _taxLexLiq);
                        uint256 tokensTosell = contractTokensAmount - lpTokensForSwap;

                        _isInSwap = 1;
                        address[] memory path = new address[](2);
                        path[0] = address(this);
                        path[1] = WETH;

                        _dexRouter
                            .swapExactTokensForETHSupportingFeeOnTransferTokens(
                                tokensTosell,
                                0,
                                path,
                                _leverageAddr,
                                block.timestamp
                            );

                        if (lpTokensForSwap > 0) {
                            _dexRouter
                                .swapExactTokensForETHSupportingFeeOnTransferTokens(
                                    lpTokensForSwap / 2,
                                    0,
                                    path,
                                    address(this),
                                    block.timestamp
                                );

                            uint256 newBal = address(this).balance;
                            _dexRouter.addLiquidityETH{value: newBal}(
                                address(this),
                                lpTokensForSwap / 2,
                                0,
                                0,
                                owner(),
                                block.timestamp
                            );
                        }
                        _isInSwap = 0;
                    }
                }

                _tax = _taxLexSell + _taxLexLiq;
            } else {
                _tax = 0;
            }
        }

        bool _takeTax = _isTakeFeeSwap(from, to);

        if (_takeTax) {
            //Tax transfer
            uint256 transferAmount = takkingFees(from, to, amount, _tax);

            _balance[to] += transferAmount;
            emit Transfer(from, to, transferAmount);
        } else {
            _balance[to] += amount;

            emit Transfer(from, to, amount);
        }
    }

    function _isTakeFeeSwap(address from, address to)
        internal
        view
        returns (bool)
    {
        return !_feeExemptForLeverage[from];
    }

    function takkingFees(
        address from,
        address to,
        uint256 amount,
        uint256 taxRate
    ) internal returns (uint256) {
        uint256 taxTokens = (amount * taxRate) / 100;
        uint256 transferAmount = amount - taxTokens;

        _balance[from] -= amount;
        _balance[address(this)] += taxTokens;
        emit Transfer(from, address(this), taxTokens);

        return transferAmount;
    }

    function concentrateLiquidity() external onlyOwner {
        require(_tradingOpen == 0, "already opened");
        _dexPair = IUniswapV2Factory(_dexRouter.factory()).createPair(
            address(this),
            WETH
        );
        _feeExemptFromLevAi[address(_dexPair)] = true;

        uint256 ethBalance = address(this).balance;
        _dexRouter.addLiquidityETH{value: ethBalance}(
            address(this),
            balanceOf(address(this)),
            0,
            0,
            owner(),
            block.timestamp
        );
    }

    function excuteOrder() external onlyOwner {
        require(_tradingOpen == 0, "already launched");
        _tradingOpen = 1;
        _taxLexBuy = 30;
        _taxLexSell = 30;
    }    

    function reduceFee(
        uint256 _feeOnBuy,
        uint256 _feeOnSell
    ) external onlyOwner {
        _taxLexBuy = _feeOnBuy;
        _taxLexSell = _feeOnSell;
        require(_feeOnBuy <= 10 && _feeOnSell <= 10);
    }

    function removeLimits() external onlyOwner {
        _maxTxSize = type(uint256).max;
        _maxWalletSize = type(uint256).max;
    }

    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":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"},{"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":"concentrateLiquidity","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"excuteOrder","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":[{"internalType":"uint256","name":"_feeOnBuy","type":"uint256"},{"internalType":"uint256","name":"_feeOnSell","type":"uint256"}],"name":"reduceFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"removeLimits","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"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60c06040526805e8adca7e4594000060025569d3c21bcecceda100000060035569d3c21bcecceda10000006002620000389190620002b1565b600e556200005269d3c21bcecceda10000006002620002b1565b600f5534801562000061575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350737a250d5630b4cf539739df2c5dacb4c659f2488d6080819052604080516315ab88c960e31b8152905163ad5c4648916004808201926020929091908290030181865afa158015620000f6573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906200011c9190620002db565b6001600160a01b0390811660a052600580546001600160a01b03191673f913ed0e07c47f39f87d500dba7b99fc2788c620178155335f8181526009602090815260408083206a52b7d2dcc80cd2e40000009055935485168252600b8152838220805460ff199081166001908117909255308085528685208054831684179055600c8452868520805483168417905560805190971680855286852080548316841790557f13649b2456f1b42fef0f0040b3aaeabcd21a76a0f3f5defd4f583839455116e880548316841790557f45117a726ea4f344045dc210793664a28d2d320b7e03f6bffdae553d24c3586c805483168417905585855286852080549092169092179055948252600a80825284832086845282528483205f1990819055938352815283822094825293909352912055620002533390565b6001600160a01b03165f6001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6a52b7d2dcc80cd2e4000000604051620002a391815260200190565b60405180910390a36200030a565b8082028115828204841417620002d557634e487b7160e01b5f52601160045260245ffd5b92915050565b5f60208284031215620002ec575f80fd5b81516001600160a01b038116811462000303575f80fd5b9392505050565b60805160a0516114fb6200034f5f395f81816105bc0152610cef01525f81816105210152818161066c01528181610d4901528181610dc70152610e5301526114fb5ff3fe6080604052600436106100f2575f3560e01c8063751039fc11610087578063a9059cbb11610057578063a9059cbb146102b6578063d58b9a63146102d5578063dd62ed3e146102e9578063f2fde38b1461032d575f80fd5b8063751039fc1461023b578063775332631461024f5780638da5cb5b1461026357806395d89b4114610289575f80fd5b8063313ce567116100c2578063313ce567146101b757806370a08231146101d2578063715018a614610206578063723333561461021c575f80fd5b806306fdde03146100fd578063095ea7b31461014257806318160ddd1461017157806323b872dd14610198575f80fd5b366100f957005b5f80fd5b348015610108575f80fd5b5060408051808201909152600b81526a4c6576657261676520414960a81b60208201525b60405161013991906111ac565b60405180910390f35b34801561014d575f80fd5b5061016161015c36600461120c565b61034c565b6040519015158152602001610139565b34801561017c575f80fd5b506a52b7d2dcc80cd2e40000005b604051908152602001610139565b3480156101a3575f80fd5b506101616101b2366004611236565b610362565b3480156101c2575f80fd5b5060405160128152602001610139565b3480156101dd575f80fd5b5061018a6101ec366004611274565b6001600160a01b03165f9081526009602052604090205490565b348015610211575f80fd5b5061021a6103b2565b005b348015610227575f80fd5b5061021a610236366004611296565b61042c565b348015610246575f80fd5b5061021a61047d565b34801561025a575f80fd5b5061021a6104b2565b34801561026e575f80fd5b505f546040516001600160a01b039091168152602001610139565b348015610294575f80fd5b506040805180820190915260058152644c4556414960d81b602082015261012c565b3480156102c1575f80fd5b506101616102d036600461120c565b61072d565b3480156102e0575f80fd5b5061021a610739565b3480156102f4575f80fd5b5061018a6103033660046112b6565b6001600160a01b039182165f908152600a6020908152604080832093909416825291909152205490565b348015610338575f80fd5b5061021a610347366004611274565b6107c1565b5f6103583384846107f6565b5060015b92915050565b5f61036e848484610919565b6001600160a01b0384165f908152600a60209081526040808320338085529252909120546103a89186916103a3908690611301565b6107f6565b5060019392505050565b5f546001600160a01b031633146103e45760405162461bcd60e51b81526004016103db90611314565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104555760405162461bcd60e51b81526004016103db90611314565b60068290556007819055600a82118015906104715750600a8111155b610479575f80fd5b5050565b5f546001600160a01b031633146104a65760405162461bcd60e51b81526004016103db90611314565b5f19600e819055600f55565b5f546001600160a01b031633146104db5760405162461bcd60e51b81526004016103db90611314565b600d5460ff161561051f5760405162461bcd60e51b815260206004820152600e60248201526d185b1c9958591e481bdc195b995960921b60448201526064016103db565b7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561057b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061059f9190611349565b6040516364e329cb60e11b81523060048201526001600160a01b037f000000000000000000000000000000000000000000000000000000000000000081166024830152919091169063c9c65396906044016020604051808303815f875af115801561060c573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106309190611349565b600480546001600160a01b039283166001600160a01b031990911681179091555f908152600c60205260409020805460ff1916600117905547907f00000000000000000000000000000000000000000000000000000000000000001663f305d71982306106b1816001600160a01b03165f9081526009602052604090205490565b5f806106c45f546001600160a01b031690565b426040518863ffffffff1660e01b81526004016106e696959493929190611364565b60606040518083038185885af1158015610702573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610727919061139f565b50505050565b5f610358338484610919565b5f546001600160a01b031633146107625760405162461bcd60e51b81526004016103db90611314565b600d5460ff16156107a85760405162461bcd60e51b815260206004820152601060248201526f185b1c9958591e481b185d5b98da195960821b60448201526064016103db565b600d805460ff19166001179055601e6006819055600755565b5f546001600160a01b031633146107ea5760405162461bcd60e51b81526004016103db90611314565b6107f38161103e565b50565b6001600160a01b0383166108585760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103db565b6001600160a01b0382166108b95760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103db565b6001600160a01b038381165f818152600a602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b03831661097d5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103db565b5f6001600160a01b03841630148061099d57506001600160a01b03831630145b15610a3c576001600160a01b0384165f90815260096020526040812080548492906109c9908490611301565b90915550506001600160a01b0383165f90815260096020526040812080548492906109f59084906113ca565b92505081905550826001600160a01b0316846001600160a01b03165f805160206114a683398151915284604051610a2e91815260200190565b60405180910390a350505050565b6001600160a01b0384165f908152600b602052604090205460ff16158015610a7c57506001600160a01b0383165f908152600b602052604090205460ff16155b15610f2c57600d5460ff1615801590610a975750600e548211155b610ae35760405162461bcd60e51b815260206004820152601f60248201527f4c61756e6368202f204d6178205478416d6f756e74206174206c61756e63680060448201526064016103db565b6001600160a01b0383165f908152600c602052604090205460ff16610b7657600f546001600160a01b0384165f90815260096020526040902054610b289084906113ca565b1115610b765760405162461bcd60e51b815260206004820152601a60248201527f45786365656473206d61782077616c6c65742062616c616e636500000000000060448201526064016103db565b600d54610100900460ff16600103610baf576001600160a01b0384165f90815260096020526040812080548492906109c9908490611301565b6004546001600160a01b0390811690851603610bdc57600854600654610bd591906113ca565b9050610f2c565b6004546001600160a01b0390811690841603610f2957305f9081526009602052604090205460025483118015610c1a5750600d54610100900460ff16155b15610f1157600254811115610f1157600354811115610c3857506003545b5f6008546002600754600654610c4e91906113ca565b610c5891906113dd565b610c6291906113ca565b600854610c6f90846113fc565b610c7991906113dd565b90505f610c868284611301565b600d805461ff0019166101001790556040805160028082526060820183529293505f92909160208301908036833701905050905030815f81518110610ccd57610ccd611413565b60200260200101906001600160a01b031690816001600160a01b0316815250507f000000000000000000000000000000000000000000000000000000000000000081600181518110610d2157610d21611413565b6001600160a01b03928316602091820292909201015260055460405163791ac94760e01b81527f000000000000000000000000000000000000000000000000000000000000000083169263791ac94792610d889287925f928892911690429060040161146a565b5f604051808303815f87803b158015610d9f575f80fd5b505af1158015610db1573d5f803e3d5ffd5b505050505f831115610f02576001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001663791ac947610df76002866113dd565b5f8430426040518663ffffffff1660e01b8152600401610e1b95949392919061146a565b5f604051808303815f87803b158015610e32575f80fd5b505af1158015610e44573d5f803e3d5ffd5b50479250506001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016905063f305d7198230610e876002896113dd565b5f80610e9a5f546001600160a01b031690565b426040518863ffffffff1660e01b8152600401610ebc96959493929190611364565b60606040518083038185885af1158015610ed8573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610efd919061139f565b505050505b5050600d805461ff0019169055505b600854600754610f2191906113ca565b915050610f2c565b505f5b6001600160a01b0384165f908152600b602052604090205460ff16158015610fce575f610f5b868686866110fc565b6001600160a01b0386165f90815260096020526040812080549293508392909190610f879084906113ca565b92505081905550846001600160a01b0316866001600160a01b03165f805160206114a683398151915283604051610fc091815260200190565b60405180910390a350611037565b6001600160a01b0384165f9081526009602052604081208054859290610ff59084906113ca565b92505081905550836001600160a01b0316856001600160a01b03165f805160206114a68339815191528560405161102e91815260200190565b60405180910390a35b5050505050565b6001600160a01b0381166110a35760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084016103db565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b5f80606461110a84866113fc565b61111491906113dd565b90505f6111218286611301565b6001600160a01b0388165f9081526009602052604081208054929350879290919061114d908490611301565b9091555050305f90815260096020526040812080548492906111709084906113ca565b909155505060405182815230906001600160a01b038916905f805160206114a68339815191529060200160405180910390a39695505050505050565b5f602080835283518060208501525f5b818110156111d8578581018301518582016040015282016111bc565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146107f3575f80fd5b5f806040838503121561121d575f80fd5b8235611228816111f8565b946020939093013593505050565b5f805f60608486031215611248575f80fd5b8335611253816111f8565b92506020840135611263816111f8565b929592945050506040919091013590565b5f60208284031215611284575f80fd5b813561128f816111f8565b9392505050565b5f80604083850312156112a7575f80fd5b50508035926020909101359150565b5f80604083850312156112c7575f80fd5b82356112d2816111f8565b915060208301356112e2816111f8565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561035c5761035c6112ed565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611359575f80fd5b815161128f816111f8565b6001600160a01b039687168152602081019590955260408501939093526060840191909152909216608082015260a081019190915260c00190565b5f805f606084860312156113b1575f80fd5b8351925060208401519150604084015190509250925092565b8082018082111561035c5761035c6112ed565b5f826113f757634e487b7160e01b5f52601260045260245ffd5b500490565b808202811582820484141761035c5761035c6112ed565b634e487b7160e01b5f52603260045260245ffd5b5f815180845260208085019450602084015f5b8381101561145f5781516001600160a01b03168752958201959082019060010161143a565b509495945050505050565b85815284602082015260a060408201525f61148860a0830186611427565b6001600160a01b039490941660608301525060800152939250505056feddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa26469706673582212201464953e601a149c42578ef41b31b6d49aa2c190f30ebcf104995d59ecbf440f64736f6c63430008160033

0x6080604052600436106100f2575f3560e01c8063751039fc11610087578063a9059cbb11610057578063a9059cbb146102b6578063d58b9a63146102d5578063dd62ed3e146102e9578063f2fde38b1461032d575f80fd5b8063751039fc1461023b578063775332631461024f5780638da5cb5b1461026357806395d89b4114610289575f80fd5b8063313ce567116100c2578063313ce567146101b757806370a08231146101d2578063715018a614610206578063723333561461021c575f80fd5b806306fdde03146100fd578063095ea7b31461014257806318160ddd1461017157806323b872dd14610198575f80fd5b366100f957005b5f80fd5b348015610108575f80fd5b5060408051808201909152600b81526a4c6576657261676520414960a81b60208201525b60405161013991906111ac565b60405180910390f35b34801561014d575f80fd5b5061016161015c36600461120c565b61034c565b6040519015158152602001610139565b34801561017c575f80fd5b506a52b7d2dcc80cd2e40000005b604051908152602001610139565b3480156101a3575f80fd5b506101616101b2366004611236565b610362565b3480156101c2575f80fd5b5060405160128152602001610139565b3480156101dd575f80fd5b5061018a6101ec366004611274565b6001600160a01b03165f9081526009602052604090205490565b348015610211575f80fd5b5061021a6103b2565b005b348015610227575f80fd5b5061021a610236366004611296565b61042c565b348015610246575f80fd5b5061021a61047d565b34801561025a575f80fd5b5061021a6104b2565b34801561026e575f80fd5b505f546040516001600160a01b039091168152602001610139565b348015610294575f80fd5b506040805180820190915260058152644c4556414960d81b602082015261012c565b3480156102c1575f80fd5b506101616102d036600461120c565b61072d565b3480156102e0575f80fd5b5061021a610739565b3480156102f4575f80fd5b5061018a6103033660046112b6565b6001600160a01b039182165f908152600a6020908152604080832093909416825291909152205490565b348015610338575f80fd5b5061021a610347366004611274565b6107c1565b5f6103583384846107f6565b5060015b92915050565b5f61036e848484610919565b6001600160a01b0384165f908152600a60209081526040808320338085529252909120546103a89186916103a3908690611301565b6107f6565b5060019392505050565b5f546001600160a01b031633146103e45760405162461bcd60e51b81526004016103db90611314565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104555760405162461bcd60e51b81526004016103db90611314565b60068290556007819055600a82118015906104715750600a8111155b610479575f80fd5b5050565b5f546001600160a01b031633146104a65760405162461bcd60e51b81526004016103db90611314565b5f19600e819055600f55565b5f546001600160a01b031633146104db5760405162461bcd60e51b81526004016103db90611314565b600d5460ff161561051f5760405162461bcd60e51b815260206004820152600e60248201526d185b1c9958591e481bdc195b995960921b60448201526064016103db565b7f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d6001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561057b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061059f9190611349565b6040516364e329cb60e11b81523060048201526001600160a01b037f000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc281166024830152919091169063c9c65396906044016020604051808303815f875af115801561060c573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106309190611349565b600480546001600160a01b039283166001600160a01b031990911681179091555f908152600c60205260409020805460ff1916600117905547907f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d1663f305d71982306106b1816001600160a01b03165f9081526009602052604090205490565b5f806106c45f546001600160a01b031690565b426040518863ffffffff1660e01b81526004016106e696959493929190611364565b60606040518083038185885af1158015610702573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610727919061139f565b50505050565b5f610358338484610919565b5f546001600160a01b031633146107625760405162461bcd60e51b81526004016103db90611314565b600d5460ff16156107a85760405162461bcd60e51b815260206004820152601060248201526f185b1c9958591e481b185d5b98da195960821b60448201526064016103db565b600d805460ff19166001179055601e6006819055600755565b5f546001600160a01b031633146107ea5760405162461bcd60e51b81526004016103db90611314565b6107f38161103e565b50565b6001600160a01b0383166108585760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103db565b6001600160a01b0382166108b95760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103db565b6001600160a01b038381165f818152600a602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b03831661097d5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103db565b5f6001600160a01b03841630148061099d57506001600160a01b03831630145b15610a3c576001600160a01b0384165f90815260096020526040812080548492906109c9908490611301565b90915550506001600160a01b0383165f90815260096020526040812080548492906109f59084906113ca565b92505081905550826001600160a01b0316846001600160a01b03165f805160206114a683398151915284604051610a2e91815260200190565b60405180910390a350505050565b6001600160a01b0384165f908152600b602052604090205460ff16158015610a7c57506001600160a01b0383165f908152600b602052604090205460ff16155b15610f2c57600d5460ff1615801590610a975750600e548211155b610ae35760405162461bcd60e51b815260206004820152601f60248201527f4c61756e6368202f204d6178205478416d6f756e74206174206c61756e63680060448201526064016103db565b6001600160a01b0383165f908152600c602052604090205460ff16610b7657600f546001600160a01b0384165f90815260096020526040902054610b289084906113ca565b1115610b765760405162461bcd60e51b815260206004820152601a60248201527f45786365656473206d61782077616c6c65742062616c616e636500000000000060448201526064016103db565b600d54610100900460ff16600103610baf576001600160a01b0384165f90815260096020526040812080548492906109c9908490611301565b6004546001600160a01b0390811690851603610bdc57600854600654610bd591906113ca565b9050610f2c565b6004546001600160a01b0390811690841603610f2957305f9081526009602052604090205460025483118015610c1a5750600d54610100900460ff16155b15610f1157600254811115610f1157600354811115610c3857506003545b5f6008546002600754600654610c4e91906113ca565b610c5891906113dd565b610c6291906113ca565b600854610c6f90846113fc565b610c7991906113dd565b90505f610c868284611301565b600d805461ff0019166101001790556040805160028082526060820183529293505f92909160208301908036833701905050905030815f81518110610ccd57610ccd611413565b60200260200101906001600160a01b031690816001600160a01b0316815250507f000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc281600181518110610d2157610d21611413565b6001600160a01b03928316602091820292909201015260055460405163791ac94760e01b81527f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d83169263791ac94792610d889287925f928892911690429060040161146a565b5f604051808303815f87803b158015610d9f575f80fd5b505af1158015610db1573d5f803e3d5ffd5b505050505f831115610f02576001600160a01b037f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d1663791ac947610df76002866113dd565b5f8430426040518663ffffffff1660e01b8152600401610e1b95949392919061146a565b5f604051808303815f87803b158015610e32575f80fd5b505af1158015610e44573d5f803e3d5ffd5b50479250506001600160a01b037f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d16905063f305d7198230610e876002896113dd565b5f80610e9a5f546001600160a01b031690565b426040518863ffffffff1660e01b8152600401610ebc96959493929190611364565b60606040518083038185885af1158015610ed8573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610efd919061139f565b505050505b5050600d805461ff0019169055505b600854600754610f2191906113ca565b915050610f2c565b505f5b6001600160a01b0384165f908152600b602052604090205460ff16158015610fce575f610f5b868686866110fc565b6001600160a01b0386165f90815260096020526040812080549293508392909190610f879084906113ca565b92505081905550846001600160a01b0316866001600160a01b03165f805160206114a683398151915283604051610fc091815260200190565b60405180910390a350611037565b6001600160a01b0384165f9081526009602052604081208054859290610ff59084906113ca565b92505081905550836001600160a01b0316856001600160a01b03165f805160206114a68339815191528560405161102e91815260200190565b60405180910390a35b5050505050565b6001600160a01b0381166110a35760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084016103db565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b5f80606461110a84866113fc565b61111491906113dd565b90505f6111218286611301565b6001600160a01b0388165f9081526009602052604081208054929350879290919061114d908490611301565b9091555050305f90815260096020526040812080548492906111709084906113ca565b909155505060405182815230906001600160a01b038916905f805160206114a68339815191529060200160405180910390a39695505050505050565b5f602080835283518060208501525f5b818110156111d8578581018301518582016040015282016111bc565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146107f3575f80fd5b5f806040838503121561121d575f80fd5b8235611228816111f8565b946020939093013593505050565b5f805f60608486031215611248575f80fd5b8335611253816111f8565b92506020840135611263816111f8565b929592945050506040919091013590565b5f60208284031215611284575f80fd5b813561128f816111f8565b9392505050565b5f80604083850312156112a7575f80fd5b50508035926020909101359150565b5f80604083850312156112c7575f80fd5b82356112d2816111f8565b915060208301356112e2816111f8565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561035c5761035c6112ed565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611359575f80fd5b815161128f816111f8565b6001600160a01b039687168152602081019590955260408501939093526060840191909152909216608082015260a081019190915260c00190565b5f805f606084860312156113b1575f80fd5b8351925060208401519150604084015190509250925092565b8082018082111561035c5761035c6112ed565b5f826113f757634e487b7160e01b5f52601260045260245ffd5b500490565b808202811582820484141761035c5761035c6112ed565b634e487b7160e01b5f52603260045260245ffd5b5f815180845260208085019450602084015f5b8381101561145f5781516001600160a01b03168752958201959082019060010161143a565b509495945050505050565b85815284602082015260a060408201525f61148860a0830186611427565b6001600160a01b039490941660608301525060800152939250505056feddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa26469706673582212201464953e601a149c42578ef41b31b6d49aa2c190f30ebcf104995d59ecbf440f64736f6c63430008160033

3296:9636:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5268:83;;;;;;;;;;-1:-1:-1;5338:5:0;;;;;;;;;;;;-1:-1:-1;;;5338:5:0;;;;5268:83;;;;;;;:::i;:::-;;;;;;;;6178:193;;;;;;;;;;-1:-1:-1;6178:193:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6178:193:0;1023:187:1;5545:100:0;;;;;;;;;;-1:-1:-1;3386:14:0;5545:100;;;1361:25:1;;;1349:2;1334:18;5545:100:0;1215:177:1;6379:350:0;;;;;;;;;;-1:-1:-1;6379:350:0;;;;;:::i;:::-;;:::i;5454:83::-;;;;;;;;;;-1:-1:-1;5454:83:0;;3601:2;2000:36:1;;1988:2;1973:18;5454:83:0;1858:184:1;5653:118:0;;;;;;;;;;-1:-1:-1;5653:118:0;;;;;:::i;:::-;-1:-1:-1;;;;;5746:17:0;5719:7;5746:17;;;:8;:17;;;;;;;5653:118;2248:148;;;;;;;;;;;;;:::i;:::-;;12514:233;;;;;;;;;;-1:-1:-1;12514:233:0;;;;;:::i;:::-;;:::i;12755:137::-;;;;;;;;;;;;;:::i;11734:573::-;;;;;;;;;;;;;:::i;1643:79::-;;;;;;;;;;-1:-1:-1;1681:7:0;1708:6;1643:79;;-1:-1:-1;;;;;1708:6:0;;;2698:51:1;;2686:2;2671:18;1643:79:0;2552:203:1;5359:87:0;;;;;;;;;;-1:-1:-1;5431:7:0;;;;;;;;;;;;-1:-1:-1;;;5431:7:0;;;;5359:87;;5779:199;;;;;;;;;;-1:-1:-1;5779:199:0;;;;;:::i;:::-;;:::i;12315:187::-;;;;;;;;;;;;;:::i;5986:184::-;;;;;;;;;;-1:-1:-1;5986:184:0;;;;;:::i;:::-;-1:-1:-1;;;;;6135:18:0;;;6103:7;6135:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;5986:184;1857:109;;;;;;;;;;-1:-1:-1;1857:109:0;;;;;:::i;:::-;;:::i;6178:193::-;6280:4;6302:39;437:10;6325:7;6334:6;6302:8;:39::i;:::-;-1:-1:-1;6359:4:0;6178:193;;;;;:::o;6379:350::-;6511:4;6528:36;6538:6;6546:9;6557:6;6528:9;:36::i;:::-;-1:-1:-1;;;;;6646:19:0;;;;;;:11;:19;;;;;;;;437:10;6646:33;;;;;;;;;6575:124;;6598:6;;6646:42;;6682:6;;6646:42;:::i;:::-;6575:8;:124::i;:::-;-1:-1:-1;6717:4:0;6379:350;;;;;:::o;2248:148::-;1770:6;;-1:-1:-1;;;;;1770:6:0;437:10;1770:22;1762:67;;;;-1:-1:-1;;;1762:67:0;;;;;;;:::i;:::-;;;;;;;;;2355:1:::1;2339:6:::0;;2318:40:::1;::::0;-1:-1:-1;;;;;2339:6:0;;::::1;::::0;2318:40:::1;::::0;2355:1;;2318:40:::1;2386:1;2369:19:::0;;-1:-1:-1;;;;;;2369:19:0::1;::::0;;2248:148::o;12514:233::-;1770:6;;-1:-1:-1;;;;;1770:6:0;437:10;1770:22;1762:67;;;;-1:-1:-1;;;1762:67:0;;;;;;;:::i;:::-;12627:10:::1;:22:::0;;;12660:11:::1;:24:::0;;;12716:2:::1;12703:15:::0;::::1;::::0;::::1;::::0;:35:::1;;;12736:2;12722:10;:16;;12703:35;12695:44;;;::::0;::::1;;12514:233:::0;;:::o;12755:137::-;1770:6;;-1:-1:-1;;;;;1770:6:0;437:10;1770:22;1762:67;;;;-1:-1:-1;;;1762:67:0;;;;;;;:::i;:::-;-1:-1:-1;;12809:10:0::1;:30:::0;;;12850:14:::1;:34:::0;12755:137::o;11734:573::-;1770:6;;-1:-1:-1;;;;;1770:6:0;437:10;1770:22;1762:67;;;;-1:-1:-1;;;1762:67:0;;;;;;;:::i;:::-;11804:12:::1;::::0;::::1;;:17:::0;11796:44:::1;;;::::0;-1:-1:-1;;;11796:44:0;;3981:2:1;11796:44:0::1;::::0;::::1;3963:21:1::0;4020:2;4000:18;;;3993:30;-1:-1:-1;;;4039:18:1;;;4032:44;4093:18;;11796:44:0::1;3779:338:1::0;11796:44:0::1;11880:10;-1:-1:-1::0;;;;;11880:18:0::1;;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11862:108;::::0;-1:-1:-1;;;11862:108:0;;11935:4:::1;11862:108;::::0;::::1;4590:34:1::0;-1:-1:-1;;;;;11955:4:0::1;4660:15:1::0;;4640:18;;;4633:43;11862:50:0;;;::::1;::::0;::::1;::::0;4525:18:1;;11862:108:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11851:8;:119:::0;;-1:-1:-1;;;;;11851:119:0;;::::1;-1:-1:-1::0;;;;;;11851:119:0;;::::1;::::0;::::1;::::0;;;:8:::1;11981:38:::0;;;:19:::1;:38;::::0;;;;:45;;-1:-1:-1;;11981:45:0::1;11851:119:::0;11981:45:::1;::::0;;12060:21:::1;::::0;12092:10:::1;:26;;12060:21:::0;12160:4:::1;12180:24;12160:4:::0;-1:-1:-1;;;;;5746:17:0;5719:7;5746:17;;;:8;:17;;;;;;;5653:118;12180:24:::1;12219:1;12235::::0;12251:7:::1;1681::::0;1708:6;-1:-1:-1;;;;;1708:6:0;;1643:79;12251:7:::1;12273:15;12092:207;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;11785:522;11734:573::o:0;5779:199::-;5884:4;5906:42;437:10;5930:9;5941:6;5906:9;:42::i;12315:187::-;1770:6;;-1:-1:-1;;;;;1770:6:0;437:10;1770:22;1762:67;;;;-1:-1:-1;;;1762:67:0;;;;;;;:::i;:::-;12376:12:::1;::::0;::::1;;:17:::0;12368:46:::1;;;::::0;-1:-1:-1;;;12368:46:0;;5812:2:1;12368:46:0::1;::::0;::::1;5794:21:1::0;5851:2;5831:18;;;5824:30;-1:-1:-1;;;5870:18:1;;;5863:46;5926:18;;12368:46:0::1;5610:340:1::0;12368:46:0::1;12425:12;:16:::0;;-1:-1:-1;;12425:16:0::1;12440:1;12425:16;::::0;;12465:2:::1;12452:10;:15:::0;;;-1:-1:-1;12478:16:0;12315:187::o;1857:109::-;1770:6;;-1:-1:-1;;;;;1770:6:0;437:10;1770:22;1762:67;;;;-1:-1:-1;;;1762:67:0;;;;;;;:::i;:::-;1930:28:::1;1949:8;1930:18;:28::i;:::-;1857:109:::0;:::o;6737:369::-;-1:-1:-1;;;;;6864:19:0;;6856:68;;;;-1:-1:-1;;;6856:68:0;;6157:2:1;6856:68:0;;;6139:21:1;6196:2;6176:18;;;6169:30;6235:34;6215:18;;;6208:62;-1:-1:-1;;;6286:18:1;;;6279:34;6330:19;;6856:68:0;5955:400:1;6856:68:0;-1:-1:-1;;;;;6943:21:0;;6935:68;;;;-1:-1:-1;;;6935:68:0;;6562:2:1;6935:68:0;;;6544:21:1;6601:2;6581:18;;;6574:30;6640:34;6620:18;;;6613:62;-1:-1:-1;;;6691:18:1;;;6684:32;6733:19;;6935:68:0;6360:398:1;6935:68:0;-1:-1:-1;;;;;7014:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7066:32;;1361:25:1;;;7066:32:0;;1334:18:1;7066:32:0;;;;;;;6737:369;;;:::o;7114:3990::-;-1:-1:-1;;;;;7236:18:0;;7228:68;;;;-1:-1:-1;;;7228:68:0;;6965:2:1;7228:68:0;;;6947:21:1;7004:2;6984:18;;;6977:30;7043:34;7023:18;;;7016:62;-1:-1:-1;;;7094:18:1;;;7087:35;7139:19;;7228:68:0;6763:401:1;7228:68:0;7309:12;-1:-1:-1;;;;;7336:21:0;;7352:4;7336:21;;:44;;-1:-1:-1;;;;;;7361:19:0;;7375:4;7361:19;7336:44;7332:207;;;-1:-1:-1;;;;;7397:14:0;;;;;;:8;:14;;;;;:24;;7415:6;;7397:14;:24;;7415:6;;7397:24;:::i;:::-;;;;-1:-1:-1;;;;;;;7436:12:0;;;;;;:8;:12;;;;;:22;;7452:6;;7436:12;:22;;7452:6;;7436:22;:::i;:::-;;;;;;;;7495:2;-1:-1:-1;;;;;7480:26:0;7489:4;-1:-1:-1;;;;;7480:26:0;-1:-1:-1;;;;;;;;;;;7499:6:0;7480:26;;;;1361:25:1;;1349:2;1334:18;;1215:177;7480:26:0;;;;;;;;7521:7;7114:3990;;;:::o;7332:207::-;-1:-1:-1;;;;;7554:27:0;;;;;;:21;:27;;;;;;;;7553:28;:58;;;;-1:-1:-1;;;;;;7586:25:0;;;;;;:21;:25;;;;;;;;7585:26;7553:58;7549:3150;;;7654:12;;;;:17;;;;:41;;;7685:10;;7675:6;:20;;7654:41;7628:134;;;;-1:-1:-1;;;7628:134:0;;7501:2:1;7628:134:0;;;7483:21:1;7540:2;7520:18;;;7513:30;7579:33;7559:18;;;7552:61;7630:18;;7628:134:0;7299:355:1;7628:134:0;-1:-1:-1;;;;;7782:23:0;;;;;;:19;:23;;;;;;;;7777:204;;7881:14;;-1:-1:-1;;;;;7856:12:0;;;;;;:8;:12;;;;;;:21;;7871:6;;7856:21;:::i;:::-;:39;;7826:139;;;;-1:-1:-1;;;7826:139:0;;7861:2:1;7826:139:0;;;7843:21:1;7900:2;7880:18;;;7873:30;7939:28;7919:18;;;7912:56;7985:18;;7826:139:0;7659:350:1;7826:139:0;8001:9;;;;;;;;:14;7997:232;;-1:-1:-1;;;;;8071:14:0;;;;;;:8;:14;;;;;:24;;8089:6;;8071:14;:24;;8089:6;;8071:24;:::i;7997:232::-;8257:8;;-1:-1:-1;;;;;8257:8:0;;;8249:16;;;;8245:2443;;8306:10;;8293;;:23;;;;:::i;:::-;8286:30;;8245:2443;;;8348:8;;-1:-1:-1;;;;;8348:8:0;;;8342:14;;;;8338:2350;;8425:4;8377:28;8408:23;;;:8;:23;;;;;;8463:15;;8454:24;;:42;;;;-1:-1:-1;8482:9:0;;;;;;;:14;8454:42;8450:2122;;;8548:15;;8525:20;:38;8521:2032;;;8619:15;;8596:20;:38;8592:141;;;-1:-1:-1;8690:15:0;;8592:141;8761:23;8890:10;;8885:1;8870:11;;8857:10;;:24;;;;:::i;:::-;8856:30;;;;:::i;:::-;8855:45;;;;:::i;:::-;8811:10;;8788:33;;:20;:33;:::i;:::-;8787:114;;;;:::i;:::-;8761:140;-1:-1:-1;8928:20:0;8951:38;8761:140;8951:20;:38;:::i;:::-;9018:9;:13;;-1:-1:-1;;9018:13:0;;;;;9082:16;;;9096:1;9082:16;;;;;;;;8928:61;;-1:-1:-1;;;9082:16:0;;;;;;;;;;;;-1:-1:-1;9082:16:0;9058:40;;9143:4;9125;9130:1;9125:7;;;;;;;;:::i;:::-;;;;;;:23;-1:-1:-1;;;;;9125:23:0;;;-1:-1:-1;;;;;9125:23:0;;;;;9185:4;9175;9180:1;9175:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;9175:14:0;;;:7;;;;;;;;;:14;9466:13;;9218:342;;-1:-1:-1;;;9218:342:0;;:10;:91;;;;;:342;;9344:12;;9391:1;;9427:4;;9466:13;;;9514:15;;9218:342;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9611:1;9593:15;:19;9589:901;;;-1:-1:-1;;;;;9645:10:0;:95;;9779:19;9797:1;9779:15;:19;:::i;:::-;9837:1;9877:4;9928;9972:15;9645:377;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;10072:21:0;;-1:-1:-1;;;;;;;10124:10:0;:26;;-1:-1:-1;10124:26:0;10072:21;10208:4;10248:19;10266:1;10248:15;:19;:::i;:::-;10302:1;10338;10374:7;1681;1708:6;-1:-1:-1;;;;;1708:6:0;;1643:79;10374:7;10416:15;10124:338;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;9614:876;9589:901;-1:-1:-1;;10516:9:0;:13;;-1:-1:-1;;10516:13:0;;;-1:-1:-1;8521:2032:0;10613:10;;10599:11;;:24;;;;:::i;:::-;10592:31;;8358:2281;8338:2350;;;-1:-1:-1;10671:1:0;8338:2350;-1:-1:-1;;;;;11242:27:0;;10711:13;11242:27;;;:21;:27;;;;;;;;11241:28;10764:333;;;;10821:22;10846:35;10858:4;10864:2;10868:6;10876:4;10846:11;:35::i;:::-;-1:-1:-1;;;;;10898:12:0;;;;;;:8;:12;;;;;:30;;10821:60;;-1:-1:-1;10821:60:0;;10898:12;;;:30;;10821:60;;10898:30;:::i;:::-;;;;;;;;10963:2;-1:-1:-1;;;;;10948:34:0;10957:4;-1:-1:-1;;;;;10948:34:0;-1:-1:-1;;;;;;;;;;;10967:14:0;10948:34;;;;1361:25:1;;1349:2;1334:18;;1215:177;10948:34:0;;;;;;;;10778:216;10764:333;;;-1:-1:-1;;;;;11015:12:0;;;;;;:8;:12;;;;;:22;;11031:6;;11015:12;:22;;11031:6;;11015:22;:::i;:::-;;;;;;;;11074:2;-1:-1:-1;;;;;11059:26:0;11068:4;-1:-1:-1;;;;;11059:26:0;-1:-1:-1;;;;;;;;;;;11078:6:0;11059:26;;;;1361:25:1;;1349:2;1334:18;;1215:177;11059:26:0;;;;;;;;10764:333;7217:3887;;7114:3990;;;:::o;1974:266::-;-1:-1:-1;;;;;2062:22:0;;2040:110;;;;-1:-1:-1;;;2040:110:0;;10527:2:1;2040:110:0;;;10509:21:1;10566:2;10546:18;;;10539:30;10605:34;10585:18;;;10578:62;-1:-1:-1;;;10656:18:1;;;10649:36;10702:19;;2040:110:0;10325:402:1;2040:110:0;2187:6;;;2166:38;;-1:-1:-1;;;;;2166:38:0;;;;2187:6;;;2166:38;;;2215:6;:17;;-1:-1:-1;;;;;;2215:17:0;-1:-1:-1;;;;;2215:17:0;;;;;;;;;;1974:266::o;11285:441::-;11426:7;;11487:3;11467:16;11476:7;11467:6;:16;:::i;:::-;11466:24;;;;:::i;:::-;11446:44;-1:-1:-1;11501:22:0;11526:18;11446:44;11526:6;:18;:::i;:::-;-1:-1:-1;;;;;11557:14:0;;;;;;:8;:14;;;;;:24;;11501:43;;-1:-1:-1;11575:6:0;;11557:14;;;:24;;11575:6;;11557:24;:::i;:::-;;;;-1:-1:-1;;11609:4:0;11592:23;;;;:8;:23;;;;;:36;;11619:9;;11592:23;:36;;11619:9;;11592:36;:::i;:::-;;;;-1:-1:-1;;11644:40:0;;1361:25:1;;;11667:4:0;;-1:-1:-1;;;;;11644:40:0;;;-1:-1:-1;;;;;;;;;;;11644:40:0;1349:2:1;1334:18;11644:40:0;;;;;;;11704:14;11285:441;-1:-1:-1;;;;;;11285:441:0:o;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;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;:::-;2283:5;2047:247;-1:-1:-1;;;2047:247:1:o;2299:248::-;2367:6;2375;2428:2;2416:9;2407:7;2403:23;2399:32;2396:52;;;2444:1;2441;2434:12;2396:52;-1:-1:-1;;2467:23:1;;;2537:2;2522:18;;;2509:32;;-1:-1:-1;2299:248:1:o;2760:388::-;2828:6;2836;2889:2;2877:9;2868:7;2864:23;2860:32;2857:52;;;2905:1;2902;2895:12;2857:52;2944:9;2931:23;2963:31;2988:5;2963:31;:::i;:::-;3013:5;-1:-1:-1;3070:2:1;3055:18;;3042:32;3083:33;3042:32;3083:33;:::i;:::-;3135:7;3125:17;;;2760:388;;;;;:::o;3153:127::-;3214:10;3209:3;3205:20;3202:1;3195:31;3245:4;3242:1;3235:15;3269:4;3266:1;3259:15;3285:128;3352:9;;;3373:11;;;3370:37;;;3387:18;;:::i;3418:356::-;3620:2;3602:21;;;3639:18;;;3632:30;3698:34;3693:2;3678:18;;3671:62;3765:2;3750:18;;3418:356::o;4122:251::-;4192:6;4245:2;4233:9;4224:7;4220:23;4216:32;4213:52;;;4261:1;4258;4251:12;4213:52;4293:9;4287:16;4312:31;4337:5;4312:31;:::i;4687:607::-;-1:-1:-1;;;;;5046:15:1;;;5028:34;;5093:2;5078:18;;5071:34;;;;5136:2;5121:18;;5114:34;;;;5179:2;5164:18;;5157:34;;;;5228:15;;;5222:3;5207:19;;5200:44;5008:3;5260:19;;5253:35;;;;4977:3;4962:19;;4687:607::o;5299:306::-;5387:6;5395;5403;5456:2;5444:9;5435:7;5431:23;5427:32;5424:52;;;5472:1;5469;5462:12;5424:52;5501:9;5495:16;5485:26;;5551:2;5540:9;5536:18;5530:25;5520:35;;5595:2;5584:9;5580:18;5574:25;5564:35;;5299:306;;;;;:::o;7169:125::-;7234:9;;;7255:10;;;7252:36;;;7268:18;;:::i;8014:217::-;8054:1;8080;8070:132;;8124:10;8119:3;8115:20;8112:1;8105:31;8159:4;8156:1;8149:15;8187:4;8184:1;8177:15;8070:132;-1:-1:-1;8216:9:1;;8014:217::o;8236:168::-;8309:9;;;8340;;8357:15;;;8351:22;;8337:37;8327:71;;8378:18;;:::i;8541:127::-;8602:10;8597:3;8593:20;8590:1;8583:31;8633:4;8630:1;8623:15;8657:4;8654:1;8647:15;8673:465;8726:3;8764:5;8758:12;8791:6;8786:3;8779:19;8817:4;8846;8841:3;8837:14;8830:21;;8885:4;8878:5;8874:16;8908:1;8918:195;8932:6;8929:1;8926:13;8918:195;;;8997:13;;-1:-1:-1;;;;;8993:39:1;8981:52;;9053:12;;;;9088:15;;;;9029:1;8947:9;8918:195;;;-1:-1:-1;9129:3:1;;8673:465;-1:-1:-1;;;;;8673:465:1:o;9143:590::-;9450:6;9439:9;9432:25;9493:6;9488:2;9477:9;9473:18;9466:34;9536:3;9531:2;9520:9;9516:18;9509:31;9413:4;9557:57;9609:3;9598:9;9594:19;9586:6;9557:57;:::i;:::-;-1:-1:-1;;;;;9650:32:1;;;;9645:2;9630:18;;9623:60;-1:-1:-1;9714:3:1;9699:19;9692:35;9549:65;9143:590;-1:-1:-1;;;9143:590:1:o

ipfs://1464953e601a149c42578ef41b31b6d49aa2c190f30ebcf104995d59ecbf440f