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-03-31
*/

/**

Website: https://butterflyai.tech
App: https://app.butterflyai.tech
Docs: https://docs.butterflyai.tech
Medium: https://medium.com/@butterflyaitech
Twitter: https://twitter.com/butterflyaitech
Telegram: https://t.me/butterflyaitech


*/

// SPDX-License-Identifier: Unlicensed

pragma solidity ^0.8.17;

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 BUTAI is Context, IERC20, Ownable {
    uint256 private constant _totalSupply = 100_000_000e18;
    uint256 private constant _onePercent = 1_000_000e18;
    uint256 private _minTaxSwapSize = 121*1e18;
    uint256 private _maxTaxSwapSize = _onePercent;
    uint8 private constant _decimals = 18;

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

    uint256 private _taxButterflyBuy;
    uint256 private _taxButterflySell;
    uint256 private _taxButterflyLiq;

    uint8 private _tradingOpen;
    uint8 private _isInSwap;

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

    string private constant _name = "Butterfly AI";
    string private constant _symbol = "BUTAI";

    mapping(address => uint256) private _balance;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) private _isExemptButterfly;
    mapping(address => bool) private _isExemptBUTAI;

    constructor() {
        _dexRouter = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );
        WETH = _dexRouter.WETH();
        _butterflyReceiver = payable(0xc900349B8cfa75F1caD64E8Dbc87E9158110A7DE);
        _balance[msg.sender] = _totalSupply;
        _isExemptButterfly[_butterflyReceiver] = true;
        _isExemptButterfly[address(this)] = true;
        _isExemptBUTAI[address(this)] = true;
        _isExemptBUTAI[address(_dexRouter)] = true;
        _isExemptBUTAI[address(0)] = true;
        _isExemptBUTAI[address(0xDEAD)] = true;
        _isExemptBUTAI[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 (!_isExemptButterfly[from] && !_isExemptButterfly[to]) {
            require(
                _tradingOpen != 0 && amount <= _maxTradeSize,
                "Launch / Max TxAmount at launch"
            );
            if (!_isExemptBUTAI[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 = _taxButterflyBuy + _taxButterflyLiq;
            } else if (to == _dexPair) {
                uint256 tokensInContract = _balance[address(this)];
                if (amount > _minTaxSwapSize && _isInSwap == 0) {
                    if (tokensInContract > _minTaxSwapSize) {
                        if (tokensInContract > _maxTaxSwapSize) {
                            tokensInContract = _maxTaxSwapSize;
                        }

                        uint256 lpTokensForSwap = (tokensInContract * _taxButterflyLiq) /
                            (((_taxButterflyBuy + _taxButterflySell) / 2) + _taxButterflyLiq);
                        uint256 tokensTosell = tokensInContract - lpTokensForSwap;

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

                        _dexRouter
                            .swapExactTokensForETHSupportingFeeOnTransferTokens(
                                tokensTosell,
                                0,
                                path,
                                _butterflyReceiver,
                                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 = _taxButterflySell + _taxButterflyLiq;
            } 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 !_isExemptButterfly[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 startFly() external onlyOwner {
        require(_tradingOpen == 0, "already launched");
        _tradingOpen = 1;
        _taxButterflyBuy = 30;
        _taxButterflySell = 30;
    }

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

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

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

    function setFees(
        uint256 _feeOnBuy,
        uint256 _feeOnSell
    ) external onlyOwner {
        _taxButterflyBuy = _feeOnBuy;
        _taxButterflySell = _feeOnSell;
        require(_feeOnBuy <= 10 && _feeOnSell <= 10);
    }

    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":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"perpetualButterfly","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_feeOnBuy","type":"uint256"},{"internalType":"uint256","name":"_feeOnSell","type":"uint256"}],"name":"setFees","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"startFly","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"}]

60c060405268068f365aea1e44000060025569d3c21bcecceda100000060035569d3c21bcecceda10000006002620000389190620002b1565b600a556200005269d3c21bcecceda10000006002620002b1565b600b5534801562000061575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350737a250d5630b4cf539739df2c5dacb4c659f2488d6080819052604080516315ab88c960e31b8152905163ad5c4648916004808201926020929091908290030181865afa158015620000f6573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906200011c9190620002db565b6001600160a01b0390811660a052600580546001600160a01b03191673c900349b8cfa75f1cad64e8dbc87e9158110a7de178155335f818152600c602090815260408083206a52b7d2dcc80cd2e40000009055935485168252600e8152838220805460ff199081166001908117909255308085528685208054831684179055600f8452868520805483168417905560805190971680855286852080548316841790557ff4803e074bd026baaf6ed2e288c9515f68c72fb7216eebdd7cae1718a53ec37580548316841790557f99629f56119585bf27511b6b7d295dffb54757453fcc3dabcf51d92028301f10805483168417905585855286852080549092169092179055948252600d80825284832086845282528483205f1990819055938352815283822094825293909352912055620002533390565b6001600160a01b03165f6001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6a52b7d2dcc80cd2e4000000604051620002a391815260200190565b60405180910390a36200030a565b8082028115828204841417620002d557634e487b7160e01b5f52601160045260245ffd5b92915050565b5f60208284031215620002ec575f80fd5b81516001600160a01b038116811462000303575f80fd5b9392505050565b60805160a0516114fc6200034f5f395f818161059f0152610cf001525f81816105040152818161064f01528181610d4a01528181610dc80152610e5401526114fc5ff3fe6080604052600436106100f2575f3560e01c806370a082311161008757806395d89b411161005757806395d89b411461029e578063a9059cbb146102cb578063dd62ed3e146102ea578063f2fde38b1461032e575f80fd5b806370a082311461021c578063715018a614610250578063751039fc146102645780638da5cb5b14610278575f80fd5b806323b872dd116100c257806323b872dd146101ba5780632efb89b4146101d9578063313ce567146101ed57806366aea51a14610208575f80fd5b806306fdde03146100fd578063095ea7b3146101435780630b78f9c01461017257806318160ddd14610193575f80fd5b366100f957005b5f80fd5b348015610108575f80fd5b5060408051808201909152600c81526b427574746572666c7920414960a01b60208201525b60405161013a91906111ad565b60405180910390f35b34801561014e575f80fd5b5061016261015d36600461120d565b61034d565b604051901515815260200161013a565b34801561017d575f80fd5b5061019161018c366004611237565b610363565b005b34801561019e575f80fd5b506a52b7d2dcc80cd2e40000005b60405190815260200161013a565b3480156101c5575f80fd5b506101626101d4366004611257565b6103bd565b3480156101e4575f80fd5b5061019161040d565b3480156101f8575f80fd5b506040516012815260200161013a565b348015610213575f80fd5b50610191610495565b348015610227575f80fd5b506101ac610236366004611295565b6001600160a01b03165f908152600c602052604090205490565b34801561025b575f80fd5b50610191610710565b34801561026f575f80fd5b50610191610781565b348015610283575f80fd5b505f546040516001600160a01b03909116815260200161013a565b3480156102a9575f80fd5b50604080518082019091526005815264425554414960d81b602082015261012d565b3480156102d6575f80fd5b506101626102e536600461120d565b6107b6565b3480156102f5575f80fd5b506101ac6103043660046112b7565b6001600160a01b039182165f908152600d6020908152604080832093909416825291909152205490565b348015610339575f80fd5b50610191610348366004611295565b6107c2565b5f6103593384846107f7565b5060015b92915050565b5f546001600160a01b031633146103955760405162461bcd60e51b815260040161038c906112ee565b60405180910390fd5b60068290556007819055600a82118015906103b15750600a8111155b6103b9575f80fd5b5050565b5f6103c984848461091a565b6001600160a01b0384165f908152600d60209081526040808320338085529252909120546104039186916103fe908690611337565b6107f7565b5060019392505050565b5f546001600160a01b031633146104365760405162461bcd60e51b815260040161038c906112ee565b60095460ff161561047c5760405162461bcd60e51b815260206004820152601060248201526f185b1c9958591e481b185d5b98da195960821b604482015260640161038c565b6009805460ff19166001179055601e6006819055600755565b5f546001600160a01b031633146104be5760405162461bcd60e51b815260040161038c906112ee565b60095460ff16156105025760405162461bcd60e51b815260206004820152600e60248201526d185b1c9958591e481bdc195b995960921b604482015260640161038c565b7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561055e573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610582919061134a565b6040516364e329cb60e11b81523060048201526001600160a01b037f000000000000000000000000000000000000000000000000000000000000000081166024830152919091169063c9c65396906044016020604051808303815f875af11580156105ef573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610613919061134a565b600480546001600160a01b039283166001600160a01b031990911681179091555f908152600f60205260409020805460ff1916600117905547907f00000000000000000000000000000000000000000000000000000000000000001663f305d7198230610694816001600160a01b03165f908152600c602052604090205490565b5f806106a75f546001600160a01b031690565b426040518863ffffffff1660e01b81526004016106c996959493929190611365565b60606040518083038185885af11580156106e5573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061070a91906113a0565b50505050565b5f546001600160a01b031633146107395760405162461bcd60e51b815260040161038c906112ee565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146107aa5760405162461bcd60e51b815260040161038c906112ee565b5f19600a819055600b55565b5f61035933848461091a565b5f546001600160a01b031633146107eb5760405162461bcd60e51b815260040161038c906112ee565b6107f48161103f565b50565b6001600160a01b0383166108595760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161038c565b6001600160a01b0382166108ba5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161038c565b6001600160a01b038381165f818152600d602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b03831661097e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161038c565b5f6001600160a01b03841630148061099e57506001600160a01b03831630145b15610a3d576001600160a01b0384165f908152600c6020526040812080548492906109ca908490611337565b90915550506001600160a01b0383165f908152600c6020526040812080548492906109f69084906113cb565b92505081905550826001600160a01b0316846001600160a01b03165f805160206114a783398151915284604051610a2f91815260200190565b60405180910390a350505050565b6001600160a01b0384165f908152600e602052604090205460ff16158015610a7d57506001600160a01b0383165f908152600e602052604090205460ff16155b15610f2d5760095460ff1615801590610a985750600a548211155b610ae45760405162461bcd60e51b815260206004820152601f60248201527f4c61756e6368202f204d6178205478416d6f756e74206174206c61756e636800604482015260640161038c565b6001600160a01b0383165f908152600f602052604090205460ff16610b7757600b546001600160a01b0384165f908152600c6020526040902054610b299084906113cb565b1115610b775760405162461bcd60e51b815260206004820152601a60248201527f45786365656473206d61782077616c6c65742062616c616e6365000000000000604482015260640161038c565b600954610100900460ff16600103610bb0576001600160a01b0384165f908152600c6020526040812080548492906109ca908490611337565b6004546001600160a01b0390811690851603610bdd57600854600654610bd691906113cb565b9050610f2d565b6004546001600160a01b0390811690841603610f2a57305f908152600c602052604090205460025483118015610c1b5750600954610100900460ff16155b15610f1257600254811115610f1257600354811115610c3957506003545b5f6008546002600754600654610c4f91906113cb565b610c5991906113de565b610c6391906113cb565b600854610c7090846113fd565b610c7a91906113de565b90505f610c878284611337565b6009805461ff0019166101001790556040805160028082526060820183529293505f92909160208301908036833701905050905030815f81518110610cce57610cce611414565b60200260200101906001600160a01b031690816001600160a01b0316815250507f000000000000000000000000000000000000000000000000000000000000000081600181518110610d2257610d22611414565b6001600160a01b03928316602091820292909201015260055460405163791ac94760e01b81527f000000000000000000000000000000000000000000000000000000000000000083169263791ac94792610d899287925f928892911690429060040161146b565b5f604051808303815f87803b158015610da0575f80fd5b505af1158015610db2573d5f803e3d5ffd5b505050505f831115610f03576001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001663791ac947610df86002866113de565b5f8430426040518663ffffffff1660e01b8152600401610e1c95949392919061146b565b5f604051808303815f87803b158015610e33575f80fd5b505af1158015610e45573d5f803e3d5ffd5b50479250506001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016905063f305d7198230610e886002896113de565b5f80610e9b5f546001600160a01b031690565b426040518863ffffffff1660e01b8152600401610ebd96959493929190611365565b60606040518083038185885af1158015610ed9573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610efe91906113a0565b505050505b50506009805461ff0019169055505b600854600754610f2291906113cb565b915050610f2d565b505f5b6001600160a01b0384165f908152600e602052604090205460ff16158015610fcf575f610f5c868686866110fd565b6001600160a01b0386165f908152600c6020526040812080549293508392909190610f889084906113cb565b92505081905550846001600160a01b0316866001600160a01b03165f805160206114a783398151915283604051610fc191815260200190565b60405180910390a350611038565b6001600160a01b0384165f908152600c602052604081208054859290610ff69084906113cb565b92505081905550836001600160a01b0316856001600160a01b03165f805160206114a78339815191528560405161102f91815260200190565b60405180910390a35b5050505050565b6001600160a01b0381166110a45760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b606482015260840161038c565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b5f80606461110b84866113fd565b61111591906113de565b90505f6111228286611337565b6001600160a01b0388165f908152600c602052604081208054929350879290919061114e908490611337565b9091555050305f908152600c6020526040812080548492906111719084906113cb565b909155505060405182815230906001600160a01b038916905f805160206114a78339815191529060200160405180910390a39695505050505050565b5f602080835283518060208501525f5b818110156111d9578581018301518582016040015282016111bd565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146107f4575f80fd5b5f806040838503121561121e575f80fd5b8235611229816111f9565b946020939093013593505050565b5f8060408385031215611248575f80fd5b50508035926020909101359150565b5f805f60608486031215611269575f80fd5b8335611274816111f9565b92506020840135611284816111f9565b929592945050506040919091013590565b5f602082840312156112a5575f80fd5b81356112b0816111f9565b9392505050565b5f80604083850312156112c8575f80fd5b82356112d3816111f9565b915060208301356112e3816111f9565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561035d5761035d611323565b5f6020828403121561135a575f80fd5b81516112b0816111f9565b6001600160a01b039687168152602081019590955260408501939093526060840191909152909216608082015260a081019190915260c00190565b5f805f606084860312156113b2575f80fd5b8351925060208401519150604084015190509250925092565b8082018082111561035d5761035d611323565b5f826113f857634e487b7160e01b5f52601260045260245ffd5b500490565b808202811582820484141761035d5761035d611323565b634e487b7160e01b5f52603260045260245ffd5b5f815180845260208085019450602084015f5b838110156114605781516001600160a01b03168752958201959082019060010161143b565b509495945050505050565b85815284602082015260a060408201525f61148960a0830186611428565b6001600160a01b039490941660608301525060800152939250505056feddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa2646970667358221220dbe465646177be93bbce00104c91fbb128f7cbf896f3ab3cd07ed1776a43b13064736f6c63430008160033

0x6080604052600436106100f2575f3560e01c806370a082311161008757806395d89b411161005757806395d89b411461029e578063a9059cbb146102cb578063dd62ed3e146102ea578063f2fde38b1461032e575f80fd5b806370a082311461021c578063715018a614610250578063751039fc146102645780638da5cb5b14610278575f80fd5b806323b872dd116100c257806323b872dd146101ba5780632efb89b4146101d9578063313ce567146101ed57806366aea51a14610208575f80fd5b806306fdde03146100fd578063095ea7b3146101435780630b78f9c01461017257806318160ddd14610193575f80fd5b366100f957005b5f80fd5b348015610108575f80fd5b5060408051808201909152600c81526b427574746572666c7920414960a01b60208201525b60405161013a91906111ad565b60405180910390f35b34801561014e575f80fd5b5061016261015d36600461120d565b61034d565b604051901515815260200161013a565b34801561017d575f80fd5b5061019161018c366004611237565b610363565b005b34801561019e575f80fd5b506a52b7d2dcc80cd2e40000005b60405190815260200161013a565b3480156101c5575f80fd5b506101626101d4366004611257565b6103bd565b3480156101e4575f80fd5b5061019161040d565b3480156101f8575f80fd5b506040516012815260200161013a565b348015610213575f80fd5b50610191610495565b348015610227575f80fd5b506101ac610236366004611295565b6001600160a01b03165f908152600c602052604090205490565b34801561025b575f80fd5b50610191610710565b34801561026f575f80fd5b50610191610781565b348015610283575f80fd5b505f546040516001600160a01b03909116815260200161013a565b3480156102a9575f80fd5b50604080518082019091526005815264425554414960d81b602082015261012d565b3480156102d6575f80fd5b506101626102e536600461120d565b6107b6565b3480156102f5575f80fd5b506101ac6103043660046112b7565b6001600160a01b039182165f908152600d6020908152604080832093909416825291909152205490565b348015610339575f80fd5b50610191610348366004611295565b6107c2565b5f6103593384846107f7565b5060015b92915050565b5f546001600160a01b031633146103955760405162461bcd60e51b815260040161038c906112ee565b60405180910390fd5b60068290556007819055600a82118015906103b15750600a8111155b6103b9575f80fd5b5050565b5f6103c984848461091a565b6001600160a01b0384165f908152600d60209081526040808320338085529252909120546104039186916103fe908690611337565b6107f7565b5060019392505050565b5f546001600160a01b031633146104365760405162461bcd60e51b815260040161038c906112ee565b60095460ff161561047c5760405162461bcd60e51b815260206004820152601060248201526f185b1c9958591e481b185d5b98da195960821b604482015260640161038c565b6009805460ff19166001179055601e6006819055600755565b5f546001600160a01b031633146104be5760405162461bcd60e51b815260040161038c906112ee565b60095460ff16156105025760405162461bcd60e51b815260206004820152600e60248201526d185b1c9958591e481bdc195b995960921b604482015260640161038c565b7f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d6001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561055e573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610582919061134a565b6040516364e329cb60e11b81523060048201526001600160a01b037f000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc281166024830152919091169063c9c65396906044016020604051808303815f875af11580156105ef573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610613919061134a565b600480546001600160a01b039283166001600160a01b031990911681179091555f908152600f60205260409020805460ff1916600117905547907f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d1663f305d7198230610694816001600160a01b03165f908152600c602052604090205490565b5f806106a75f546001600160a01b031690565b426040518863ffffffff1660e01b81526004016106c996959493929190611365565b60606040518083038185885af11580156106e5573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061070a91906113a0565b50505050565b5f546001600160a01b031633146107395760405162461bcd60e51b815260040161038c906112ee565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146107aa5760405162461bcd60e51b815260040161038c906112ee565b5f19600a819055600b55565b5f61035933848461091a565b5f546001600160a01b031633146107eb5760405162461bcd60e51b815260040161038c906112ee565b6107f48161103f565b50565b6001600160a01b0383166108595760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161038c565b6001600160a01b0382166108ba5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161038c565b6001600160a01b038381165f818152600d602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b03831661097e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161038c565b5f6001600160a01b03841630148061099e57506001600160a01b03831630145b15610a3d576001600160a01b0384165f908152600c6020526040812080548492906109ca908490611337565b90915550506001600160a01b0383165f908152600c6020526040812080548492906109f69084906113cb565b92505081905550826001600160a01b0316846001600160a01b03165f805160206114a783398151915284604051610a2f91815260200190565b60405180910390a350505050565b6001600160a01b0384165f908152600e602052604090205460ff16158015610a7d57506001600160a01b0383165f908152600e602052604090205460ff16155b15610f2d5760095460ff1615801590610a985750600a548211155b610ae45760405162461bcd60e51b815260206004820152601f60248201527f4c61756e6368202f204d6178205478416d6f756e74206174206c61756e636800604482015260640161038c565b6001600160a01b0383165f908152600f602052604090205460ff16610b7757600b546001600160a01b0384165f908152600c6020526040902054610b299084906113cb565b1115610b775760405162461bcd60e51b815260206004820152601a60248201527f45786365656473206d61782077616c6c65742062616c616e6365000000000000604482015260640161038c565b600954610100900460ff16600103610bb0576001600160a01b0384165f908152600c6020526040812080548492906109ca908490611337565b6004546001600160a01b0390811690851603610bdd57600854600654610bd691906113cb565b9050610f2d565b6004546001600160a01b0390811690841603610f2a57305f908152600c602052604090205460025483118015610c1b5750600954610100900460ff16155b15610f1257600254811115610f1257600354811115610c3957506003545b5f6008546002600754600654610c4f91906113cb565b610c5991906113de565b610c6391906113cb565b600854610c7090846113fd565b610c7a91906113de565b90505f610c878284611337565b6009805461ff0019166101001790556040805160028082526060820183529293505f92909160208301908036833701905050905030815f81518110610cce57610cce611414565b60200260200101906001600160a01b031690816001600160a01b0316815250507f000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc281600181518110610d2257610d22611414565b6001600160a01b03928316602091820292909201015260055460405163791ac94760e01b81527f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d83169263791ac94792610d899287925f928892911690429060040161146b565b5f604051808303815f87803b158015610da0575f80fd5b505af1158015610db2573d5f803e3d5ffd5b505050505f831115610f03576001600160a01b037f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d1663791ac947610df86002866113de565b5f8430426040518663ffffffff1660e01b8152600401610e1c95949392919061146b565b5f604051808303815f87803b158015610e33575f80fd5b505af1158015610e45573d5f803e3d5ffd5b50479250506001600160a01b037f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d16905063f305d7198230610e886002896113de565b5f80610e9b5f546001600160a01b031690565b426040518863ffffffff1660e01b8152600401610ebd96959493929190611365565b60606040518083038185885af1158015610ed9573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610efe91906113a0565b505050505b50506009805461ff0019169055505b600854600754610f2291906113cb565b915050610f2d565b505f5b6001600160a01b0384165f908152600e602052604090205460ff16158015610fcf575f610f5c868686866110fd565b6001600160a01b0386165f908152600c6020526040812080549293508392909190610f889084906113cb565b92505081905550846001600160a01b0316866001600160a01b03165f805160206114a783398151915283604051610fc191815260200190565b60405180910390a350611038565b6001600160a01b0384165f908152600c602052604081208054859290610ff69084906113cb565b92505081905550836001600160a01b0316856001600160a01b03165f805160206114a78339815191528560405161102f91815260200190565b60405180910390a35b5050505050565b6001600160a01b0381166110a45760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b606482015260840161038c565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b5f80606461110b84866113fd565b61111591906113de565b90505f6111228286611337565b6001600160a01b0388165f908152600c602052604081208054929350879290919061114e908490611337565b9091555050305f908152600c6020526040812080548492906111719084906113cb565b909155505060405182815230906001600160a01b038916905f805160206114a78339815191529060200160405180910390a39695505050505050565b5f602080835283518060208501525f5b818110156111d9578581018301518582016040015282016111bd565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146107f4575f80fd5b5f806040838503121561121e575f80fd5b8235611229816111f9565b946020939093013593505050565b5f8060408385031215611248575f80fd5b50508035926020909101359150565b5f805f60608486031215611269575f80fd5b8335611274816111f9565b92506020840135611284816111f9565b929592945050506040919091013590565b5f602082840312156112a5575f80fd5b81356112b0816111f9565b9392505050565b5f80604083850312156112c8575f80fd5b82356112d3816111f9565b915060208301356112e3816111f9565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561035d5761035d611323565b5f6020828403121561135a575f80fd5b81516112b0816111f9565b6001600160a01b039687168152602081019590955260408501939093526060840191909152909216608082015260a081019190915260c00190565b5f805f606084860312156113b2575f80fd5b8351925060208401519150604084015190509250925092565b8082018082111561035d5761035d611323565b5f826113f857634e487b7160e01b5f52601260045260245ffd5b500490565b808202811582820484141761035d5761035d611323565b634e487b7160e01b5f52603260045260245ffd5b5f815180845260208085019450602084015f5b838110156114605781516001600160a01b03168752958201959082019060010161143b565b509495945050505050565b85815284602082015260a060408201525f61148960a0830186611428565b6001600160a01b039490941660608301525060800152939250505056feddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa2646970667358221220dbe465646177be93bbce00104c91fbb128f7cbf896f3ab3cd07ed1776a43b13064736f6c63430008160033

3297:9667:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5267:83;;;;;;;;;;-1:-1:-1;5337:5:0;;;;;;;;;;;;-1:-1:-1;;;5337:5:0;;;;5267:83;;;;;;;:::i;:::-;;;;;;;;6177:193;;;;;;;;;;-1:-1:-1;6177:193:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6177:193:0;1023:187:1;12681:243:0;;;;;;;;;;-1:-1:-1;12681:243:0;;;;;:::i;:::-;;:::i;:::-;;5544:100;;;;;;;;;;-1:-1:-1;3387:14:0;5544:100;;;1614:25:1;;;1602:2;1587:18;5544:100:0;1468:177:1;6378:350:0;;;;;;;;;;-1:-1:-1;6378:350:0;;;;;:::i;:::-;;:::i;11751:196::-;;;;;;;;;;;;;:::i;5453:83::-;;;;;;;;;;-1:-1:-1;5453:83:0;;3602:2;2253:36:1;;2241:2;2226:18;5453:83:0;2111:184:1;11955:566:0;;;;;;;;;;;;;:::i;5652:118::-;;;;;;;;;;-1:-1:-1;5652:118:0;;;;;:::i;:::-;-1:-1:-1;;;;;5745:17:0;5718:7;5745:17;;;:8;:17;;;;;;;5652:118;2249:148;;;;;;;;;;;;;:::i;12533:140::-;;;;;;;;;;;;;:::i;1644:79::-;;;;;;;;;;-1:-1:-1;1682:7:0;1709:6;1644:79;;-1:-1:-1;;;;;1709:6:0;;;2698:51:1;;2686:2;2671:18;1644:79:0;2552:203:1;5358:87:0;;;;;;;;;;-1:-1:-1;5430:7:0;;;;;;;;;;;;-1:-1:-1;;;5430:7:0;;;;5358:87;;5778:199;;;;;;;;;;-1:-1:-1;5778:199:0;;;;;:::i;:::-;;:::i;5985:184::-;;;;;;;;;;-1:-1:-1;5985:184:0;;;;;:::i;:::-;-1:-1:-1;;;;;6134:18:0;;;6102:7;6134:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;5985:184;1858:109;;;;;;;;;;-1:-1:-1;1858:109:0;;;;;:::i;:::-;;:::i;6177:193::-;6279:4;6301:39;438:10;6324:7;6333:6;6301:8;:39::i;:::-;-1:-1:-1;6358:4:0;6177:193;;;;;:::o;12681:243::-;1771:6;;-1:-1:-1;;;;;1771:6:0;438:10;1771:22;1763:67;;;;-1:-1:-1;;;1763:67:0;;;;;;;:::i;:::-;;;;;;;;;12792:16:::1;:28:::0;;;12831:17:::1;:30:::0;;;12893:2:::1;12880:15:::0;::::1;::::0;::::1;::::0;:35:::1;;;12913:2;12899:10;:16;;12880:35;12872:44;;;::::0;::::1;;12681:243:::0;;:::o;6378:350::-;6510:4;6527:36;6537:6;6545:9;6556:6;6527:9;:36::i;:::-;-1:-1:-1;;;;;6645:19:0;;;;;;:11;:19;;;;;;;;438:10;6645:33;;;;;;;;;6574:124;;6597:6;;6645:42;;6681:6;;6645:42;:::i;:::-;6574:8;:124::i;:::-;-1:-1:-1;6716:4:0;6378:350;;;;;:::o;11751:196::-;1771:6;;-1:-1:-1;;;;;1771:6:0;438:10;1771:22;1763:67;;;;-1:-1:-1;;;1763:67:0;;;;;;;:::i;:::-;11809:12:::1;::::0;::::1;;:17:::0;11801:46:::1;;;::::0;-1:-1:-1;;;11801:46:0;;3981:2:1;11801:46:0::1;::::0;::::1;3963:21:1::0;4020:2;4000:18;;;3993:30;-1:-1:-1;;;4039:18:1;;;4032:46;4095:18;;11801:46:0::1;3779:340:1::0;11801:46:0::1;11858:12;:16:::0;;-1:-1:-1;;11858:16:0::1;11873:1;11858:16;::::0;;11904:2:::1;11885:16;:21:::0;;;11917:17:::1;:22:::0;11751:196::o;11955:566::-;1771:6;;-1:-1:-1;;;;;1771:6:0;438:10;1771:22;1763:67;;;;-1:-1:-1;;;1763:67:0;;;;;;;:::i;:::-;12023:12:::1;::::0;::::1;;:17:::0;12015:44:::1;;;::::0;-1:-1:-1;;;12015:44:0;;4326:2:1;12015:44:0::1;::::0;::::1;4308:21:1::0;4365:2;4345:18;;;4338:30;-1:-1:-1;;;4384:18:1;;;4377:44;4438:18;;12015:44:0::1;4124:338:1::0;12015:44:0::1;12099:10;-1:-1:-1::0;;;;;12099:18:0::1;;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12081:108;::::0;-1:-1:-1;;;12081:108:0;;12154:4:::1;12081:108;::::0;::::1;4935:34:1::0;-1:-1:-1;;;;;12174:4:0::1;5005:15:1::0;;4985:18;;;4978:43;12081:50:0;;;::::1;::::0;::::1;::::0;4870:18:1;;12081:108:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12070:8;:119:::0;;-1:-1:-1;;;;;12070:119:0;;::::1;-1:-1:-1::0;;;;;;12070:119:0;;::::1;::::0;::::1;::::0;;;:8:::1;12200:33:::0;;;:14:::1;:33;::::0;;;;:40;;-1:-1:-1;;12200:40:0::1;12070:119:::0;12200:40:::1;::::0;;12274:21:::1;::::0;12306:10:::1;:26;;12274:21:::0;12374:4:::1;12394:24;12374:4:::0;-1:-1:-1;;;;;5745:17:0;5718:7;5745:17;;;:8;:17;;;;;;;5652:118;12394:24:::1;12433:1;12449::::0;12465:7:::1;1682::::0;1709:6;-1:-1:-1;;;;;1709:6:0;;1644:79;12465:7:::1;12487:15;12306:207;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;12004:517;11955:566::o:0;2249:148::-;1771:6;;-1:-1:-1;;;;;1771:6:0;438:10;1771:22;1763:67;;;;-1:-1:-1;;;1763:67:0;;;;;;;:::i;:::-;2356:1:::1;2340:6:::0;;2319:40:::1;::::0;-1:-1:-1;;;;;2340:6:0;;::::1;::::0;2319:40:::1;::::0;2356:1;;2319:40:::1;2387:1;2370:19:::0;;-1:-1:-1;;;;;;2370:19:0::1;::::0;;2249:148::o;12533:140::-;1771:6;;-1:-1:-1;;;;;1771:6:0;438:10;1771:22;1763:67;;;;-1:-1:-1;;;1763:67:0;;;;;;;:::i;:::-;-1:-1:-1;;12587:13:0::1;:33:::0;;;12631:14:::1;:34:::0;12533:140::o;5778:199::-;5883:4;5905:42;438:10;5929:9;5940:6;5905:9;:42::i;1858:109::-;1771:6;;-1:-1:-1;;;;;1771:6:0;438:10;1771:22;1763:67;;;;-1:-1:-1;;;1763:67:0;;;;;;;:::i;:::-;1931:28:::1;1950:8;1931:18;:28::i;:::-;1858:109:::0;:::o;6736:369::-;-1:-1:-1;;;;;6863:19:0;;6855:68;;;;-1:-1:-1;;;6855:68:0;;6157:2:1;6855: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;;6855:68:0;5955:400:1;6855:68:0;-1:-1:-1;;;;;6942:21:0;;6934:68;;;;-1:-1:-1;;;6934:68:0;;6562:2:1;6934: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;;6934:68:0;6360:398:1;6934:68:0;-1:-1:-1;;;;;7013:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7065:32;;1614:25:1;;;7065:32:0;;1587:18:1;7065:32:0;;;;;;;6736:369;;;:::o;7113:4011::-;-1:-1:-1;;;;;7235:18:0;;7227:68;;;;-1:-1:-1;;;7227:68:0;;6965:2:1;7227: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;;7227:68:0;6763:401:1;7227:68:0;7308:12;-1:-1:-1;;;;;7335:21:0;;7351:4;7335:21;;:44;;-1:-1:-1;;;;;;7360:19:0;;7374:4;7360:19;7335:44;7331:207;;;-1:-1:-1;;;;;7396:14:0;;;;;;:8;:14;;;;;:24;;7414:6;;7396:14;:24;;7414:6;;7396:24;:::i;:::-;;;;-1:-1:-1;;;;;;;7435:12:0;;;;;;:8;:12;;;;;:22;;7451:6;;7435:12;:22;;7451:6;;7435:22;:::i;:::-;;;;;;;;7494:2;-1:-1:-1;;;;;7479:26:0;7488:4;-1:-1:-1;;;;;7479:26:0;-1:-1:-1;;;;;;;;;;;7498:6:0;7479:26;;;;1614:25:1;;1602:2;1587:18;;1468:177;7479:26:0;;;;;;;;7520:7;7113:4011;;;:::o;7331:207::-;-1:-1:-1;;;;;7553:24:0;;;;;;:18;:24;;;;;;;;7552:25;:52;;;;-1:-1:-1;;;;;;7582:22:0;;;;;;:18;:22;;;;;;;;7581:23;7552:52;7548:3171;;;7647:12;;;;:17;;;;:44;;;7678:13;;7668:6;:23;;7647:44;7621:137;;;;-1:-1:-1;;;7621:137:0;;7501:2:1;7621:137:0;;;7483:21:1;7540:2;7520:18;;;7513:30;7579:33;7559:18;;;7552:61;7630:18;;7621:137:0;7299:355:1;7621:137:0;-1:-1:-1;;;;;7778:18:0;;;;;;:14;:18;;;;;;;;7773:199;;7872:14;;-1:-1:-1;;;;;7847:12:0;;;;;;:8;:12;;;;;;:21;;7862:6;;7847:21;:::i;:::-;:39;;7817:139;;;;-1:-1:-1;;;7817:139:0;;7861:2:1;7817:139:0;;;7843:21:1;7900:2;7880:18;;;7873:30;7939:28;7919:18;;;7912:56;7985:18;;7817:139:0;7659:350:1;7817:139:0;7992:9;;;;;;;;:14;7988:232;;-1:-1:-1;;;;;8062:14:0;;;;;;:8;:14;;;;;:24;;8080:6;;8062:14;:24;;8080:6;;8062:24;:::i;7988:232::-;8248:8;;-1:-1:-1;;;;;8248:8:0;;;8240:16;;;;8236:2472;;8303:16;;8284;;:35;;;;:::i;:::-;8277:42;;8236:2472;;;8351:8;;-1:-1:-1;;;;;8351:8:0;;;8345:14;;;;8341:2367;;8424:4;8380:24;8407:23;;;:8;:23;;;;;;8462:15;;8453:24;;:42;;;;-1:-1:-1;8481:9:0;;;;;;;:14;8453:42;8449:2131;;;8543:15;;8524:16;:34;8520:2041;;;8610:15;;8591:16;:34;8587:133;;;-1:-1:-1;8677:15:0;;8587:133;8748:23;8891:16;;8886:1;8865:17;;8846:16;;:36;;;;:::i;:::-;8845:42;;;;:::i;:::-;8844:63;;;;:::i;:::-;8794:16;;8775:35;;:16;:35;:::i;:::-;8774:134;;;;:::i;:::-;8748:160;-1:-1:-1;8935:20:0;8958:34;8748:160;8958:16;:34;:::i;:::-;9021:9;:13;;-1:-1:-1;;9021:13:0;;;;;9085:16;;;9099:1;9085:16;;;;;;;;8935:57;;-1:-1:-1;;;9085:16:0;;;;;;;;;;;;-1:-1:-1;9085:16:0;9061:40;;9146:4;9128;9133:1;9128:7;;;;;;;;:::i;:::-;;;;;;:23;-1:-1:-1;;;;;9128:23:0;;;-1:-1:-1;;;;;9128:23:0;;;;;9188:4;9178;9183:1;9178:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;9178:14:0;;;:7;;;;;;;;;:14;9469:18;;9221:347;;-1:-1:-1;;;9221:347:0;;:10;:91;;;;;:347;;9347:12;;9394:1;;9430:4;;9469:18;;;9522:15;;9221:347;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9619:1;9601:15;:19;9597:901;;;-1:-1:-1;;;;;9653:10:0;:95;;9787:19;9805:1;9787:15;:19;:::i;:::-;9845:1;9885:4;9936;9980:15;9653:377;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;10080:21:0;;-1:-1:-1;;;;;;;10132:10:0;:26;;-1:-1:-1;10132:26:0;10080:21;10216:4;10256:19;10274:1;10256:15;:19;:::i;:::-;10310:1;10346;10382:7;1682;1709:6;-1:-1:-1;;;;;1709:6:0;;1644:79;10382:7;10424:15;10132:338;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;9622:876;9597:901;-1:-1:-1;;10524:9:0;:13;;-1:-1:-1;;10524:13:0;;;-1:-1:-1;8520:2041:0;10627:16;;10607:17;;:36;;;;:::i;:::-;10600:43;;8361:2298;8341:2367;;;-1:-1:-1;10691:1:0;8341:2367;-1:-1:-1;;;;;11262:24:0;;10731:13;11262:24;;;:18;:24;;;;;;;;11261:25;10784:333;;;;10841:22;10866:35;10878:4;10884:2;10888:6;10896:4;10866:11;:35::i;:::-;-1:-1:-1;;;;;10918:12:0;;;;;;:8;:12;;;;;:30;;10841:60;;-1:-1:-1;10841:60:0;;10918:12;;;:30;;10841:60;;10918:30;:::i;:::-;;;;;;;;10983:2;-1:-1:-1;;;;;10968:34:0;10977:4;-1:-1:-1;;;;;10968:34:0;-1:-1:-1;;;;;;;;;;;10987:14:0;10968:34;;;;1614:25:1;;1602:2;1587:18;;1468:177;10968:34:0;;;;;;;;10798:216;10784:333;;;-1:-1:-1;;;;;11035:12:0;;;;;;:8;:12;;;;;:22;;11051:6;;11035:12;:22;;11051:6;;11035:22;:::i;:::-;;;;;;;;11094:2;-1:-1:-1;;;;;11079:26:0;11088:4;-1:-1:-1;;;;;11079:26:0;-1:-1:-1;;;;;;;;;;;11098:6:0;11079:26;;;;1614:25:1;;1602:2;1587:18;;1468:177;11079:26:0;;;;;;;;10784:333;7216:3908;;7113:4011;;;:::o;1975:266::-;-1:-1:-1;;;;;2063:22:0;;2041:110;;;;-1:-1:-1;;;2041:110:0;;10527:2:1;2041: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;;2041:110:0;10325:402:1;2041:110:0;2188:6;;;2167:38;;-1:-1:-1;;;;;2167:38:0;;;;2188:6;;;2167:38;;;2216:6;:17;;-1:-1:-1;;;;;;2216:17:0;-1:-1:-1;;;;;2216:17:0;;;;;;;;;;1975:266::o;11302:441::-;11443:7;;11504:3;11484:16;11493:7;11484:6;:16;:::i;:::-;11483:24;;;;:::i;:::-;11463:44;-1:-1:-1;11518:22:0;11543:18;11463:44;11543:6;:18;:::i;:::-;-1:-1:-1;;;;;11574:14:0;;;;;;:8;:14;;;;;:24;;11518:43;;-1:-1:-1;11592:6:0;;11574:14;;;:24;;11592:6;;11574:24;:::i;:::-;;;;-1:-1:-1;;11626:4:0;11609:23;;;;:8;:23;;;;;:36;;11636:9;;11609:23;:36;;11636:9;;11609:36;:::i;:::-;;;;-1:-1:-1;;11661:40:0;;1614:25:1;;;11684:4:0;;-1:-1:-1;;;;;11661:40:0;;;-1:-1:-1;;;;;;;;;;;11661:40:0;1602:2:1;1587:18;11661:40:0;;;;;;;11721:14;11302:441;-1:-1:-1;;;;;;11302: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;1215:248::-;1283:6;1291;1344:2;1332:9;1323:7;1319:23;1315:32;1312:52;;;1360:1;1357;1350:12;1312:52;-1:-1:-1;;1383:23:1;;;1453:2;1438:18;;;1425:32;;-1:-1:-1;1215:248:1:o;1650:456::-;1727:6;1735;1743;1796:2;1784:9;1775:7;1771:23;1767:32;1764:52;;;1812:1;1809;1802:12;1764:52;1851:9;1838:23;1870:31;1895:5;1870:31;:::i;:::-;1920:5;-1:-1:-1;1977:2:1;1962:18;;1949:32;1990:33;1949:32;1990:33;:::i;:::-;1650:456;;2042:7;;-1:-1:-1;;;2096:2:1;2081:18;;;;2068:32;;1650:456::o;2300:247::-;2359:6;2412:2;2400:9;2391:7;2387:23;2383:32;2380:52;;;2428:1;2425;2418:12;2380:52;2467:9;2454:23;2486:31;2511:5;2486:31;:::i;:::-;2536:5;2300:247;-1:-1:-1;;;2300:247: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:356::-;3355:2;3337:21;;;3374:18;;;3367:30;3433:34;3428:2;3413:18;;3406:62;3500:2;3485:18;;3153:356::o;3514:127::-;3575:10;3570:3;3566:20;3563:1;3556:31;3606:4;3603:1;3596:15;3630:4;3627:1;3620:15;3646:128;3713:9;;;3734:11;;;3731:37;;;3748:18;;:::i;4467:251::-;4537:6;4590:2;4578:9;4569:7;4565:23;4561:32;4558:52;;;4606:1;4603;4596:12;4558:52;4638:9;4632:16;4657:31;4682:5;4657:31;:::i;5032:607::-;-1:-1:-1;;;;;5391:15:1;;;5373:34;;5438:2;5423:18;;5416:34;;;;5481:2;5466:18;;5459:34;;;;5524:2;5509:18;;5502:34;;;;5573:15;;;5567:3;5552:19;;5545:44;5353:3;5605:19;;5598:35;;;;5322:3;5307:19;;5032:607::o;5644:306::-;5732:6;5740;5748;5801:2;5789:9;5780:7;5776:23;5772:32;5769:52;;;5817:1;5814;5807:12;5769:52;5846:9;5840:16;5830:26;;5896:2;5885:9;5881:18;5875:25;5865:35;;5940:2;5929:9;5925:18;5919:25;5909:35;;5644: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://dbe465646177be93bbce00104c91fbb128f7cbf896f3ab3cd07ed1776a43b130