Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(
•    - function _msgSender()
• interface IUniswapV2Factory
•    - function createPair(
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(
•    - function allowance(
•    - function approve(address spender, uin ...
•    - function transferFrom(
• interface IUniswapV2Router02
•    - function swapExactTokensForETHSupport ...
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
•  contract HABIBI is Context, IERC20 ... *
•    - function Init_HABIBI_Trading()
•    - function Start_HABIBI_Trading()
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(
•    - function allowance(
•    - function approve(
•    - function transferFrom(
•    - function _approve(address owner, addr ...
•    - function _transfer(address from, addr ...
•    - function _tokenTransfer(address from, ...
•    - function swapTokensForEth(uint256 hab ...
•    - function min(uint256 a, uint256 b)
•    - function removeLimits()
•    - function sendETHToFee(uint256 amount)
•    - function recoverStuckETH()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-07-03
*/

// SPDX-License-Identifier: MIT

/**
Web:  https://habibi.wtf
X:    https://x.com/HabibiOfficialX
Tg:   https://t.me/habibi_portal
**/

pragma solidity 0.8.14;

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }

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

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

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

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

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

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

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

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

interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    )
        external
        payable
        returns (uint amountToken, uint amountETH, uint liquidity);
}

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

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

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

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

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

contract HABIBI is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) private _isExcludedFromFee;
    mapping(address => bool) private bots;
    mapping(address => uint256) private _holderLastTransferTimestamp;
    bool public transferDelayEnabled = false;
    address payable private _taxWallet;

    uint256 private _initialBuyTax = 35;
    uint256 private _initialSellTax = 35;
    uint256 private _finalBuyTax = 0;
    uint256 private _finalSellTax = 0;
    uint256 private _reduceBuyTaxAt = 17;
    uint256 private _reduceSellTaxAt = 17;
    uint256 private _preventSwapBefore = 9;
    uint256 private _buyCount = 0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10 ** _decimals;
    string private constant _name = unicode"Habibi";
    string private constant _symbol = unicode"HABIBI";
    uint256 public _maxTxAmount = 20000000 * 10 ** _decimals;
    uint256 public _maxWalletSize = 20000000 * 10 ** _decimals;
    uint256 public _taxSwapThreshold = 125 * 10 ** _decimals;
    uint256 public _maxTaxSwap = 10000000 * 10 ** _decimals;

    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;

    event MaxTxAmountUpdated(uint _maxTxAmount);
    modifier lockTheSwap() {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor() {
        _taxWallet = payable(0xC57268df1E4d5F8e2b54bA3008451fDD1D28F4b0);
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;

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

    function Init_HABIBI_Trading() external onlyOwner {
        uniswapV2Router = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(
            address(this),
            uniswapV2Router.WETH()
        );
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(
            address(this),
            balanceOf(address(this)),
            0,
            0,
            owner(),
            block.timestamp
        );
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
    }

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

    function name() public pure returns (string memory) {
        return _name;
    }

    function symbol() public pure returns (string memory) {
        return _symbol;
    }

    function decimals() public pure returns (uint8) {
        return _decimals;
    }

    function totalSupply() public pure override returns (uint256) {
        return _tTotal;
    }

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

    function transfer(
        address recipient,
        uint256 amount
    ) public override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    function allowance(
        address owner,
        address spender
    ) public view override returns (uint256) {
        return _allowances[owner][spender];
    }

    function approve(
        address spender,
        uint256 amount
    ) public override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(
            sender,
            _msgSender(),
            _allowances[sender][_msgSender()].sub(
                amount,
                "ERC20: transfer amount exceeds allowance"
            )
        );
        return true;
    }

    function _approve(address owner, address spender, uint256 amount) private {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");
        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    function _transfer(address from, address to, uint256 habibiAmount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(habibiAmount > 0, "Transfer amount must be greater than zero");
        
        if(!tradingOpen){
            require(_isExcludedFromFee[from] || _isExcludedFromFee[to], "Trading has not enabled!");
        }

        if (!swapEnabled || inSwap) {
            _balances[from] = _balances[from] - habibiAmount;
            _balances[to] = _balances[to] + habibiAmount;
            emit Transfer(from, to, habibiAmount);
            return;
        }

        if (from != owner() && to != owner()) {
            if (transferDelayEnabled) {
                if (
                    to != address(uniswapV2Router) &&
                    to != address(uniswapV2Pair)
                ) {
                    require(
                        _holderLastTransferTimestamp[tx.origin] < block.number,
                        "_transfer:: Transfer Delay enabled.  Only one purchase per block allowed."
                    );
                    _holderLastTransferTimestamp[tx.origin] = block.number;
                }
            }

            if (
                from == uniswapV2Pair &&
                to != address(uniswapV2Router) &&
                !_isExcludedFromFee[to]
            ) {
                require(habibiAmount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(
                    balanceOf(to) + habibiAmount <= _maxWalletSize,
                    "Exceeds the maxWalletSize."
                );
                _buyCount++;
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (
                !inSwap &&
                to == uniswapV2Pair &&
                swapEnabled &&
                _buyCount > _preventSwapBefore &&
                !_isExcludedFromFee[from] &&
                !_isExcludedFromFee[to]
            ) {
                if(contractTokenBalance > _taxSwapThreshold){
                    swapTokensForEth(
                        min(habibiAmount, min(contractTokenBalance, _maxTaxSwap))
                    );
                }
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance >= 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }

        _tokenTransfer(from, to, habibiAmount);
    }

    function _tokenTransfer(address from, address to, uint256 habibiAmount) internal {       
        uint256 tax = 0;
        uint256 taxAmount = 0;
        uint256 tAmount = habibiAmount;
        if (!_isExcludedFromFee[from]) {
            tax = habibiAmount
            .mul((_buyCount > _reduceBuyTaxAt) ? _finalBuyTax : _initialBuyTax)
            .div(100);
            if (to == uniswapV2Pair && from != address(this)) {
                tax = habibiAmount
                    .mul(
                        (_buyCount > _reduceSellTaxAt)
                            ? _finalSellTax
                            : _initialSellTax
                    )
                    .div(100);
            }
            tAmount -= tax;
            taxAmount = habibiAmount;
        }
        if (tax > 0) {
            _balances[address(this)] = _balances[address(this)] + tax;
            emit Transfer(from, address(this), tax);
        }
        _balances[from] = _balances[from] - taxAmount;
        _balances[to] = _balances[to] + tAmount;
        emit Transfer(from, to, tAmount);
    }

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

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

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

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

    function recoverStuckETH() external onlyOwner {
        sendETHToFee(address(this).balance);
    }

    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":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"Init_HABIBI_Trading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"Start_HABIBI_Trading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"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":"recoverStuckETH","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":[],"name":"transferDelayEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526006805460ff191690556023600781905560085560006009818155600a8281556011600b819055600c55600d829055600e9290925562000044916200035e565b62000054906301312d0062000376565b600f55620000656009600a6200035e565b62000075906301312d0062000376565b601055620000866009600a6200035e565b6200009390607d62000376565b601155620000a46009600a6200035e565b620000b3906298968062000376565b6012556014805461ffff60a81b19169055348015620000d157600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060068054610100600160a81b03191674c57268df1e4d5f8e2b54ba3008451fdd1d28f4b000179055620001496009600a6200035e565b6200015990633b9aca0062000376565b336000908152600160208190526040822092909255600390620001846000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff1996871617905530815260039093528183208054851660019081179091556006546101009004909116835291208054909216179055620001e83390565b6001600160a01b031660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620002226009600a6200035e565b6200023290633b9aca0062000376565b60405190815260200160405180910390a362000398565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620002a057816000190482111562000284576200028462000249565b808516156200029257918102915b93841c939080029062000264565b509250929050565b600082620002b95750600162000358565b81620002c85750600062000358565b8160018114620002e15760028114620002ec576200030c565b600191505062000358565b60ff84111562000300576200030062000249565b50506001821b62000358565b5060208310610133831016604e8410600b841016171562000331575081810a62000358565b6200033d83836200025f565b806000190482111562000354576200035462000249565b0290505b92915050565b60006200036f60ff841683620002a8565b9392505050565b600081600019048311821515161562000393576200039362000249565b500290565b6119f280620003a86000396000f3fe6080604052600436106101235760003560e01c806381a16445116100a0578063b581489311610064578063b58148931461032f578063bf474bed14610344578063c02019f71461035a578063c876d0b91461036f578063dd62ed3e1461038957600080fd5b806381a164451461028d5780638da5cb5b146102a25780638f9a55c0146102ca57806395d89b41146102e0578063a9059cbb1461030f57600080fd5b8063313ce567116100e7578063313ce567146101f957806370a0823114610215578063715018a61461024b578063751039fc146102625780637d1db4a51461027757600080fd5b806306fdde031461012f578063095ea7b3146101705780630faee56f146101a057806318160ddd146101c457806323b872dd146101d957600080fd5b3661012a57005b600080fd5b34801561013b57600080fd5b5060408051808201909152600681526548616269626960d01b60208201525b60405161016791906115ac565b60405180910390f35b34801561017c57600080fd5b5061019061018b366004611616565b6103cf565b6040519015158152602001610167565b3480156101ac57600080fd5b506101b660125481565b604051908152602001610167565b3480156101d057600080fd5b506101b66103e6565b3480156101e557600080fd5b506101906101f4366004611642565b610407565b34801561020557600080fd5b5060405160098152602001610167565b34801561022157600080fd5b506101b6610230366004611683565b6001600160a01b031660009081526001602052604090205490565b34801561025757600080fd5b50610260610470565b005b34801561026e57600080fd5b506102606104ed565b34801561028357600080fd5b506101b6600f5481565b34801561029957600080fd5b506102606105a9565b3480156102ae57600080fd5b506000546040516001600160a01b039091168152602001610167565b3480156102d657600080fd5b506101b660105481565b3480156102ec57600080fd5b5060408051808201909152600681526548414249424960d01b602082015261015a565b34801561031b57600080fd5b5061019061032a366004611616565b6105de565b34801561033b57600080fd5b506102606105eb565b34801561035057600080fd5b506101b660115481565b34801561036657600080fd5b50610260610936565b34801561037b57600080fd5b506006546101909060ff1681565b34801561039557600080fd5b506101b66103a43660046116a0565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b60006103dc3384846109d3565b5060015b92915050565b60006103f46009600a6117d3565b61040290633b9aca006117e2565b905090565b6000610414848484610af8565b610466843361046185604051806060016040528060288152602001611995602891396001600160a01b038a16600090815260026020908152604080832033845290915290205491906110c8565b6109d3565b5060019392505050565b6000546001600160a01b031633146104a35760405162461bcd60e51b815260040161049a90611801565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146105175760405162461bcd60e51b815260040161049a90611801565b6105236009600a6117d3565b61053190633b9aca006117e2565b600f556105406009600a6117d3565b61054e90633b9aca006117e2565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105886009600a6117d3565b61059690633b9aca006117e2565b60405190815260200160405180910390a1565b6000546001600160a01b031633146105d35760405162461bcd60e51b815260040161049a90611801565b6105dc47611102565b565b60006103dc338484610af8565b6000546001600160a01b031633146106155760405162461bcd60e51b815260040161049a90611801565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561065e9030906106506009600a6117d3565b61046190633b9aca006117e2565b601360009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106b1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106d59190611836565b6001600160a01b031663c9c6539630601360009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610737573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061075b9190611836565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156107a8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107cc9190611836565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d7194730610814816001600160a01b031660009081526001602052604090205490565b6000806108296000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610891573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906108b69190611853565b505060145460135460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af115801561090f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109339190611881565b50565b6000546001600160a01b031633146109605760405162461bcd60e51b815260040161049a90611801565b601454600160a01b900460ff16156109ba5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161049a565b6014805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610a355760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161049a565b6001600160a01b038216610a965760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161049a565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610b5c5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161049a565b6001600160a01b038216610bbe5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161049a565b60008111610c205760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161049a565b601454600160a01b900460ff16610cbc576001600160a01b03831660009081526003602052604090205460ff1680610c7057506001600160a01b03821660009081526003602052604090205460ff165b610cbc5760405162461bcd60e51b815260206004820152601860248201527f54726164696e6720686173206e6f7420656e61626c6564210000000000000000604482015260640161049a565b601454600160b01b900460ff161580610cde5750601454600160a81b900460ff165b15610d8b576001600160a01b038316600090815260016020526040902054610d079082906118a3565b6001600160a01b038085166000908152600160205260408082209390935590841681522054610d379082906118ba565b6001600160a01b0380841660008181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610aeb9085815260200190565b6000546001600160a01b03848116911614801590610db757506000546001600160a01b03838116911614155b156110b85760065460ff1615610ea1576013546001600160a01b03838116911614801590610df357506014546001600160a01b03838116911614155b15610ea157326000908152600560205260409020544311610e8e5760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a40161049a565b3260009081526005602052604090204390555b6014546001600160a01b038481169116148015610ecc57506013546001600160a01b03838116911614155b8015610ef157506001600160a01b03821660009081526003602052604090205460ff16155b15610fd957600f54811115610f485760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161049a565b60105481610f6b846001600160a01b031660009081526001602052604090205490565b610f7591906118ba565b1115610fc35760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161049a565b600e8054906000610fd3836118d2565b91905055505b30600090815260016020526040902054601454600160a81b900460ff1615801561101057506014546001600160a01b038481169116145b80156110255750601454600160b01b900460ff165b80156110345750600d54600e54115b801561105957506001600160a01b03841660009081526003602052604090205460ff16155b801561107e57506001600160a01b03831660009081526003602052604090205460ff16155b156110b6576011548111156110aa576110aa6110a5836110a084601254611144565b611144565b61115c565b476110b447611102565b505b505b6110c38383836112d6565b505050565b600081848411156110ec5760405162461bcd60e51b815260040161049a91906115ac565b5060006110f984866118a3565b95945050505050565b6006546040516101009091046001600160a01b0316906108fc8315029083906000818181858888f19350505050158015611140573d6000803e3d6000fd5b5050565b60008183116111535782611155565b815b9392505050565b6014805460ff60a81b1916600160a81b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106111a4576111a46118eb565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156111fd573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112219190611836565b81600181518110611234576112346118eb565b6001600160a01b03928316602091820292909201015260135461125a91309116846109d3565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac94790611293908590600090869030904290600401611901565b600060405180830381600087803b1580156112ad57600080fd5b505af11580156112c1573d6000803e3d6000fd5b50506014805460ff60a81b1916905550505050565b6001600160a01b0383166000908152600360205260408120548190839060ff1661138c576113266064611320600b54600e541161131557600754611319565b6009545b87906114bf565b90611541565b6014549093506001600160a01b03868116911614801561134f57506001600160a01b0386163014155b1561137c576113796064611320600c54600e541161136f57600854611319565b600a5487906114bf565b92505b61138683826118a3565b90508391505b821561140757306000908152600160205260409020546113ad9084906118ba565b30600081815260016020526040908190209290925590516001600160a01b038816907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906113fe9087815260200190565b60405180910390a35b6001600160a01b03861660009081526001602052604090205461142b9083906118a3565b6001600160a01b03808816600090815260016020526040808220939093559087168152205461145b9082906118ba565b6001600160a01b0380871660008181526001602052604090819020939093559151908816907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906114af9085815260200190565b60405180910390a3505050505050565b6000826000036114d1575060006103e0565b60006114dd83856117e2565b9050826114ea8583611972565b146111555760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161049a565b600061115583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506000818361159f5760405162461bcd60e51b815260040161049a91906115ac565b5060006110f98486611972565b600060208083528351808285015260005b818110156115d9578581018301518582016040015282016115bd565b818111156115eb576000604083870101525b50601f01601f1916929092016040019392505050565b6001600160a01b038116811461093357600080fd5b6000806040838503121561162957600080fd5b823561163481611601565b946020939093013593505050565b60008060006060848603121561165757600080fd5b833561166281611601565b9250602084013561167281611601565b929592945050506040919091013590565b60006020828403121561169557600080fd5b813561115581611601565b600080604083850312156116b357600080fd5b82356116be81611601565b915060208301356116ce81611601565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561172a578160001904821115611710576117106116d9565b8085161561171d57918102915b93841c93908002906116f4565b509250929050565b600082611741575060016103e0565b8161174e575060006103e0565b8160018114611764576002811461176e5761178a565b60019150506103e0565b60ff84111561177f5761177f6116d9565b50506001821b6103e0565b5060208310610133831016604e8410600b84101617156117ad575081810a6103e0565b6117b783836116ef565b80600019048211156117cb576117cb6116d9565b029392505050565b600061115560ff841683611732565b60008160001904831182151516156117fc576117fc6116d9565b500290565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561184857600080fd5b815161115581611601565b60008060006060848603121561186857600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561189357600080fd5b8151801515811461115557600080fd5b6000828210156118b5576118b56116d9565b500390565b600082198211156118cd576118cd6116d9565b500190565b6000600182016118e4576118e46116d9565b5060010190565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119515784516001600160a01b03168352938301939183019160010161192c565b50506001600160a01b03969096166060850152505050608001529392505050565b60008261198f57634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122070fc59025b239334f5448f8e569049a331ff4ac4bb3b6a5ff376dde1be4b233b64736f6c634300080e0033

0x6080604052600436106101235760003560e01c806381a16445116100a0578063b581489311610064578063b58148931461032f578063bf474bed14610344578063c02019f71461035a578063c876d0b91461036f578063dd62ed3e1461038957600080fd5b806381a164451461028d5780638da5cb5b146102a25780638f9a55c0146102ca57806395d89b41146102e0578063a9059cbb1461030f57600080fd5b8063313ce567116100e7578063313ce567146101f957806370a0823114610215578063715018a61461024b578063751039fc146102625780637d1db4a51461027757600080fd5b806306fdde031461012f578063095ea7b3146101705780630faee56f146101a057806318160ddd146101c457806323b872dd146101d957600080fd5b3661012a57005b600080fd5b34801561013b57600080fd5b5060408051808201909152600681526548616269626960d01b60208201525b60405161016791906115ac565b60405180910390f35b34801561017c57600080fd5b5061019061018b366004611616565b6103cf565b6040519015158152602001610167565b3480156101ac57600080fd5b506101b660125481565b604051908152602001610167565b3480156101d057600080fd5b506101b66103e6565b3480156101e557600080fd5b506101906101f4366004611642565b610407565b34801561020557600080fd5b5060405160098152602001610167565b34801561022157600080fd5b506101b6610230366004611683565b6001600160a01b031660009081526001602052604090205490565b34801561025757600080fd5b50610260610470565b005b34801561026e57600080fd5b506102606104ed565b34801561028357600080fd5b506101b6600f5481565b34801561029957600080fd5b506102606105a9565b3480156102ae57600080fd5b506000546040516001600160a01b039091168152602001610167565b3480156102d657600080fd5b506101b660105481565b3480156102ec57600080fd5b5060408051808201909152600681526548414249424960d01b602082015261015a565b34801561031b57600080fd5b5061019061032a366004611616565b6105de565b34801561033b57600080fd5b506102606105eb565b34801561035057600080fd5b506101b660115481565b34801561036657600080fd5b50610260610936565b34801561037b57600080fd5b506006546101909060ff1681565b34801561039557600080fd5b506101b66103a43660046116a0565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b60006103dc3384846109d3565b5060015b92915050565b60006103f46009600a6117d3565b61040290633b9aca006117e2565b905090565b6000610414848484610af8565b610466843361046185604051806060016040528060288152602001611995602891396001600160a01b038a16600090815260026020908152604080832033845290915290205491906110c8565b6109d3565b5060019392505050565b6000546001600160a01b031633146104a35760405162461bcd60e51b815260040161049a90611801565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146105175760405162461bcd60e51b815260040161049a90611801565b6105236009600a6117d3565b61053190633b9aca006117e2565b600f556105406009600a6117d3565b61054e90633b9aca006117e2565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105886009600a6117d3565b61059690633b9aca006117e2565b60405190815260200160405180910390a1565b6000546001600160a01b031633146105d35760405162461bcd60e51b815260040161049a90611801565b6105dc47611102565b565b60006103dc338484610af8565b6000546001600160a01b031633146106155760405162461bcd60e51b815260040161049a90611801565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561065e9030906106506009600a6117d3565b61046190633b9aca006117e2565b601360009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106b1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106d59190611836565b6001600160a01b031663c9c6539630601360009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610737573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061075b9190611836565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156107a8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107cc9190611836565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d7194730610814816001600160a01b031660009081526001602052604090205490565b6000806108296000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610891573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906108b69190611853565b505060145460135460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af115801561090f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109339190611881565b50565b6000546001600160a01b031633146109605760405162461bcd60e51b815260040161049a90611801565b601454600160a01b900460ff16156109ba5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161049a565b6014805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610a355760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161049a565b6001600160a01b038216610a965760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161049a565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610b5c5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161049a565b6001600160a01b038216610bbe5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161049a565b60008111610c205760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161049a565b601454600160a01b900460ff16610cbc576001600160a01b03831660009081526003602052604090205460ff1680610c7057506001600160a01b03821660009081526003602052604090205460ff165b610cbc5760405162461bcd60e51b815260206004820152601860248201527f54726164696e6720686173206e6f7420656e61626c6564210000000000000000604482015260640161049a565b601454600160b01b900460ff161580610cde5750601454600160a81b900460ff165b15610d8b576001600160a01b038316600090815260016020526040902054610d079082906118a3565b6001600160a01b038085166000908152600160205260408082209390935590841681522054610d379082906118ba565b6001600160a01b0380841660008181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610aeb9085815260200190565b6000546001600160a01b03848116911614801590610db757506000546001600160a01b03838116911614155b156110b85760065460ff1615610ea1576013546001600160a01b03838116911614801590610df357506014546001600160a01b03838116911614155b15610ea157326000908152600560205260409020544311610e8e5760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a40161049a565b3260009081526005602052604090204390555b6014546001600160a01b038481169116148015610ecc57506013546001600160a01b03838116911614155b8015610ef157506001600160a01b03821660009081526003602052604090205460ff16155b15610fd957600f54811115610f485760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161049a565b60105481610f6b846001600160a01b031660009081526001602052604090205490565b610f7591906118ba565b1115610fc35760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161049a565b600e8054906000610fd3836118d2565b91905055505b30600090815260016020526040902054601454600160a81b900460ff1615801561101057506014546001600160a01b038481169116145b80156110255750601454600160b01b900460ff165b80156110345750600d54600e54115b801561105957506001600160a01b03841660009081526003602052604090205460ff16155b801561107e57506001600160a01b03831660009081526003602052604090205460ff16155b156110b6576011548111156110aa576110aa6110a5836110a084601254611144565b611144565b61115c565b476110b447611102565b505b505b6110c38383836112d6565b505050565b600081848411156110ec5760405162461bcd60e51b815260040161049a91906115ac565b5060006110f984866118a3565b95945050505050565b6006546040516101009091046001600160a01b0316906108fc8315029083906000818181858888f19350505050158015611140573d6000803e3d6000fd5b5050565b60008183116111535782611155565b815b9392505050565b6014805460ff60a81b1916600160a81b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106111a4576111a46118eb565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156111fd573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112219190611836565b81600181518110611234576112346118eb565b6001600160a01b03928316602091820292909201015260135461125a91309116846109d3565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac94790611293908590600090869030904290600401611901565b600060405180830381600087803b1580156112ad57600080fd5b505af11580156112c1573d6000803e3d6000fd5b50506014805460ff60a81b1916905550505050565b6001600160a01b0383166000908152600360205260408120548190839060ff1661138c576113266064611320600b54600e541161131557600754611319565b6009545b87906114bf565b90611541565b6014549093506001600160a01b03868116911614801561134f57506001600160a01b0386163014155b1561137c576113796064611320600c54600e541161136f57600854611319565b600a5487906114bf565b92505b61138683826118a3565b90508391505b821561140757306000908152600160205260409020546113ad9084906118ba565b30600081815260016020526040908190209290925590516001600160a01b038816907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906113fe9087815260200190565b60405180910390a35b6001600160a01b03861660009081526001602052604090205461142b9083906118a3565b6001600160a01b03808816600090815260016020526040808220939093559087168152205461145b9082906118ba565b6001600160a01b0380871660008181526001602052604090819020939093559151908816907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906114af9085815260200190565b60405180910390a3505050505050565b6000826000036114d1575060006103e0565b60006114dd83856117e2565b9050826114ea8583611972565b146111555760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161049a565b600061115583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506000818361159f5760405162461bcd60e51b815260040161049a91906115ac565b5060006110f98486611972565b600060208083528351808285015260005b818110156115d9578581018301518582016040015282016115bd565b818111156115eb576000604083870101525b50601f01601f1916929092016040019392505050565b6001600160a01b038116811461093357600080fd5b6000806040838503121561162957600080fd5b823561163481611601565b946020939093013593505050565b60008060006060848603121561165757600080fd5b833561166281611601565b9250602084013561167281611601565b929592945050506040919091013590565b60006020828403121561169557600080fd5b813561115581611601565b600080604083850312156116b357600080fd5b82356116be81611601565b915060208301356116ce81611601565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561172a578160001904821115611710576117106116d9565b8085161561171d57918102915b93841c93908002906116f4565b509250929050565b600082611741575060016103e0565b8161174e575060006103e0565b8160018114611764576002811461176e5761178a565b60019150506103e0565b60ff84111561177f5761177f6116d9565b50506001821b6103e0565b5060208310610133831016604e8410600b84101617156117ad575081810a6103e0565b6117b783836116ef565b80600019048211156117cb576117cb6116d9565b029392505050565b600061115560ff841683611732565b60008160001904831182151516156117fc576117fc6116d9565b500290565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561184857600080fd5b815161115581611601565b60008060006060848603121561186857600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561189357600080fd5b8151801515811461115557600080fd5b6000828210156118b5576118b56116d9565b500390565b600082198211156118cd576118cd6116d9565b500190565b6000600182016118e4576118e46116d9565b5060010190565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119515784516001600160a01b03168352938301939183019160010161192c565b50506001600160a01b03969096166060850152505050608001529392505050565b60008261198f57634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122070fc59025b239334f5448f8e569049a331ff4ac4bb3b6a5ff376dde1be4b233b64736f6c634300080e0033

3840:9567:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6738:83;;;;;;;;;;-1:-1:-1;6808:5:0;;;;;;;;;;;;-1:-1:-1;;;6808:5:0;;;;6738:83;;;;;;;:::i;:::-;;;;;;;;7621:186;;;;;;;;;;-1:-1:-1;7621:186:0;;;;;:::i;:::-;;:::i;:::-;;;1237:14:1;;1230:22;1212:41;;1200:2;1185:18;7621:186:0;1072:187:1;5061:55:0;;;;;;;;;;;;;;;;;;;1410:25:1;;;1398:2;1383:18;5061:55:0;1264:177:1;7015:95:0;;;;;;;;;;;;;:::i;7815:446::-;;;;;;;;;;-1:-1:-1;7815:446:0;;;;;:::i;:::-;;:::i;6924:83::-;;;;;;;;;;-1:-1:-1;6924:83:0;;4682:1;2049:36:1;;2037:2;2022:18;6924:83:0;1907:184:1;7118:119:0;;;;;;;;;;-1:-1:-1;7118:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;7211:18:0;7184:7;7211:18;;;:9;:18;;;;;;;7118:119;3685:148;;;;;;;;;;;;;:::i;:::-;;12958:201;;;;;;;;;;;;;:::i;4870:56::-;;;;;;;;;;;;;;;;13267:100;;;;;;;;;;;;;:::i;3471:79::-;;;;;;;;;;-1:-1:-1;3509:7:0;3536:6;3471:79;;-1:-1:-1;;;;;3536:6:0;;;2494:51:1;;2482:2;2467:18;3471:79:0;2348:203:1;4933:58:0;;;;;;;;;;;;;;;;6829:87;;;;;;;;;;-1:-1:-1;6901:7:0;;;;;;;;;;;;-1:-1:-1;;;6901:7:0;;;;6829:87;;7245:192;;;;;;;;;;-1:-1:-1;7245:192:0;;;;;:::i;:::-;;:::i;5820:716::-;;;;;;;;;;;;;:::i;4998:56::-;;;;;;;;;;;;;;;;6544:186;;;;;;;;;;;;;:::i;4223:40::-;;;;;;;;;;-1:-1:-1;4223:40:0;;;;;;;;7445:168;;;;;;;;;;-1:-1:-1;7445:168:0;;;;;:::i;:::-;-1:-1:-1;;;;;7578:18:0;;;7551:7;7578:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7445:168;7621:186;7721:4;7738:39;1495:10;7761:7;7770:6;7738:8;:39::i;:::-;-1:-1:-1;7795:4:0;7621:186;;;;;:::o;7015:95::-;7068:7;4738:15;4682:1;4738:2;:15;:::i;:::-;4725:28;;:10;:28;:::i;:::-;7088:14;;7015:95;:::o;7815:446::-;7947:4;7964:36;7974:6;7982:9;7993:6;7964:9;:36::i;:::-;8011:220;8034:6;1495:10;8082:138;8138:6;8082:138;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8082:19:0;;;;;;:11;:19;;;;;;;;1495:10;8082:33;;;;;;;;;;:37;:138::i;:::-;8011:8;:220::i;:::-;-1:-1:-1;8249:4:0;7815:446;;;;;:::o;3685:148::-;3598:6;;-1:-1:-1;;;;;3598:6:0;1495:10;3598:22;3590:67;;;;-1:-1:-1;;;3590:67:0;;;;;;;:::i;:::-;;;;;;;;;3792:1:::1;3776:6:::0;;3755:40:::1;::::0;-1:-1:-1;;;;;3776:6:0;;::::1;::::0;3755:40:::1;::::0;3792:1;;3755:40:::1;3823:1;3806:19:::0;;-1:-1:-1;;;;;;3806:19:0::1;::::0;;3685:148::o;12958:201::-;3598:6;;-1:-1:-1;;;;;3598:6:0;1495:10;3598:22;3590:67;;;;-1:-1:-1;;;3590:67:0;;;;;;;:::i;:::-;4738:15:::1;4682:1;4738:2;:15;:::i;:::-;4725:28;::::0;:10:::1;:28;:::i;:::-;13012:12;:22:::0;4738:15:::1;4682:1;4738:2;:15;:::i;:::-;4725:28;::::0;:10:::1;:28;:::i;:::-;13045:14;:24:::0;13080:20:::1;:28:::0;;-1:-1:-1;;13080:28:0::1;::::0;;13124:27:::1;4738:15;4682:1;-1:-1:-1::0;4738:15:0::1;:::i;:::-;4725:28;::::0;:10:::1;:28;:::i;:::-;13124:27;::::0;1410:25:1;;;1398:2;1383:18;13124:27:0::1;;;;;;;12958:201::o:0;13267:100::-;3598:6;;-1:-1:-1;;;;;3598:6:0;1495:10;3598:22;3590:67;;;;-1:-1:-1;;;3590:67:0;;;;;;;:::i;:::-;13324:35:::1;13337:21;13324:12;:35::i;:::-;13267:100::o:0;7245:192::-;7348:4;7365:42;1495:10;7389:9;7400:6;7365:9;:42::i;5820:716::-;3598:6;;-1:-1:-1;;;;;3598:6:0;1495:10;3598:22;3590:67;;;;-1:-1:-1;;;3590:67:0;;;;;;;:::i;:::-;5881:15:::1;:104:::0;;-1:-1:-1;;;;;;5881:104:0::1;5932:42;5881:104:::0;;::::1;::::0;;;5996:58:::1;::::0;6013:4:::1;::::0;4738:15:::1;4682:1;4738:2;:15;:::i;:::-;4725:28;::::0;:10:::1;:28;:::i;5996:58::-;6099:15;;;;;;;;;-1:-1:-1::0;;;;;6099:15:0::1;-1:-1:-1::0;;;;;6099:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;6081:55:0::1;;6159:4;6179:15;;;;;;;;;-1:-1:-1::0;;;;;6179:15:0::1;-1:-1:-1::0;;;;;6179:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6081:131;::::0;-1:-1:-1;;;;;;6081:131:0::1;::::0;;;;;;-1:-1:-1;;;;;5484:15:1;;;6081:131:0::1;::::0;::::1;5466:34:1::0;5536:15;;5516:18;;;5509:43;5401:18;;6081:131:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6065:13;:147:::0;;-1:-1:-1;;;;;6065:147:0;;::::1;-1:-1:-1::0;;;;;;6065:147:0;;::::1;;::::0;;6223:15:::1;::::0;::::1;:31;6262:21;6307:4;6327:24;6307:4:::0;-1:-1:-1;;;;;7211:18:0;7184:7;7211:18;;;:9;:18;;;;;;;7118:119;6327:24:::1;6366:1;6382::::0;6398:7:::1;3509::::0;3536:6;-1:-1:-1;;;;;3536:6:0;;3471:79;6398:7:::1;6223:223;::::0;::::1;::::0;;;-1:-1:-1;;;;;;6223:223:0;;;-1:-1:-1;;;;;5922:15:1;;;6223:223:0::1;::::0;::::1;5904:34:1::0;5954:18;;;5947:34;;;;5997:18;;;5990:34;;;;6040:18;;;6033:34;6104:15;;;6083:19;;;6076:44;6420:15:0::1;6136:19:1::0;;;6129:35;5838:19;;6223:223:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;6464:13:0::1;::::0;6495:15:::1;::::0;6457:71:::1;::::0;-1:-1:-1;;;6457:71:0;;-1:-1:-1;;;;;6495:15:0;;::::1;6457:71;::::0;::::1;6660:51:1::0;-1:-1:-1;;6727:18:1;;;6720:34;6464:13:0;::::1;::::0;-1:-1:-1;6457:29:0::1;::::0;6633:18:1;;6457:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;5820:716::o:0;6544:186::-;3598:6;;-1:-1:-1;;;;;3598:6:0;1495:10;3598:22;3590:67;;;;-1:-1:-1;;;3590:67:0;;;;;;;:::i;:::-;6615:11:::1;::::0;-1:-1:-1;;;6615:11:0;::::1;;;6614:12;6606:48;;;::::0;-1:-1:-1;;;6606:48:0;;7249:2:1;6606:48:0::1;::::0;::::1;7231:21:1::0;7288:2;7268:18;;;7261:30;7327:25;7307:18;;;7300:53;7370:18;;6606:48:0::1;7047:347:1::0;6606:48:0::1;6675:11;:18:::0;;-1:-1:-1;;;;6704:18:0;-1:-1:-1;;;6704:18:0;;;6544:186::o;8269:335::-;-1:-1:-1;;;;;8362:19:0;;8354:68;;;;-1:-1:-1;;;8354:68:0;;7601:2:1;8354:68:0;;;7583:21:1;7640:2;7620:18;;;7613:30;7679:34;7659:18;;;7652:62;-1:-1:-1;;;7730:18:1;;;7723:34;7774:19;;8354:68:0;7399:400:1;8354:68:0;-1:-1:-1;;;;;8441:21:0;;8433:68;;;;-1:-1:-1;;;8433:68:0;;8006:2:1;8433:68:0;;;7988:21:1;8045:2;8025:18;;;8018:30;8084:34;8064:18;;;8057:62;-1:-1:-1;;;8135:18:1;;;8128:32;8177:19;;8433:68:0;7804:398:1;8433:68:0;-1:-1:-1;;;;;8512:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8564:32;;1410:25:1;;;8564:32:0;;1383:18:1;8564:32:0;;;;;;;;8269:335;;;:::o;8612:2612::-;-1:-1:-1;;;;;8706:18:0;;8698:68;;;;-1:-1:-1;;;8698:68:0;;8409:2:1;8698:68:0;;;8391:21:1;8448:2;8428:18;;;8421:30;8487:34;8467:18;;;8460:62;-1:-1:-1;;;8538:18:1;;;8531:35;8583:19;;8698:68:0;8207:401:1;8698:68:0;-1:-1:-1;;;;;8785:16:0;;8777:64;;;;-1:-1:-1;;;8777:64:0;;8815:2:1;8777:64:0;;;8797:21:1;8854:2;8834:18;;;8827:30;8893:34;8873:18;;;8866:62;-1:-1:-1;;;8944:18:1;;;8937:33;8987:19;;8777:64:0;8613:399:1;8777:64:0;8875:1;8860:12;:16;8852:70;;;;-1:-1:-1;;;8852:70:0;;9219:2:1;8852:70:0;;;9201:21:1;9258:2;9238:18;;;9231:30;9297:34;9277:18;;;9270:62;-1:-1:-1;;;9348:18:1;;;9341:39;9397:19;;8852:70:0;9017:405:1;8852:70:0;8947:11;;-1:-1:-1;;;8947:11:0;;;;8943:130;;-1:-1:-1;;;;;8982:24:0;;;;;;:18;:24;;;;;;;;;:50;;-1:-1:-1;;;;;;9010:22:0;;;;;;:18;:22;;;;;;;;8982:50;8974:87;;;;-1:-1:-1;;;8974:87:0;;9629:2:1;8974:87:0;;;9611:21:1;9668:2;9648:18;;;9641:30;9707:26;9687:18;;;9680:54;9751:18;;8974:87:0;9427:348:1;8974:87:0;9090:11;;-1:-1:-1;;;9090:11:0;;;;9089:12;;:22;;-1:-1:-1;9105:6:0;;-1:-1:-1;;;9105:6:0;;;;9089:22;9085:235;;;-1:-1:-1;;;;;9146:15:0;;;;;;:9;:15;;;;;;:30;;9164:12;;9146:30;:::i;:::-;-1:-1:-1;;;;;9128:15:0;;;;;;;:9;:15;;;;;;:48;;;;9207:13;;;;;;;:28;;9223:12;;9207:28;:::i;:::-;-1:-1:-1;;;;;9191:13:0;;;;;;;:9;:13;;;;;;;:44;;;;9255:32;;;;;;;;;;9274:12;1410:25:1;;1398:2;1383:18;;1264:177;9085:235:0;3509:7;3536:6;-1:-1:-1;;;;;9336:15:0;;;3536:6;;9336:15;;;;:32;;-1:-1:-1;3509:7:0;3536:6;-1:-1:-1;;;;;9355:13:0;;;3536:6;;9355:13;;9336:32;9332:1834;;;9389:20;;;;9385:522;;;9470:15;;-1:-1:-1;;;;;9456:30:0;;;9470:15;;9456:30;;;;:83;;-1:-1:-1;9525:13:0;;-1:-1:-1;;;;;9511:28:0;;;9525:13;;9511:28;;9456:83;9430:462;;;9645:9;9616:39;;;;:28;:39;;;;;;9658:12;-1:-1:-1;9582:213:0;;;;-1:-1:-1;;;9582:213:0;;10245:2:1;9582:213:0;;;10227:21:1;10284:2;10264:18;;;10257:30;10323:34;10303:18;;;10296:62;10394:34;10374:18;;;10367:62;-1:-1:-1;;;10445:19:1;;;10438:40;10495:19;;9582:213:0;10043:477:1;9582:213:0;9847:9;9818:39;;;;:28;:39;;;;;9860:12;9818:54;;9430:462;9953:13;;-1:-1:-1;;;;;9945:21:0;;;9953:13;;9945:21;:72;;;;-1:-1:-1;10001:15:0;;-1:-1:-1;;;;;9987:30:0;;;10001:15;;9987:30;;9945:72;:116;;;;-1:-1:-1;;;;;;10039:22:0;;;;;;:18;:22;;;;;;;;10038:23;9945:116;9923:450;;;10120:12;;10104;:28;;10096:66;;;;-1:-1:-1;;;10096:66:0;;10727:2:1;10096:66:0;;;10709:21:1;10766:2;10746:18;;;10739:30;10805:27;10785:18;;;10778:55;10850:18;;10096:66:0;10525:349:1;10096:66:0;10243:14;;10227:12;10211:13;10221:2;-1:-1:-1;;;;;7211:18:0;7184:7;7211:18;;;:9;:18;;;;;;;7118:119;10211:13;:28;;;;:::i;:::-;:46;;10181:146;;;;-1:-1:-1;;;10181:146:0;;11081:2:1;10181:146:0;;;11063:21:1;11120:2;11100:18;;;11093:30;11159:28;11139:18;;;11132:56;11205:18;;10181:146:0;10879:350:1;10181:146:0;10346:9;:11;;;:9;:11;;;:::i;:::-;;;;;;9923:450;10438:4;10389:28;7211:18;;;:9;:18;;;;;;10482:6;;-1:-1:-1;;;10482:6:0;;;;10481:7;:47;;;;-1:-1:-1;10515:13:0;;-1:-1:-1;;;;;10509:19:0;;;10515:13;;10509:19;10481:47;:79;;;;-1:-1:-1;10549:11:0;;-1:-1:-1;;;10549:11:0;;;;10481:79;:130;;;;;10593:18;;10581:9;;:30;10481:130;:176;;;;-1:-1:-1;;;;;;10633:24:0;;;;;;:18;:24;;;;;;;;10632:25;10481:176;:220;;;;-1:-1:-1;;;;;;10679:22:0;;;;;;:18;:22;;;;;;;;10678:23;10481:220;10459:696;;;10762:17;;10739:20;:40;10736:210;;;10803:123;10846:57;10850:12;10864:38;10868:20;10890:11;;10864:3;:38::i;:::-;10846:3;:57::i;:::-;10803:16;:123::i;:::-;10993:21;11085:35;11098:21;11085:12;:35::i;:::-;10717:438;10459:696;9370:1796;9332:1834;11178:38;11193:4;11199:2;11203:12;11178:14;:38::i;:::-;8612:2612;;;:::o;526:224::-;646:7;682:12;674:6;;;;666:29;;;;-1:-1:-1;;;666:29:0;;;;;;;;:::i;:::-;-1:-1:-1;706:9:0;718:5;722:1;718;:5;:::i;:::-;706:17;526:224;-1:-1:-1;;;;;526:224:0:o;13167:92::-;13224:10;;:27;;:10;;;;-1:-1:-1;;;;;13224:10:0;;:27;;;;;;;;;;;;:10;:27;;;;;;;;;;;;;;;;;;;;;13167:92;:::o;12843:107::-;12900:7;12932:1;12928;:5;12927:15;;12941:1;12927:15;;;12937:1;12927:15;12920:22;12843:107;-1:-1:-1;;;12843:107:0:o;12349:486::-;5400:6;:13;;-1:-1:-1;;;;5400:13:0;-1:-1:-1;;;5400:13:0;;;12452:16:::1;::::0;;12466:1:::1;12452:16:::0;;;;;::::1;::::0;;-1:-1:-1;;12452:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;12452:16:0::1;12428:40;;12497:4;12479;12484:1;12479:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12479:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;12523:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;12523:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;12479:7;;12523:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12513:4;12518:1;12513:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12513:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;12588:15:::1;::::0;12556:63:::1;::::0;12573:4:::1;::::0;12588:15:::1;12606:12:::0;12556:8:::1;:63::i;:::-;12630:15;::::0;:197:::1;::::0;-1:-1:-1;;;12630:197:0;;-1:-1:-1;;;;;12630:15:0;;::::1;::::0;:66:::1;::::0;:197:::1;::::0;12711:12;;12630:15:::1;::::0;12754:4;;12781::::1;::::0;12801:15:::1;::::0;12630:197:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5436:6:0;:14;;-1:-1:-1;;;;5436:14:0;;;-1:-1:-1;;;;12349:486:0:o;11232:1109::-;-1:-1:-1;;;;;11435:24:0;;11331:11;11435:24;;;:18;:24;;;;;;11331:11;;11407:12;;11435:24;;11430:594;;11482:116;11594:3;11482:93;11526:15;;11514:9;;:27;11513:61;;11560:14;;11513:61;;;11545:12;;11513:61;11482:12;;:30;:93::i;:::-;:111;;:116::i;:::-;11623:13;;11476:122;;-1:-1:-1;;;;;;11617:19:0;;;11623:13;;11617:19;:44;;;;-1:-1:-1;;;;;;11640:21:0;;11656:4;11640:21;;11617:44;11613:332;;;11688:241;11925:3;11688:210;11766:16;;11754:9;;:28;11753:122;;11860:15;;11753:122;;;11815:13;;11688:12;;:38;:210::i;:241::-;11682:247;;11613:332;11959:14;11970:3;11959:14;;:::i;:::-;;;12000:12;11988:24;;11430:594;12038:7;;12034:151;;12107:4;12089:24;;;;:9;:24;;;;;;:30;;12116:3;;12089:30;:::i;:::-;12080:4;12062:24;;;;:9;:24;;;;;;;:57;;;;12139:34;;-1:-1:-1;;;;;12139:34:0;;;;;;;12169:3;1410:25:1;;1398:2;1383:18;;1264:177;12139:34:0;;;;;;;;12034:151;-1:-1:-1;;;;;12213:15:0;;;;;;:9;:15;;;;;;:27;;12231:9;;12213:27;:::i;:::-;-1:-1:-1;;;;;12195:15:0;;;;;;;:9;:15;;;;;;:45;;;;12267:13;;;;;;;:23;;12283:7;;12267:23;:::i;:::-;-1:-1:-1;;;;;12251:13:0;;;;;;;:9;:13;;;;;;;:39;;;;12306:27;;;;;;;;;;12325:7;1410:25:1;;1398:2;1383:18;;1264:177;12306:27:0;;;;;;;;11313:1028;;;11232:1109;;;:::o;758:246::-;816:7;840:1;845;840:6;836:47;;-1:-1:-1;870:1:0;863:8;;836:47;893:9;905:5;909:1;905;:5;:::i;:::-;893:17;-1:-1:-1;938:1:0;929:5;933:1;893:17;929:5;:::i;:::-;:10;921:56;;;;-1:-1:-1;;;921:56:0;;13047:2:1;921:56:0;;;13029:21:1;13086:2;13066:18;;;13059:30;13125:34;13105:18;;;13098:62;-1:-1:-1;;;13176:18:1;;;13169:31;13217:19;;921:56:0;12845:397:1;1012:132:0;1070:7;1097:39;1101:1;1104;1097:39;;;;;;;;;;;;;;;;;1272:7;1307:12;1300:5;1292:28;;;;-1:-1:-1;;;1292:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1331:9:0;1343:5;1347:1;1343;:5;:::i;14:597: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;;;452:6;449:1;446:13;443:91;;;522:1;517:2;508:6;497:9;493:22;489:31;482:42;443:91;-1:-1:-1;595:2:1;574:15;-1:-1:-1;;570:29:1;555:45;;;;602:2;551:54;;14:597;-1:-1:-1;;;14:597:1:o;616:131::-;-1:-1:-1;;;;;691:31:1;;681:42;;671:70;;737:1;734;727:12;752:315;820:6;828;881:2;869:9;860:7;856:23;852:32;849:52;;;897:1;894;887:12;849:52;936:9;923:23;955:31;980:5;955:31;:::i;:::-;1005:5;1057:2;1042:18;;;;1029:32;;-1:-1:-1;;;752:315:1:o;1446:456::-;1523:6;1531;1539;1592:2;1580:9;1571:7;1567:23;1563:32;1560:52;;;1608:1;1605;1598:12;1560:52;1647:9;1634:23;1666:31;1691:5;1666:31;:::i;:::-;1716:5;-1:-1:-1;1773:2:1;1758:18;;1745:32;1786:33;1745:32;1786:33;:::i;:::-;1446:456;;1838:7;;-1:-1:-1;;;1892:2:1;1877:18;;;;1864:32;;1446:456::o;2096:247::-;2155:6;2208:2;2196:9;2187:7;2183:23;2179:32;2176:52;;;2224:1;2221;2214:12;2176:52;2263:9;2250:23;2282:31;2307:5;2282:31;:::i;2556:388::-;2624:6;2632;2685:2;2673:9;2664:7;2660:23;2656:32;2653:52;;;2701:1;2698;2691:12;2653:52;2740:9;2727:23;2759:31;2784:5;2759:31;:::i;:::-;2809:5;-1:-1:-1;2866:2:1;2851:18;;2838:32;2879:33;2838:32;2879:33;:::i;:::-;2931:7;2921:17;;;2556:388;;;;;:::o;2949:127::-;3010:10;3005:3;3001:20;2998:1;2991:31;3041:4;3038:1;3031:15;3065:4;3062:1;3055:15;3081:422;3170:1;3213:5;3170:1;3227:270;3248:7;3238:8;3235:21;3227:270;;;3307:4;3303:1;3299:6;3295:17;3289:4;3286:27;3283:53;;;3316:18;;:::i;:::-;3366:7;3356:8;3352:22;3349:55;;;3386:16;;;;3349:55;3465:22;;;;3425:15;;;;3227:270;;;3231:3;3081:422;;;;;:::o;3508:806::-;3557:5;3587:8;3577:80;;-1:-1:-1;3628:1:1;3642:5;;3577:80;3676:4;3666:76;;-1:-1:-1;3713:1:1;3727:5;;3666:76;3758:4;3776:1;3771:59;;;;3844:1;3839:130;;;;3751:218;;3771:59;3801:1;3792:10;;3815:5;;;3839:130;3876:3;3866:8;3863:17;3860:43;;;3883:18;;:::i;:::-;-1:-1:-1;;3939:1:1;3925:16;;3954:5;;3751:218;;4053:2;4043:8;4040:16;4034:3;4028:4;4025:13;4021:36;4015:2;4005:8;4002:16;3997:2;3991:4;3988:12;3984:35;3981:77;3978:159;;;-1:-1:-1;4090:19:1;;;4122:5;;3978:159;4169:34;4194:8;4188:4;4169:34;:::i;:::-;4239:6;4235:1;4231:6;4227:19;4218:7;4215:32;4212:58;;;4250:18;;:::i;:::-;4288:20;;3508:806;-1:-1:-1;;;3508:806:1:o;4319:140::-;4377:5;4406:47;4447:4;4437:8;4433:19;4427:4;4406:47;:::i;4464:168::-;4504:7;4570:1;4566;4562:6;4558:14;4555:1;4552:21;4547:1;4540:9;4533:17;4529:45;4526:71;;;4577:18;;:::i;:::-;-1:-1:-1;4617:9:1;;4464:168::o;4637:356::-;4839:2;4821:21;;;4858:18;;;4851:30;4917:34;4912:2;4897:18;;4890:62;4984:2;4969:18;;4637:356::o;4998:251::-;5068:6;5121:2;5109:9;5100:7;5096:23;5092:32;5089:52;;;5137:1;5134;5127:12;5089:52;5169:9;5163:16;5188:31;5213:5;5188:31;:::i;6175:306::-;6263:6;6271;6279;6332:2;6320:9;6311:7;6307:23;6303:32;6300:52;;;6348:1;6345;6338:12;6300:52;6377:9;6371:16;6361:26;;6427:2;6416:9;6412:18;6406:25;6396:35;;6471:2;6460:9;6456:18;6450:25;6440:35;;6175:306;;;;;:::o;6765:277::-;6832:6;6885:2;6873:9;6864:7;6860:23;6856:32;6853:52;;;6901:1;6898;6891:12;6853:52;6933:9;6927:16;6986:5;6979:13;6972:21;6965:5;6962:32;6952:60;;7008:1;7005;6998:12;9780:125;9820:4;9848:1;9845;9842:8;9839:34;;;9853:18;;:::i;:::-;-1:-1:-1;9890:9:1;;9780:125::o;9910:128::-;9950:3;9981:1;9977:6;9974:1;9971:13;9968:39;;;9987:18;;:::i;:::-;-1:-1:-1;10023:9:1;;9910:128::o;11234:135::-;11273:3;11294:17;;;11291:43;;11314:18;;:::i;:::-;-1:-1:-1;11361:1:1;11350:13;;11234:135::o;11506:127::-;11567:10;11562:3;11558:20;11555:1;11548:31;11598:4;11595:1;11588:15;11622:4;11619:1;11612:15;11638:980;11900:4;11948:3;11937:9;11933:19;11979:6;11968:9;11961:25;12005:2;12043:6;12038:2;12027:9;12023:18;12016:34;12086:3;12081:2;12070:9;12066:18;12059:31;12110:6;12145;12139:13;12176:6;12168;12161:22;12214:3;12203:9;12199:19;12192:26;;12253:2;12245:6;12241:15;12227:29;;12274:1;12284:195;12298:6;12295:1;12292:13;12284:195;;;12363:13;;-1:-1:-1;;;;;12359:39:1;12347:52;;12454:15;;;;12419:12;;;;12395:1;12313:9;12284:195;;;-1:-1:-1;;;;;;;12535:32:1;;;;12530:2;12515:18;;12508:60;-1:-1:-1;;;12599:3:1;12584:19;12577:35;12496:3;11638:980;-1:-1:-1;;;11638:980:1:o;12623:217::-;12663:1;12689;12679:132;;12733:10;12728:3;12724:20;12721:1;12714:31;12768:4;12765:1;12758:15;12796:4;12793:1;12786:15;12679:132;-1:-1:-1;12825:9:1;;12623:217::o

ipfs://70fc59025b239334f5448f8e569049a331ff4ac4bb3b6a5ff376dde1be4b233b