Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IUniswapV2Router02
•    - function swapExactTokensForETHSupport ...
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•    - function _msgSender()
• interface IERC20
•    - function totalSupply()
•    - function allowance(address owner, add ...
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function div(
•    - function sub(
•    - function div(uint256 a, uint256 b)
•    - function mul(uint256 a, uint256 b)
• interface IUniswapV2Factory
•    - function createPair(address tokenA, a ...
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•  contract TERMINUS is Context, IERC ... *
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function decimals()
•    - function name()
•    - function symbol()
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function _approve(
•    - function dropFee()
•    - function restoreFee()
•    - function _transfer(
•    - function min(uint256 a, uint256 b)
•    - function swapForEther(uint256 tokenAm ...
•    - function transferETHtoFee(uint256 amo ...
•    - function forceSwap()
•    - function manualSwap()
•    - function transfer(address recipient, ...
•    - function transferFrom(
•    - function _tokenTransfer(
•    - function _transferWrapper(
•    - function _getFeeValues(address from, ...
•    - function open()
•    - function rescueERC20(address _address ...
•    - function rescueETH()
•    - function removeLimits()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

/**
https://x.com/elonmusk/status/1823829223267848479
https://t.me/terminus_erc
 */
pragma solidity 0.8.25;

interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint256 amountIn,
        uint256 amountOutMin,
        address[] calldata path,
        address to,
        uint256 deadline
    ) external;

    function factory() external pure returns (address);

    function WETH() external pure returns (address);

    function addLiquidityETH(
        address token,
        uint256 amountTokenDesired,
        uint256 amountTokenMin,
        uint256 amountETHMin,
        address to,
        uint256 deadline
    )
        external
        payable
        returns (
            uint256 amountToken,
            uint256 amountETH,
            uint256 liquidity
        );
}

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

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

    function allowance(address owner, address spender)
        external
        view
        returns (uint256);

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

    function transfer(address recipient, uint256 amount)
        external
        returns (bool);

    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 div(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;
        return c;
    }

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

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

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

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

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

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

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

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

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

    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(
            newOwner != address(0),
            "Ownable: new owner is the zero address"
        );
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

contract TERMINUS is Context, IERC20, Ownable {
    using SafeMath for uint256;

    mapping(address => uint256) private _rOwned;

    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) private _isExcludedFromFee;
    mapping(address => bool) private _isExcludedMaxTransaction;

    uint8 private constant _decimals = 9;
    string private constant _name = unicode"THE FIRST CITY on MARS";
    string private constant _symbol = unicode"TERMINUS";
    uint256 private constant _rTotal = 1_000_000_000 * 10**9;

    uint256 private constant MAX = ~uint256(0);

    uint256 private _initBuyFee = 12;
    uint256 private _initSellFee = 12;
    uint256 private _finalBuyFee = 0;
    uint256 private _finalSellFee = 0;
    uint256 private _reduceFeeByTxAt = 40;
    uint256 private _preventTxBefore = 40;
    uint256 private _buyCount=0; 
    
    address payable private _taxWallet ;

    // Trade contstraints
    uint256 public _maxTradeValue = (_rTotal * 2) / 100;
    uint256 public _maxTotalTradeValue = (_rTotal * 2) / 100;
    uint256 public _maxValueToSwap = 0;

    IUniswapV2Router02 public uniswapV2Router;
    address public uniswapV2Pair;

    bool private swapEnabled = false;
    bool private swapping = false;
    bool private tradingAllowed = false;

    uint256 private _storageFee = 0;
    uint256 private _fee = 0;

    modifier lockTheSwap() {
        swapping = true;
        _;
        swapping = false;
    }

    constructor() {
        _rOwned[_msgSender()] = _rTotal;
        _taxWallet = payable(0xb1B6C80f4E487462a270E13618f45E58EcE7c6C5);
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[_taxWallet] = true;

        _isExcludedMaxTransaction[_taxWallet] = true;
        _isExcludedMaxTransaction[address(0)] = true;
        _isExcludedMaxTransaction[address(0xdead)] = true;
        emit Transfer(address(0), _msgSender(), _rTotal);
    }

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

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

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

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

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

    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 _approve(
        address owner,
        address spender,
        uint256 amount
    ) private {
        require(owner != address(0), "Can't approve from zero address");
        require(spender != address(0), "Can't approve to zero address");

        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    function dropFee() private {
        _storageFee = _fee;

        _fee = 0;
    }

    function restoreFee() private {
        _fee = _storageFee;
    }


    function _transfer(
        address from,
        address to,
        uint256 amount
    ) private {
        require(from != address(0), "Cant transfer from address zero");
        require(to != address(0), "Cant transfer to address zero");
        require(amount > 0, "Amount should be above zero");

        if (from != owner() && to != owner()) {
            //Trade start check
            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _isExcludedFromFee[to] ) {
                require(amount <= _maxTradeValue, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount <= _maxTotalTradeValue, "Exceeds the maxWalletSize.");
                _buyCount++;
            }

            if (to != uniswapV2Pair && !_isExcludedFromFee[to]) {
                require(balanceOf(to) + amount <= _maxTotalTradeValue, "Exceeds the maxWalletSize.");
            }

            uint256 contractTokenBalance = balanceOf(address(this));

            if (
                _buyCount > _preventTxBefore &&
                !swapping &&
                to == uniswapV2Pair &&
                swapEnabled &&
                !_isExcludedFromFee[from]
            ) {
                if(contractTokenBalance > _maxValueToSwap) swapForEther(min(amount, min(contractTokenBalance, _maxTradeValue)));
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance >= 0) {
                    transferETHtoFee(address(this).balance);
                }
            }
        }

        bool takeFee = !_isExcludedFromFee[from] && !_isExcludedFromFee[to];

        if (from == uniswapV2Pair && to != address(uniswapV2Router)) {
            _fee = _buyCount > _reduceFeeByTxAt ? _finalBuyFee : _initBuyFee;
            _buyCount ++ ;
        }

        if (to == uniswapV2Pair && from != address(uniswapV2Router)) {
            _fee = _buyCount > _reduceFeeByTxAt ? _finalSellFee : _initSellFee;
        }
        
        _tokenTransfer(from, to, amount, takeFee);
    }

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

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

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

    function forceSwap() external {
        require(_msgSender() == _taxWallet);
        uint256 contractETHBalance = address(this).balance;
        transferETHtoFee(contractETHBalance);
    }

    function manualSwap() external {
        require(_msgSender() == _taxWallet);
        uint256 contractBalance = balanceOf(address(this));
        swapForEther(contractBalance);
    }

    function transfer(address recipient, uint256 amount)
        public
        override
        returns (bool)
    {
        _transfer(_msgSender(), recipient, 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,
                "the transfer amount exceeds allowance"
            )
        );
        return true;
    }

    function _tokenTransfer(
        address sender,
        address recipient,
        uint256 amount,
        bool takeFee
    ) private {
        if (!takeFee) dropFee();
        _transferWrapper(sender, recipient, amount);
        if (!takeFee) restoreFee();
    }

    function _transferWrapper(
        address sender,
        address recipient,
        uint256 amount
    ) private {
         (uint256 rAmount, uint256 tAmount) = _getFeeValues(sender, amount);
        _rOwned[sender] = _rOwned[sender].sub(tAmount);
        _rOwned[recipient] = _rOwned[recipient].add(rAmount);
        emit Transfer(sender, recipient, tAmount);
    }

    function _getFeeValues(address from, uint256 amount)
        private
        view
        returns (
            uint256,
            uint256
        )
    {
        uint256 tTransferAmount = amount.mul(_fee).div(100);
        uint256 rAmount = amount.sub(tTransferAmount);
        uint256 tAmount = _isExcludedMaxTransaction[from] ? tTransferAmount : amount;
        return (rAmount, tAmount);
    }

    function open() external onlyOwner(){
        require(!tradingAllowed,"trading is already open");
        uniswapV2Router = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );
        _approve(address(this), address(uniswapV2Router), _rTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        _isExcludedFromFee[uniswapV2Pair] = true;
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = true;
        tradingAllowed = true;
    }

    function rescueERC20(address _address, uint256 percent) external onlyOwner {
        uint256 _amount = IERC20(_address)
            .balanceOf(address(this))
            .mul(percent)
            .div(100);
        IERC20(_address).transfer(owner(), _amount);
    }

    function rescueETH() external onlyOwner {
        require(address(this).balance > 0);
        payable(owner()).transfer(address(this).balance);
    }

    function removeLimits() external onlyOwner{
        _maxTotalTradeValue = _rTotal;
        _maxTradeValue=_rTotal;
    }


    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":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":"_maxTotalTradeValue","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTradeValue","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxValueToSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"forceSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"open","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":[{"internalType":"address","name":"_address","type":"address"},{"internalType":"uint256","name":"percent","type":"uint256"}],"name":"rescueERC20","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"rescueETH","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":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"uniswapV2Pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"uniswapV2Router","outputs":[{"internalType":"contract IUniswapV2Router02","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052600c600655600c600755600060085560006009556028600a556028600b556000600c556064670de0b6b3a7640000600261003e9190610205565b6100489190610230565b600e556064610060670de0b6b3a76400006002610205565b61006a9190610230565b600f55600060108190556012805462ffffff60a01b19169055601381905560145534801561009757600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350336000818152600260209081526040808320670de0b6b3a764000090819055600d80546001600160a01b03191673b1b6c80f4e487462a270e13618f45e58ece7c6c517815530855260048452828520805460ff19908116600190811790925586546001600160a01b03908116885285882080548316841790558354811688528588208054831684179055925490921686526005855283862080548316821790557f05b8ccbb9d4d8fb16ea74ce3c29a41f1b461fbdaff4714a0d9a8eb05499746bc805483168217905561dead86527f7d509c07f0d4edcc2dd1b53aae68677132eb562dcba78e36381b63ccaf66e6ba805490921617905590519081527fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3610252565b808202811582820484141761022a57634e487b7160e01b600052601160045260246000fd5b92915050565b60008261024d57634e487b7160e01b600052601260045260246000fd5b500490565b611ac4806102616000396000f3fe6080604052600436106101445760003560e01c8063715018a6116100b6578063a9059cbb1161006f578063a9059cbb146103b1578063dd62ed3e146103d1578063df778d2614610417578063e408c9f71461042c578063f2fde38b14610442578063fcfff16f1461046257600080fd5b8063715018a614610302578063751039fc1461031757806381ceadd81461032c5780638cd4426d146103425780638da5cb5b1461036257806395d89b411461038057600080fd5b806320800a001161010857806320800a001461024457806323b872dd1461025b578063313ce5671461027b57806349bd5a5e1461029757806351bc3c85146102b757806370a08231146102cc57600080fd5b806301ac2aa31461015057806306fdde0314610179578063095ea7b3146101c15780631694505e146101f157806318160ddd1461022957600080fd5b3661014b57005b600080fd5b34801561015c57600080fd5b50610166600e5481565b6040519081526020015b60405180910390f35b34801561018557600080fd5b506040805180820190915260168152755448452046495253542043495459206f6e204d41525360501b60208201525b6040516101709190611770565b3480156101cd57600080fd5b506101e16101dc3660046117d4565b610477565b6040519015158152602001610170565b3480156101fd57600080fd5b50601154610211906001600160a01b031681565b6040516001600160a01b039091168152602001610170565b34801561023557600080fd5b50670de0b6b3a7640000610166565b34801561025057600080fd5b5061025961048e565b005b34801561026757600080fd5b506101e1610276366004611800565b61050b565b34801561028757600080fd5b5060405160098152602001610170565b3480156102a357600080fd5b50601254610211906001600160a01b031681565b3480156102c357600080fd5b50610259610574565b3480156102d857600080fd5b506101666102e7366004611841565b6001600160a01b031660009081526002602052604090205490565b34801561030e57600080fd5b506102596105ad565b34801561032357600080fd5b50610259610621565b34801561033857600080fd5b50610166600f5481565b34801561034e57600080fd5b5061025961035d3660046117d4565b61065e565b34801561036e57600080fd5b506000546001600160a01b0316610211565b34801561038c57600080fd5b506040805180820190915260088152675445524d494e555360c01b60208201526101b4565b3480156103bd57600080fd5b506101e16103cc3660046117d4565b6107a6565b3480156103dd57600080fd5b506101666103ec36600461185e565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b34801561042357600080fd5b506102596107b3565b34801561043857600080fd5b5061016660105481565b34801561044e57600080fd5b5061025961045d366004611841565b6107dd565b34801561046e57600080fd5b506102596108c7565b6000610484338484610c92565b5060015b92915050565b6000546001600160a01b031633146104c15760405162461bcd60e51b81526004016104b890611897565b60405180910390fd5b600047116104ce57600080fd5b600080546040516001600160a01b03909116914780156108fc02929091818181858888f19350505050158015610508573d6000803e3d6000fd5b50565b6000610518848484610d9f565b61056a843361056585604051806060016040528060258152602001611a6a602591396001600160a01b038a1660009081526003602090815260408083203384529091529020549190611271565b610c92565b5060019392505050565b600d546001600160a01b0316336001600160a01b03161461059457600080fd5b30600090815260026020526040902054610508816112ab565b6000546001600160a01b031633146105d75760405162461bcd60e51b81526004016104b890611897565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b0316331461064b5760405162461bcd60e51b81526004016104b890611897565b670de0b6b3a7640000600f819055600e55565b6000546001600160a01b031633146106885760405162461bcd60e51b81526004016104b890611897565b6040516370a0823160e01b815230600482015260009061070c906064906107069085906001600160a01b038816906370a0823190602401602060405180830381865afa1580156106dc573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061070091906118cc565b90611425565b906114ae565b9050826001600160a01b031663a9059cbb61072f6000546001600160a01b031690565b6040516001600160e01b031960e084901b1681526001600160a01b039091166004820152602481018490526044016020604051808303816000875af115801561077c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107a091906118e5565b50505050565b6000610484338484610d9f565b600d546001600160a01b0316336001600160a01b0316146107d357600080fd5b47610508816114f0565b6000546001600160a01b031633146108075760405162461bcd60e51b81526004016104b890611897565b6001600160a01b03811661086c5760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084016104b8565b600080546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a3600080546001600160a01b0319166001600160a01b0392909216919091179055565b6000546001600160a01b031633146108f15760405162461bcd60e51b81526004016104b890611897565b601254600160b01b900460ff161561094b5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104b8565b601180546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d908117909155610988903090670de0b6b3a7640000610c92565b601160009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156109db573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109ff9190611907565b6001600160a01b031663c9c6539630601160009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610a61573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a859190611907565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610ad2573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610af69190611907565b601280546001600160a01b039283166001600160a01b031990911681179091556000908152600460205260409020805460ff191660011790556011541663f305d7194730610b59816001600160a01b031660009081526002602052604090205490565b600080610b6e6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610bd6573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610bfb9190611924565b505060125460115460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610c54573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c7891906118e5565b506012805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610ce85760405162461bcd60e51b815260206004820152601f60248201527f43616e277420617070726f76652066726f6d207a65726f20616464726573730060448201526064016104b8565b6001600160a01b038216610d3e5760405162461bcd60e51b815260206004820152601d60248201527f43616e277420617070726f766520746f207a65726f206164647265737300000060448201526064016104b8565b6001600160a01b0383811660008181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610df55760405162461bcd60e51b815260206004820152601f60248201527f43616e74207472616e736665722066726f6d2061646472657373207a65726f0060448201526064016104b8565b6001600160a01b038216610e4b5760405162461bcd60e51b815260206004820152601d60248201527f43616e74207472616e7366657220746f2061646472657373207a65726f00000060448201526064016104b8565b60008111610e9b5760405162461bcd60e51b815260206004820152601b60248201527f416d6f756e742073686f756c642062652061626f7665207a65726f000000000060448201526064016104b8565b6000546001600160a01b03848116911614801590610ec757506000546001600160a01b03838116911614155b15611175576012546001600160a01b038481169116148015610ef757506011546001600160a01b03838116911614155b8015610f1c57506001600160a01b03821660009081526004602052604090205460ff16155b1561100457600e54811115610f735760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104b8565b600f5481610f96846001600160a01b031660009081526002602052604090205490565b610fa09190611968565b1115610fee5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104b8565b600c8054906000610ffe8361197b565b91905055505b6012546001600160a01b0383811691161480159061103b57506001600160a01b03821660009081526004602052604090205460ff16155b156110bb57600f5481611063846001600160a01b031660009081526002602052604090205490565b61106d9190611968565b11156110bb5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104b8565b30600090815260026020526040902054600b54600c541180156110e85750601254600160a81b900460ff16155b801561110157506012546001600160a01b038481169116145b80156111165750601254600160a01b900460ff165b801561113b57506001600160a01b03841660009081526004602052604090205460ff16155b1561117357601054811115611167576111676111628361115d84600e5461152e565b61152e565b6112ab565b47611171476114f0565b505b505b6001600160a01b03831660009081526004602052604081205460ff161580156111b757506001600160a01b03831660009081526004602052604090205460ff16155b6012549091506001600160a01b0385811691161480156111e557506011546001600160a01b03848116911614155b1561121a57600a54600c54116111fd57600654611201565b6008545b601455600c80549060006112148361197b565b91905055505b6012546001600160a01b03848116911614801561124557506011546001600160a01b03858116911614155b1561126557600a54600c541161125d57600754611261565b6009545b6014555b6107a084848484611543565b600081848411156112955760405162461bcd60e51b81526004016104b89190611770565b5060006112a28486611994565b95945050505050565b6012805460ff60a81b1916600160a81b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106112f3576112f36119a7565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561134c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906113709190611907565b81600181518110611383576113836119a7565b6001600160a01b0392831660209182029290920101526011546113a99130911684610c92565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906113e29085906000908690309042906004016119bd565b600060405180830381600087803b1580156113fc57600080fd5b505af1158015611410573d6000803e3d6000fd5b50506012805460ff60a81b1916905550505050565b60008260000361143757506000610488565b60006114438385611a30565b9050826114508583611a47565b146114a75760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104b8565b9392505050565b60006114a783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611573565b600d546040516001600160a01b039091169082156108fc029083906000818181858888f1935050505015801561152a573d6000803e3d6000fd5b5050565b600081831161153d57826114a7565b50919050565b80611558576115586014805460135560009055565b6115638484846115a1565b806107a0576107a0601354601455565b600081836115945760405162461bcd60e51b81526004016104b89190611770565b5060006112a28486611a47565b6000806115ae8584611668565b6001600160a01b03871660009081526002602052604090205491935091506115d690826116cf565b6001600160a01b0380871660009081526002602052604080822093909355908616815220546116059083611711565b6001600160a01b0380861660008181526002602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906116599085815260200190565b60405180910390a35050505050565b600080600061168760646107066014548761142590919063ffffffff16565b9050600061169585836116cf565b6001600160a01b0387166000908152600560205260408120549192509060ff166116bf57856116c1565b825b919791965090945050505050565b60006114a783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611271565b60008061171e8385611968565b9050838110156114a75760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104b8565b60006020808352835180602085015260005b8181101561179e57858101830151858201604001528201611782565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461050857600080fd5b600080604083850312156117e757600080fd5b82356117f2816117bf565b946020939093013593505050565b60008060006060848603121561181557600080fd5b8335611820816117bf565b92506020840135611830816117bf565b929592945050506040919091013590565b60006020828403121561185357600080fd5b81356114a7816117bf565b6000806040838503121561187157600080fd5b823561187c816117bf565b9150602083013561188c816117bf565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6000602082840312156118de57600080fd5b5051919050565b6000602082840312156118f757600080fd5b815180151581146114a757600080fd5b60006020828403121561191957600080fd5b81516114a7816117bf565b60008060006060848603121561193957600080fd5b8351925060208401519150604084015190509250925092565b634e487b7160e01b600052601160045260246000fd5b8082018082111561048857610488611952565b60006001820161198d5761198d611952565b5060010190565b8181038181111561048857610488611952565b634e487b7160e01b600052603260045260246000fd5b600060a08201878352602087602085015260a0604085015281875180845260c08601915060208901935060005b81811015611a0f5784516001600160a01b0316835293830193918301916001016119ea565b50506001600160a01b03969096166060850152505050608001529392505050565b808202811582820484141761048857610488611952565b600082611a6457634e487b7160e01b600052601260045260246000fd5b50049056fe746865207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212203feb54978f33238385de5efe4b341c4f32b436bbb79bc9bc4c53f053c4f3d3ad64736f6c63430008190033

0x6080604052600436106101445760003560e01c8063715018a6116100b6578063a9059cbb1161006f578063a9059cbb146103b1578063dd62ed3e146103d1578063df778d2614610417578063e408c9f71461042c578063f2fde38b14610442578063fcfff16f1461046257600080fd5b8063715018a614610302578063751039fc1461031757806381ceadd81461032c5780638cd4426d146103425780638da5cb5b1461036257806395d89b411461038057600080fd5b806320800a001161010857806320800a001461024457806323b872dd1461025b578063313ce5671461027b57806349bd5a5e1461029757806351bc3c85146102b757806370a08231146102cc57600080fd5b806301ac2aa31461015057806306fdde0314610179578063095ea7b3146101c15780631694505e146101f157806318160ddd1461022957600080fd5b3661014b57005b600080fd5b34801561015c57600080fd5b50610166600e5481565b6040519081526020015b60405180910390f35b34801561018557600080fd5b506040805180820190915260168152755448452046495253542043495459206f6e204d41525360501b60208201525b6040516101709190611770565b3480156101cd57600080fd5b506101e16101dc3660046117d4565b610477565b6040519015158152602001610170565b3480156101fd57600080fd5b50601154610211906001600160a01b031681565b6040516001600160a01b039091168152602001610170565b34801561023557600080fd5b50670de0b6b3a7640000610166565b34801561025057600080fd5b5061025961048e565b005b34801561026757600080fd5b506101e1610276366004611800565b61050b565b34801561028757600080fd5b5060405160098152602001610170565b3480156102a357600080fd5b50601254610211906001600160a01b031681565b3480156102c357600080fd5b50610259610574565b3480156102d857600080fd5b506101666102e7366004611841565b6001600160a01b031660009081526002602052604090205490565b34801561030e57600080fd5b506102596105ad565b34801561032357600080fd5b50610259610621565b34801561033857600080fd5b50610166600f5481565b34801561034e57600080fd5b5061025961035d3660046117d4565b61065e565b34801561036e57600080fd5b506000546001600160a01b0316610211565b34801561038c57600080fd5b506040805180820190915260088152675445524d494e555360c01b60208201526101b4565b3480156103bd57600080fd5b506101e16103cc3660046117d4565b6107a6565b3480156103dd57600080fd5b506101666103ec36600461185e565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b34801561042357600080fd5b506102596107b3565b34801561043857600080fd5b5061016660105481565b34801561044e57600080fd5b5061025961045d366004611841565b6107dd565b34801561046e57600080fd5b506102596108c7565b6000610484338484610c92565b5060015b92915050565b6000546001600160a01b031633146104c15760405162461bcd60e51b81526004016104b890611897565b60405180910390fd5b600047116104ce57600080fd5b600080546040516001600160a01b03909116914780156108fc02929091818181858888f19350505050158015610508573d6000803e3d6000fd5b50565b6000610518848484610d9f565b61056a843361056585604051806060016040528060258152602001611a6a602591396001600160a01b038a1660009081526003602090815260408083203384529091529020549190611271565b610c92565b5060019392505050565b600d546001600160a01b0316336001600160a01b03161461059457600080fd5b30600090815260026020526040902054610508816112ab565b6000546001600160a01b031633146105d75760405162461bcd60e51b81526004016104b890611897565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b0316331461064b5760405162461bcd60e51b81526004016104b890611897565b670de0b6b3a7640000600f819055600e55565b6000546001600160a01b031633146106885760405162461bcd60e51b81526004016104b890611897565b6040516370a0823160e01b815230600482015260009061070c906064906107069085906001600160a01b038816906370a0823190602401602060405180830381865afa1580156106dc573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061070091906118cc565b90611425565b906114ae565b9050826001600160a01b031663a9059cbb61072f6000546001600160a01b031690565b6040516001600160e01b031960e084901b1681526001600160a01b039091166004820152602481018490526044016020604051808303816000875af115801561077c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107a091906118e5565b50505050565b6000610484338484610d9f565b600d546001600160a01b0316336001600160a01b0316146107d357600080fd5b47610508816114f0565b6000546001600160a01b031633146108075760405162461bcd60e51b81526004016104b890611897565b6001600160a01b03811661086c5760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084016104b8565b600080546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a3600080546001600160a01b0319166001600160a01b0392909216919091179055565b6000546001600160a01b031633146108f15760405162461bcd60e51b81526004016104b890611897565b601254600160b01b900460ff161561094b5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104b8565b601180546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d908117909155610988903090670de0b6b3a7640000610c92565b601160009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156109db573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109ff9190611907565b6001600160a01b031663c9c6539630601160009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610a61573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a859190611907565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610ad2573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610af69190611907565b601280546001600160a01b039283166001600160a01b031990911681179091556000908152600460205260409020805460ff191660011790556011541663f305d7194730610b59816001600160a01b031660009081526002602052604090205490565b600080610b6e6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610bd6573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610bfb9190611924565b505060125460115460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610c54573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c7891906118e5565b506012805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610ce85760405162461bcd60e51b815260206004820152601f60248201527f43616e277420617070726f76652066726f6d207a65726f20616464726573730060448201526064016104b8565b6001600160a01b038216610d3e5760405162461bcd60e51b815260206004820152601d60248201527f43616e277420617070726f766520746f207a65726f206164647265737300000060448201526064016104b8565b6001600160a01b0383811660008181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610df55760405162461bcd60e51b815260206004820152601f60248201527f43616e74207472616e736665722066726f6d2061646472657373207a65726f0060448201526064016104b8565b6001600160a01b038216610e4b5760405162461bcd60e51b815260206004820152601d60248201527f43616e74207472616e7366657220746f2061646472657373207a65726f00000060448201526064016104b8565b60008111610e9b5760405162461bcd60e51b815260206004820152601b60248201527f416d6f756e742073686f756c642062652061626f7665207a65726f000000000060448201526064016104b8565b6000546001600160a01b03848116911614801590610ec757506000546001600160a01b03838116911614155b15611175576012546001600160a01b038481169116148015610ef757506011546001600160a01b03838116911614155b8015610f1c57506001600160a01b03821660009081526004602052604090205460ff16155b1561100457600e54811115610f735760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104b8565b600f5481610f96846001600160a01b031660009081526002602052604090205490565b610fa09190611968565b1115610fee5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104b8565b600c8054906000610ffe8361197b565b91905055505b6012546001600160a01b0383811691161480159061103b57506001600160a01b03821660009081526004602052604090205460ff16155b156110bb57600f5481611063846001600160a01b031660009081526002602052604090205490565b61106d9190611968565b11156110bb5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104b8565b30600090815260026020526040902054600b54600c541180156110e85750601254600160a81b900460ff16155b801561110157506012546001600160a01b038481169116145b80156111165750601254600160a01b900460ff165b801561113b57506001600160a01b03841660009081526004602052604090205460ff16155b1561117357601054811115611167576111676111628361115d84600e5461152e565b61152e565b6112ab565b47611171476114f0565b505b505b6001600160a01b03831660009081526004602052604081205460ff161580156111b757506001600160a01b03831660009081526004602052604090205460ff16155b6012549091506001600160a01b0385811691161480156111e557506011546001600160a01b03848116911614155b1561121a57600a54600c54116111fd57600654611201565b6008545b601455600c80549060006112148361197b565b91905055505b6012546001600160a01b03848116911614801561124557506011546001600160a01b03858116911614155b1561126557600a54600c541161125d57600754611261565b6009545b6014555b6107a084848484611543565b600081848411156112955760405162461bcd60e51b81526004016104b89190611770565b5060006112a28486611994565b95945050505050565b6012805460ff60a81b1916600160a81b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106112f3576112f36119a7565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561134c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906113709190611907565b81600181518110611383576113836119a7565b6001600160a01b0392831660209182029290920101526011546113a99130911684610c92565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906113e29085906000908690309042906004016119bd565b600060405180830381600087803b1580156113fc57600080fd5b505af1158015611410573d6000803e3d6000fd5b50506012805460ff60a81b1916905550505050565b60008260000361143757506000610488565b60006114438385611a30565b9050826114508583611a47565b146114a75760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104b8565b9392505050565b60006114a783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611573565b600d546040516001600160a01b039091169082156108fc029083906000818181858888f1935050505015801561152a573d6000803e3d6000fd5b5050565b600081831161153d57826114a7565b50919050565b80611558576115586014805460135560009055565b6115638484846115a1565b806107a0576107a0601354601455565b600081836115945760405162461bcd60e51b81526004016104b89190611770565b5060006112a28486611a47565b6000806115ae8584611668565b6001600160a01b03871660009081526002602052604090205491935091506115d690826116cf565b6001600160a01b0380871660009081526002602052604080822093909355908616815220546116059083611711565b6001600160a01b0380861660008181526002602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906116599085815260200190565b60405180910390a35050505050565b600080600061168760646107066014548761142590919063ffffffff16565b9050600061169585836116cf565b6001600160a01b0387166000908152600560205260408120549192509060ff166116bf57856116c1565b825b919791965090945050505050565b60006114a783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611271565b60008061171e8385611968565b9050838110156114a75760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104b8565b60006020808352835180602085015260005b8181101561179e57858101830151858201604001528201611782565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461050857600080fd5b600080604083850312156117e757600080fd5b82356117f2816117bf565b946020939093013593505050565b60008060006060848603121561181557600080fd5b8335611820816117bf565b92506020840135611830816117bf565b929592945050506040919091013590565b60006020828403121561185357600080fd5b81356114a7816117bf565b6000806040838503121561187157600080fd5b823561187c816117bf565b9150602083013561188c816117bf565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6000602082840312156118de57600080fd5b5051919050565b6000602082840312156118f757600080fd5b815180151581146114a757600080fd5b60006020828403121561191957600080fd5b81516114a7816117bf565b60008060006060848603121561193957600080fd5b8351925060208401519150604084015190509250925092565b634e487b7160e01b600052601160045260246000fd5b8082018082111561048857610488611952565b60006001820161198d5761198d611952565b5060010190565b8181038181111561048857610488611952565b634e487b7160e01b600052603260045260246000fd5b600060a08201878352602087602085015260a0604085015281875180845260c08601915060208901935060005b81811015611a0f5784516001600160a01b0316835293830193918301916001016119ea565b50506001600160a01b03969096166060850152505050608001529392505050565b808202811582820484141761048857610488611952565b600082611a6457634e487b7160e01b600052601260045260246000fd5b50049056fe746865207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212203feb54978f33238385de5efe4b341c4f32b436bbb79bc9bc4c53f053c4f3d3ad64736f6c63430008190033

4231:9760:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5215:51;;;;;;;;;;;;;;;;;;;160:25:1;;;148:2;133:18;5215:51:0;;;;;;;;6599:83;;;;;;;;;;-1:-1:-1;6669:5:0;;;;;;;;;;;;-1:-1:-1;;;6669:5:0;;;;6599:83;;;;;;;:::i;6977:193::-;;;;;;;;;;-1:-1:-1;6977:193:0;;;;;:::i;:::-;;:::i;:::-;;;1370:14:1;;1363:22;1345:41;;1333:2;1318:18;6977:193:0;1205:187:1;5379:41:0;;;;;;;;;;-1:-1:-1;5379:41:0;;;;-1:-1:-1;;;;;5379:41:0;;;;;;-1:-1:-1;;;;;1586:32:1;;;1568:51;;1556:2;1541:18;5379:41:0;1397:228:1;6280:95:0;;;;;;;;;;-1:-1:-1;4776:21:0;6280:95;;13666:152;;;;;;;;;;;;;:::i;:::-;;11099:443;;;;;;;;;;-1:-1:-1;11099:443:0;;;;;:::i;:::-;;:::i;6508:83::-;;;;;;;;;;-1:-1:-1;6508:83:0;;4605:1;2233:36:1;;2221:2;2206:18;6508:83:0;2091:184:1;5427:28:0;;;;;;;;;;-1:-1:-1;5427:28:0;;;;-1:-1:-1;;;;;5427:28:0;;;10698:186;;;;;;;;;;;;;:::i;6383:117::-;;;;;;;;;;-1:-1:-1;6383:117:0;;;;;:::i;:::-;-1:-1:-1;;;;;6476:16:0;6449:7;6476:16;;;:7;:16;;;;;;;6383:117;3787:148;;;;;;;;;;;;;:::i;13826:123::-;;;;;;;;;;;;;:::i;5273:56::-;;;;;;;;;;;;;;;;13387:271;;;;;;;;;;-1:-1:-1;13387:271:0;;;;;:::i;:::-;;:::i;3700:79::-;;;;;;;;;;-1:-1:-1;3738:7:0;3765:6;-1:-1:-1;;;;;3765:6:0;3700:79;;6690:87;;;;;;;;;;-1:-1:-1;6762:7:0;;;;;;;;;;;;-1:-1:-1;;;6762:7:0;;;;6690:87;;10892:199;;;;;;;;;;-1:-1:-1;10892:199:0;;;;;:::i;:::-;;:::i;6785:184::-;;;;;;;;;;-1:-1:-1;6785:184:0;;;;;:::i;:::-;-1:-1:-1;;;;;6934:18:0;;;6902:7;6934:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6785:184;10498:192;;;;;;;;;;;;;:::i;5336:34::-;;;;;;;;;;;;;;;;3943:281;;;;;;;;;;-1:-1:-1;3943:281:0;;;;;:::i;:::-;;:::i;12635:744::-;;;;;;;;;;;;;:::i;6977:193::-;7079:4;7101:39;1012:10;7124:7;7133:6;7101:8;:39::i;:::-;-1:-1:-1;7158:4:0;6977:193;;;;;:::o;13666:152::-;3613:6;;-1:-1:-1;;;;;3613:6:0;1012:10;3613:22;3605:67;;;;-1:-1:-1;;;3605:67:0;;;;;;;:::i;:::-;;;;;;;;;13749:1:::1;13725:21;:25;13717:34;;;::::0;::::1;;3738:7:::0;3765:6;;13762:48:::1;::::0;-1:-1:-1;;;;;3765:6:0;;;;13788:21:::1;13762:48:::0;::::1;;;::::0;13788:21;;13762:48;3738:7;13762:48;13788:21;3765:6;13762:48;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;13666:152::o:0;11099:443::-;11231:4;11248:36;11258:6;11266:9;11277:6;11248:9;:36::i;:::-;11295:217;11318:6;1012:10;11366:135;11422:6;11366:135;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;11366:19:0;;;;;;:11;:19;;;;;;;;1012:10;11366:33;;;;;;;;;;:37;:135::i;:::-;11295:8;:217::i;:::-;-1:-1:-1;11530:4:0;11099:443;;;;;:::o;10698:186::-;10764:10;;-1:-1:-1;;;;;10764:10:0;1012;-1:-1:-1;;;;;10748:26:0;;10740:35;;;;;;10830:4;10786:23;6476:16;;;:7;:16;;;;;;10847:29;6476:16;10847:12;:29::i;3787:148::-;3613:6;;-1:-1:-1;;;;;3613:6:0;1012:10;3613:22;3605:67;;;;-1:-1:-1;;;3605:67:0;;;;;;;:::i;:::-;3894:1:::1;3878:6:::0;;3857:40:::1;::::0;-1:-1:-1;;;;;3878:6:0;;::::1;::::0;3857:40:::1;::::0;3894:1;;3857:40:::1;3925:1;3908:19:::0;;-1:-1:-1;;;;;;3908:19:0::1;::::0;;3787:148::o;13826:123::-;3613:6;;-1:-1:-1;;;;;3613:6:0;1012:10;3613:22;3605:67;;;;-1:-1:-1;;;3605:67:0;;;;;;;:::i;:::-;4776:21:::1;13879:19;:29:::0;;;13919:14:::1;:22:::0;13826:123::o;13387:271::-;3613:6;;-1:-1:-1;;;;;3613:6:0;1012:10;3613:22;3605:67;;;;-1:-1:-1;;;3605:67:0;;;;;;;:::i;:::-;13491:55:::1;::::0;-1:-1:-1;;;13491:55:0;;13540:4:::1;13491:55;::::0;::::1;1568:51:1::0;13473:15:0::1;::::0;13491:105:::1;::::0;13592:3:::1;::::0;13491:82:::1;::::0;13565:7;;-1:-1:-1;;;;;13491:40:0;::::1;::::0;::::1;::::0;1541:18:1;;13491:55:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:73:::0;::::1;:82::i;:::-;:100:::0;::::1;:105::i;:::-;13473:123;;13614:8;-1:-1:-1::0;;;;;13607:25:0::1;;13633:7;3738::::0;3765:6;-1:-1:-1;;;;;3765:6:0;;3700:79;13633:7:::1;13607:43;::::0;-1:-1:-1;;;;;;13607:43:0::1;::::0;;;;;;-1:-1:-1;;;;;3875:32:1;;;13607:43:0::1;::::0;::::1;3857:51:1::0;3924:18;;;3917:34;;;3830:18;;13607:43:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;13462:196;13387:271:::0;;:::o;10892:199::-;10997:4;11019:42;1012:10;11043:9;11054:6;11019:9;:42::i;10498:192::-;10563:10;;-1:-1:-1;;;;;10563:10:0;1012;-1:-1:-1;;;;;10547:26:0;;10539:35;;;;;;10614:21;10646:36;10614:21;10646:16;:36::i;3943:281::-;3613:6;;-1:-1:-1;;;;;3613:6:0;1012:10;3613:22;3605:67;;;;-1:-1:-1;;;3605:67:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;4046:22:0;::::1;4024:110;;;::::0;-1:-1:-1;;;4024:110:0;;4446:2:1;4024:110:0::1;::::0;::::1;4428:21:1::0;4485:2;4465:18;;;4458:30;4524:34;4504:18;;;4497:62;-1:-1:-1;;;4575:18:1;;;4568:36;4621:19;;4024:110:0::1;4244:402:1::0;4024:110:0::1;4171:6;::::0;;4150:38:::1;::::0;-1:-1:-1;;;;;4150:38:0;;::::1;::::0;4171:6;::::1;::::0;4150:38:::1;::::0;::::1;4199:6;:17:::0;;-1:-1:-1;;;;;;4199:17:0::1;-1:-1:-1::0;;;;;4199:17:0;;;::::1;::::0;;;::::1;::::0;;3943:281::o;12635:744::-;3613:6;;-1:-1:-1;;;;;3613:6:0;1012:10;3613:22;3605:67;;;;-1:-1:-1;;;3605:67:0;;;;;;;:::i;:::-;12691:14:::1;::::0;-1:-1:-1;;;12691:14:0;::::1;;;12690:15;12682:50;;;::::0;-1:-1:-1;;;12682:50:0;;4853:2:1;12682:50:0::1;::::0;::::1;4835:21:1::0;4892:2;4872:18;;;4865:30;4931:25;4911:18;;;4904:53;4974:18;;12682:50:0::1;4651:347:1::0;12682:50:0::1;12743:15;:104:::0;;-1:-1:-1;;;;;;12743:104:0::1;12794:42;12743:104:::0;;::::1;::::0;;;12858:58:::1;::::0;12875:4:::1;::::0;4776:21:::1;12858:8;:58::i;:::-;12961:15;;;;;;;;;-1:-1:-1::0;;;;;12961:15:0::1;-1:-1:-1::0;;;;;12961:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12943:55:0::1;;13007:4;13014:15;;;;;;;;;-1:-1:-1::0;;;;;13014:15:0::1;-1:-1:-1::0;;;;;13014:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12943:94;::::0;-1:-1:-1;;;;;;12943:94:0::1;::::0;;;;;;-1:-1:-1;;;;;5489:15:1;;;12943:94:0::1;::::0;::::1;5471:34:1::0;5541:15;;5521:18;;;5514:43;5406:18;;12943:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12927:13;:110:::0;;-1:-1:-1;;;;;12927:110:0;;::::1;-1:-1:-1::0;;;;;;12927:110:0;;::::1;::::0;::::1;::::0;;;:13:::1;13048:33:::0;;;:18:::1;:33;::::0;;;;:40;;-1:-1:-1;;13048:40:0::1;12927:110:::0;13048:40:::1;::::0;;13099:15:::1;::::0;::::1;:31;13138:21;13169:4;13175:24;13169:4:::0;-1:-1:-1;;;;;6476:16:0;6449:7;6476:16;;;:7;:16;;;;;;;6383:117;13175:24:::1;13200:1;13202::::0;13204:7:::1;3738::::0;3765:6;-1:-1:-1;;;;;3765:6:0;;3700:79;13204:7:::1;13099:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;13099:129:0;;;-1:-1:-1;;;;;5927:15:1;;;13099:129:0::1;::::0;::::1;5909:34:1::0;5959:18;;;5952:34;;;;6002:18;;;5995:34;;;;6045:18;;;6038:34;6109:15;;;6088:19;;;6081:44;13212:15:0::1;6141:19:1::0;;;6134:35;5843:19;;13099:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;13246:13:0::1;::::0;13277:15:::1;::::0;13239:71:::1;::::0;-1:-1:-1;;;13239:71:0;;-1:-1:-1;;;;;13277:15:0;;::::1;13239:71;::::0;::::1;3857:51:1::0;-1:-1:-1;;3924:18:1;;;3917:34;13246:13:0;::::1;::::0;-1:-1:-1;13239:29:0::1;::::0;3830:18:1;;13239:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;13321:11:0::1;:18:::0;;-1:-1:-1;;;;13350:21:0;-1:-1:-1;;;13350:21:0;;;12635:744::o;7178:361::-;-1:-1:-1;;;;;7305:19:0;;7297:63;;;;-1:-1:-1;;;7297:63:0;;6693:2:1;7297:63:0;;;6675:21:1;6732:2;6712:18;;;6705:30;6771:33;6751:18;;;6744:61;6822:18;;7297:63:0;6491:355:1;7297:63:0;-1:-1:-1;;;;;7379:21:0;;7371:63;;;;-1:-1:-1;;;7371:63:0;;7053:2:1;7371:63:0;;;7035:21:1;7092:2;7072:18;;;7065:30;7131:31;7111:18;;;7104:59;7180:18;;7371:63:0;6851:353:1;7371:63:0;-1:-1:-1;;;;;7447:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7499:32;;160:25:1;;;7499:32:0;;133:18:1;7499:32:0;;;;;;;7178:361;;;:::o;7717:2076::-;-1:-1:-1;;;;;7839:18:0;;7831:62;;;;-1:-1:-1;;;7831:62:0;;7411:2:1;7831:62:0;;;7393:21:1;7450:2;7430:18;;;7423:30;7489:33;7469:18;;;7462:61;7540:18;;7831:62:0;7209:355:1;7831:62:0;-1:-1:-1;;;;;7912:16:0;;7904:58;;;;-1:-1:-1;;;7904:58:0;;7771:2:1;7904:58:0;;;7753:21:1;7810:2;7790:18;;;7783:30;7849:31;7829:18;;;7822:59;7898:18;;7904:58:0;7569:353:1;7904:58:0;7990:1;7981:6;:10;7973:50;;;;-1:-1:-1;;;7973:50:0;;8129:2:1;7973:50:0;;;8111:21:1;8168:2;8148:18;;;8141:30;8207:29;8187:18;;;8180:57;8254:18;;7973:50:0;7927:351:1;7973:50:0;3738:7;3765:6;-1:-1:-1;;;;;8040:15:0;;;3765:6;;8040:15;;;;:32;;-1:-1:-1;3738:7:0;3765:6;-1:-1:-1;;;;;8059:13:0;;;3765:6;;8059:13;;8040:32;8036:1250;;;8134:13;;-1:-1:-1;;;;;8126:21:0;;;8134:13;;8126:21;:55;;;;-1:-1:-1;8165:15:0;;-1:-1:-1;;;;;8151:30:0;;;8165:15;;8151:30;;8126:55;:83;;;;-1:-1:-1;;;;;;8187:22:0;;;;;;:18;:22;;;;;;;;8185:24;8126:83;8122:320;;;8249:14;;8239:6;:24;;8231:62;;;;-1:-1:-1;;;8231:62:0;;8485:2:1;8231:62:0;;;8467:21:1;8524:2;8504:18;;;8497:30;8563:27;8543:18;;;8536:55;8608:18;;8231:62:0;8283:349:1;8231:62:0;8346:19;;8336:6;8320:13;8330:2;-1:-1:-1;;;;;6476:16:0;6449:7;6476:16;;;:7;:16;;;;;;;6383:117;8320:13;:22;;;;:::i;:::-;:45;;8312:84;;;;-1:-1:-1;;;8312:84:0;;9101:2:1;8312:84:0;;;9083:21:1;9140:2;9120:18;;;9113:30;9179:28;9159:18;;;9152:56;9225:18;;8312:84:0;8899:350:1;8312:84:0;8415:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8122:320;8468:13;;-1:-1:-1;;;;;8462:19:0;;;8468:13;;8462:19;;;;:46;;-1:-1:-1;;;;;;8486:22:0;;;;;;:18;:22;;;;;;;;8485:23;8462:46;8458:171;;;8563:19;;8553:6;8537:13;8547:2;-1:-1:-1;;;;;6476:16:0;6449:7;6476:16;;;:7;:16;;;;;;;6383:117;8537:13;:22;;;;:::i;:::-;:45;;8529:84;;;;-1:-1:-1;;;8529:84:0;;9101:2:1;8529:84:0;;;9083:21:1;9140:2;9120:18;;;9113:30;9179:28;9159:18;;;9152:56;9225:18;;8529:84:0;8899:350:1;8529:84:0;8694:4;8645:28;6476:16;;;:7;:16;;;;;;8751;;8739:9;;:28;:58;;;;-1:-1:-1;8789:8:0;;-1:-1:-1;;;8789:8:0;;;;8788:9;8739:58;:98;;;;-1:-1:-1;8824:13:0;;-1:-1:-1;;;;;8818:19:0;;;8824:13;;8818:19;8739:98;:130;;;;-1:-1:-1;8858:11:0;;-1:-1:-1;;;8858:11:0;;;;8739:130;:176;;;;-1:-1:-1;;;;;;8891:24:0;;;;;;:18;:24;;;;;;;;8890:25;8739:176;8717:558;;;8976:15;;8953:20;:38;8950:111;;;8993:68;9006:54;9010:6;9018:41;9022:20;9044:14;;9018:3;:41::i;:::-;9006:3;:54::i;:::-;8993:12;:68::i;:::-;9109:21;9201:39;9218:21;9201:16;:39::i;:::-;8931:344;8717:558;8074:1212;8036:1250;-1:-1:-1;;;;;9314:24:0;;9298:12;9314:24;;;:18;:24;;;;;;;;9313:25;:52;;;;-1:-1:-1;;;;;;9343:22:0;;;;;;:18;:22;;;;;;;;9342:23;9313:52;9390:13;;9298:67;;-1:-1:-1;;;;;;9382:21:0;;;9390:13;;9382:21;:55;;;;-1:-1:-1;9421:15:0;;-1:-1:-1;;;;;9407:30:0;;;9421:15;;9407:30;;9382:55;9378:180;;;9473:16;;9461:9;;:28;:57;;9507:11;;9461:57;;;9492:12;;9461:57;9454:4;:64;9533:9;:12;;;:9;:12;;;:::i;:::-;;;;;;9378:180;9580:13;;-1:-1:-1;;;;;9574:19:0;;;9580:13;;9574:19;:55;;;;-1:-1:-1;9613:15:0;;-1:-1:-1;;;;;9597:32:0;;;9613:15;;9597:32;;9574:55;9570:154;;;9665:16;;9653:9;;:28;:59;;9700:12;;9653:59;;;9684:13;;9653:59;9646:4;:66;9570:154;9744:41;9759:4;9765:2;9769:6;9777:7;9744:14;:41::i;2425:224::-;2545:7;2581:12;2573:6;;;;2565:29;;;;-1:-1:-1;;;2565:29:0;;;;;;;;:::i;:::-;-1:-1:-1;2605:9:0;2617:5;2621:1;2617;:5;:::i;:::-;2605:17;2425:224;-1:-1:-1;;;;;2425:224:0:o;9907:479::-;5688:8;:15;;-1:-1:-1;;;;5688:15:0;-1:-1:-1;;;5688:15:0;;;10005:16:::1;::::0;;10019:1:::1;10005:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10005:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10005:16:0::1;9981:40;;10050:4;10032;10037:1;10032:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10032:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10076:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10076:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10032:7;;10076:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10066:4;10071:1;10066:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10066:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10141:15:::1;::::0;10109:62:::1;::::0;10126:4:::1;::::0;10141:15:::1;10159:11:::0;10109:8:::1;:62::i;:::-;10182:15;::::0;:196:::1;::::0;-1:-1:-1;;;10182:196:0;;-1:-1:-1;;;;;10182:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10263:11;;10182:15:::1;::::0;10305:4;;10332::::1;::::0;10352:15:::1;::::0;10182:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5726:8:0;:16;;-1:-1:-1;;;;5726:16:0;;;-1:-1:-1;;;;9907:479:0:o;2797:246::-;2855:7;2879:1;2884;2879:6;2875:47;;-1:-1:-1;2909:1:0;2902:8;;2875:47;2932:9;2944:5;2948:1;2944;:5;:::i;:::-;2932:17;-1:-1:-1;2977:1:0;2968:5;2972:1;2932:17;2968:5;:::i;:::-;:10;2960:56;;;;-1:-1:-1;;;2960:56:0;;11373:2:1;2960:56:0;;;11355:21:1;11412:2;11392:18;;;11385:30;11451:34;11431:18;;;11424:62;-1:-1:-1;;;11502:18:1;;;11495:31;11543:19;;2960:56:0;11171:397:1;2960:56:0;3034:1;2797:246;-1:-1:-1;;;2797:246:0:o;2657:132::-;2715:7;2742:39;2746:1;2749;2742:39;;;;;;;;;;;;;;;;;:3;:39::i;10394:96::-;10455:10;;:27;;-1:-1:-1;;;;;10455:10:0;;;;:27;;;;;10475:6;;10455:10;:27;:10;:27;10475:6;10455:10;:27;;;;;;;;;;;;;;;;;;;;;10394:96;:::o;9801:98::-;9858:7;9885:1;9883;:3;9882:9;;9890:1;9882:9;;;-1:-1:-1;9888:1:0;9801:98;-1:-1:-1;9801:98:0:o;11550:273::-;11706:7;11701:23;;11715:9;7599:4;;;7585:11;:18;-1:-1:-1;7616:8:0;;7547:85;11715:9;11735:43;11752:6;11760:9;11771:6;11735:16;:43::i;:::-;11794:7;11789:26;;11803:12;7688:11;;7681:4;:18;7640:67;2194:223;2314:7;2349:12;2342:5;2334:28;;;;-1:-1:-1;;;2334:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2373:9:0;2385:5;2389:1;2385;:5;:::i;11831:377::-;11963:15;11980;11999:29;12013:6;12021;11999:13;:29::i;:::-;-1:-1:-1;;;;;12057:15:0;;;;;;:7;:15;;;;;;11962:66;;-1:-1:-1;11962:66:0;-1:-1:-1;12057:28:0;;11962:66;12057:19;:28::i;:::-;-1:-1:-1;;;;;12039:15:0;;;;;;;:7;:15;;;;;;:46;;;;12117:18;;;;;;;:31;;12140:7;12117:22;:31::i;:::-;-1:-1:-1;;;;;12096:18:0;;;;;;;:7;:18;;;;;;;:52;;;;12164:36;;;;;;;;;;12192:7;160:25:1;;148:2;133:18;;14:177;12164:36:0;;;;;;;;11950:258;;11831:377;;;:::o;12216:411::-;12332:7;12354;12389:23;12415:25;12436:3;12415:16;12426:4;;12415:6;:10;;:16;;;;:::i;:25::-;12389:51;-1:-1:-1;12451:15:0;12469:27;:6;12389:51;12469:10;:27::i;:::-;-1:-1:-1;;;;;12525:31:0;;12507:15;12525:31;;;:25;:31;;;;;;12451:45;;-1:-1:-1;12507:15:0;12525:31;;:58;;12577:6;12525:58;;;12559:15;12525:58;12602:7;;;;-1:-1:-1;12216:411:0;;-1:-1:-1;;;;;12216:411:0:o;2050:136::-;2108:7;2135:43;2139:1;2142;2135:43;;;;;;;;;;;;;;;;;:3;:43::i;1863:179::-;1921:7;;1953:5;1957:1;1953;:5;:::i;:::-;1941:17;;1982:1;1977;:6;;1969:46;;;;-1:-1:-1;;;1969:46:0;;11775:2:1;1969:46:0;;;11757:21:1;11814:2;11794:18;;;11787:30;11853:29;11833:18;;;11826:57;11900:18;;1969:46:0;11573:351:1;196:548;308:4;337:2;366;355:9;348:21;398:6;392:13;441:6;436:2;425:9;421:18;414:34;466:1;476:140;490:6;487:1;484:13;476:140;;;585:14;;;581:23;;575:30;551:17;;;570:2;547:26;540:66;505:10;;476:140;;;480:3;665:1;660:2;651:6;640:9;636:22;632:31;625:42;735:2;728;724:7;719:2;711:6;707:15;703:29;692:9;688:45;684:54;676:62;;;;196:548;;;;:::o;749:131::-;-1:-1:-1;;;;;824:31:1;;814:42;;804:70;;870:1;867;860:12;885:315;953:6;961;1014:2;1002:9;993:7;989:23;985:32;982:52;;;1030:1;1027;1020:12;982:52;1069:9;1056:23;1088:31;1113:5;1088:31;:::i;:::-;1138:5;1190:2;1175:18;;;;1162:32;;-1:-1:-1;;;885:315:1:o;1630:456::-;1707:6;1715;1723;1776:2;1764:9;1755:7;1751:23;1747:32;1744:52;;;1792:1;1789;1782:12;1744:52;1831:9;1818:23;1850:31;1875:5;1850:31;:::i;:::-;1900:5;-1:-1:-1;1957:2:1;1942:18;;1929:32;1970:33;1929:32;1970:33;:::i;:::-;1630:456;;2022:7;;-1:-1:-1;;;2076:2:1;2061:18;;;;2048:32;;1630:456::o;2488:247::-;2547:6;2600:2;2588:9;2579:7;2575:23;2571:32;2568:52;;;2616:1;2613;2606:12;2568:52;2655:9;2642:23;2674:31;2699:5;2674:31;:::i;2740:388::-;2808:6;2816;2869:2;2857:9;2848:7;2844:23;2840:32;2837:52;;;2885:1;2882;2875:12;2837:52;2924:9;2911:23;2943:31;2968:5;2943:31;:::i;:::-;2993:5;-1:-1:-1;3050:2:1;3035:18;;3022:32;3063:33;3022:32;3063:33;:::i;:::-;3115:7;3105:17;;;2740:388;;;;;:::o;3133:356::-;3335:2;3317:21;;;3354:18;;;3347:30;3413:34;3408:2;3393:18;;3386:62;3480:2;3465:18;;3133:356::o;3494:184::-;3564:6;3617:2;3605:9;3596:7;3592:23;3588:32;3585:52;;;3633:1;3630;3623:12;3585:52;-1:-1:-1;3656:16:1;;3494:184;-1:-1:-1;3494:184:1:o;3962:277::-;4029:6;4082:2;4070:9;4061:7;4057:23;4053:32;4050:52;;;4098:1;4095;4088:12;4050:52;4130:9;4124:16;4183:5;4176:13;4169:21;4162:5;4159:32;4149:60;;4205:1;4202;4195:12;5003:251;5073:6;5126:2;5114:9;5105:7;5101:23;5097:32;5094:52;;;5142:1;5139;5132:12;5094:52;5174:9;5168:16;5193:31;5218:5;5193:31;:::i;6180:306::-;6268:6;6276;6284;6337:2;6325:9;6316:7;6312:23;6308:32;6305:52;;;6353:1;6350;6343:12;6305:52;6382:9;6376:16;6366:26;;6432:2;6421:9;6417:18;6411:25;6401:35;;6476:2;6465:9;6461:18;6455:25;6445:35;;6180:306;;;;;:::o;8637:127::-;8698:10;8693:3;8689:20;8686:1;8679:31;8729:4;8726:1;8719:15;8753:4;8750:1;8743:15;8769:125;8834:9;;;8855:10;;;8852:36;;;8868:18;;:::i;9254:135::-;9293:3;9314:17;;;9311:43;;9334:18;;:::i;:::-;-1:-1:-1;9381:1:1;9370:13;;9254:135::o;9394:128::-;9461:9;;;9482:11;;;9479:37;;;9496:18;;:::i;9659:127::-;9720:10;9715:3;9711:20;9708:1;9701:31;9751:4;9748:1;9741:15;9775:4;9772:1;9765:15;9791:980;10053:4;10101:3;10090:9;10086:19;10132:6;10121:9;10114:25;10158:2;10196:6;10191:2;10180:9;10176:18;10169:34;10239:3;10234:2;10223:9;10219:18;10212:31;10263:6;10298;10292:13;10329:6;10321;10314:22;10367:3;10356:9;10352:19;10345:26;;10406:2;10398:6;10394:15;10380:29;;10427:1;10437:195;10451:6;10448:1;10445:13;10437:195;;;10516:13;;-1:-1:-1;;;;;10512:39:1;10500:52;;10607:15;;;;10572:12;;;;10548:1;10466:9;10437:195;;;-1:-1:-1;;;;;;;10688:32:1;;;;10683:2;10668:18;;10661:60;-1:-1:-1;;;10752:3:1;10737:19;10730:35;10649:3;9791:980;-1:-1:-1;;;9791:980:1:o;10776:168::-;10849:9;;;10880;;10897:15;;;10891:22;;10877:37;10867:71;;10918:18;;:::i;10949:217::-;10989:1;11015;11005:132;;11059:10;11054:3;11050:20;11047:1;11040:31;11094:4;11091:1;11084:15;11122:4;11119:1;11112:15;11005:132;-1:-1:-1;11151:9:1;;10949:217::o

ipfs://3feb54978f33238385de5efe4b341c4f32b436bbb79bc9bc4c53f053c4f3d3ad