Token

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 Snowflake is Context, IER ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function min(uint256 a, uint256 b)    - function swapTokensForEth(uint256 tok ...    - function removeLimits()    - function sendETHToFee(uint256 amount)    - function addBots(address[] memory bot ...    - function delBots(address[] memory not ...    - function isBot(address a)    - function openTrading()    - function reduceFee(uint256 _newFee)    - function manualSwap()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-02-28
*/

// SPDX-License-Identifier: UNLICENSE

/*
    https://twitter.com/VitalikButerin/status/1762682737163645052

    Question:
    This implies an interesting math problem!

    Find a curve that

    (i) "has more and more detail as you zoom in"
    (ii) has a rational area
    (iii) has a rational length
    (iv) is defined by an equation that only uses rational numbers as parameters and "looks as natural as possible"

    My opening bid: fractal mountain range.

    Let f(x) = distance from x to the Cantor set * 3/4

    Answer:

     Fractals are known for their self-similar patterns, meaning that they exhibit similar structures at varying scales. This property aligns with the requirement of having more detail as you zoom in.

    Let's consider a specific fractal known as the Koch snowflake, which satisfies all the criteria you mentioned:

    (i) More Detail as You Zoom In: The Koch snowflake is constructed iteratively, starting with an equilateral triangle and replacing each straight line segment with another equilateral triangle. This process can be repeated infinitely, resulting in a curve with increasingly intricate detail at smaller scales.

    (ii) Rational Area: The Koch snowflake has a finite area, which can be calculated precisely using geometric formulas. Since the Koch snowflake is formed from equilateral triangles, its area can be expressed as a rational number.

    (iii) Rational Length: Similarly, the length of the Koch snowflake can be determined using geometric formulas, and it can be shown to be a rational number. Even though the Koch snowflake has an infinite perimeter, its length can be calculated precisely due to the self-similar nature of the fractal.

    (iv) Defined by an Equation with Rational Parameters: The Koch snowflake can be defined by a simple iterative algorithm or by an equation involving rational parameters. For example, each iteration of the Koch snowflake involves dividing line segments into three equal parts and replacing the middle part with two segments forming an equilateral triangle. This process can be described using rational numbers to specify the lengths of line segments and angles.

    In conclusion, the Koch snowflake satisfies all the criteria you provided for a curve with more detail upon zooming in, rational area and length, and an equation defined with rational parameters. It serves as an excellent example of a natural-looking curve with these properties.
    
    the Koch snowflake satisfies all the criteria you provided for a curve with more detail upon zooming in, rational area and length, and an equation defined with rational parameters. It serves as an excellent example of a natural-looking curve with these properties.
    
    
    $KOCH - Snowflake

    https://t.me/Snowflakecoinerc20
*/

pragma solidity 0.8.23;

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

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function 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 Snowflake 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 bots;
    address payable private _taxWallet;

    uint256 private _initialBuyTax=23;
    uint256 private _initialSellTax=23;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=20;
    uint256 private _reduceSellTaxAt=20;
    uint256 private _preventSwapBefore=26;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 420690000000000 * 10**_decimals;
    string private constant _name = unicode"Snowflake";
    string private constant _symbol = unicode"KOCH";
    uint256 public _maxTxAmount = 8413800000000 * 10**_decimals;
    uint256 public _maxWalletSize = 8413800000000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 4206900000000 * 10**_decimals;
    uint256 public _maxTaxSwap= 4206900000000 * 10**_decimals;
    
    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    uint256 private sellCount = 0;
    uint256 private lastSellBlock = 0;
    event MaxTxAmountUpdated(uint _maxTxAmount);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

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

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

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

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

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

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

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

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

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

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

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

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

    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        uint256 taxAmount=0;
        if (from != owner() && to != owner()) {
            require(!bots[from] && !bots[to]);
            taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

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

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

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniswapV2Pair && swapEnabled && contractTokenBalance > _taxSwapThreshold && _buyCount > _preventSwapBefore) {
                if (block.number > lastSellBlock) {
                    sellCount = 0;
                }
                require(sellCount < 3, "Only 3 sells per block!");
                swapTokensForEth(min(amount, min(contractTokenBalance, _maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
                sellCount++;
                lastSellBlock = block.number;
            }
        }

        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;
        emit MaxTxAmountUpdated(_tTotal);
    }

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

    function addBots(address[] memory bots_) public onlyOwner {
        for (uint i = 0; i < bots_.length; i++) {
            bots[bots_[i]] = true;
        }
    }

    function delBots(address[] memory notbot) public onlyOwner {
      for (uint i = 0; i < notbot.length; i++) {
          bots[notbot[i]] = false;
      }
    }

    function isBot(address a) public view returns (bool){
      return bots[a];
    }

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

    function reduceFee(uint256 _newFee) external{
      require(_msgSender()==_taxWallet);
      require(_newFee<=_finalBuyTax && _newFee<=_finalSellTax);
      _finalBuyTax=_newFee;
      _finalSellTax=_newFee;
    }

    receive() external payable {}

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

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address[]","name":"bots_","type":"address[]"}],"name":"addBots","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address[]","name":"notbot","type":"address[]"}],"name":"delBots","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"a","type":"address"}],"name":"isBot","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","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":[{"internalType":"uint256","name":"_newFee","type":"uint256"}],"name":"reduceFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052601760065560176007555f6008555f6009556014600a556014600b55601a600c555f600d556009600a62000039919062000347565b6200004b906507a6fd8f6a006200035e565b600e556200005c6009600a62000347565b6200006e906507a6fd8f6a006200035e565b600f556200007f6009600a62000347565b62000091906503d37ec7b5006200035e565b601055620000a26009600a62000347565b620000b4906503d37ec7b5006200035e565b6011556013805461ffff60a81b191690555f6014819055601555348015620000da575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600580546001600160a01b031916331790556200013b6009600a62000347565b6200014e9066017e9d8602b4006200035e565b335f908152600160208190526040822092909255600390620001775f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553081526003909352818320805485166001908117909155600554909116835291208054909216179055620001d53390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6200020e6009600a62000347565b620002219066017e9d8602b4006200035e565b60405190815260200160405180910390a362000378565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200028c57815f190482111562000270576200027062000238565b808516156200027e57918102915b93841c939080029062000251565b509250929050565b5f82620002a45750600162000341565b81620002b257505f62000341565b8160018114620002cb5760028114620002d657620002f6565b600191505062000341565b60ff841115620002ea57620002ea62000238565b50506001821b62000341565b5060208310610133831016604e8410600b84101617156200031b575081810a62000341565b6200032783836200024c565b805f19048211156200033d576200033d62000238565b0290505b92915050565b5f6200035760ff84168362000294565b9392505050565b808202811582820484141762000341576200034162000238565b611ab480620003865f395ff3fe608060405260043610610134575f3560e01c8063751039fc116100a8578063a9059cbb1161006d578063a9059cbb14610366578063bf474bed14610385578063c9567bf91461039a578063d34628cc146103ae578063dd62ed3e146103cd578063ec1f3f6314610411575f80fd5b8063751039fc146102d65780637d1db4a5146102ea5780638da5cb5b146102ff5780638f9a55c01461032557806395d89b411461033a575f80fd5b8063313ce567116100f9578063313ce5671461020757806331c2d847146102225780633bbac5791461024357806351bc3c851461027a57806370a082311461028e578063715018a6146102c2575f80fd5b806306fdde031461013f578063095ea7b3146101825780630faee56f146101b157806318160ddd146101d457806323b872dd146101e8575f80fd5b3661013b57005b5f80fd5b34801561014a575f80fd5b50604080518082019091526009815268536e6f77666c616b6560b81b60208201525b60405161017991906115a9565b60405180910390f35b34801561018d575f80fd5b506101a161019c36600461161c565b610430565b6040519015158152602001610179565b3480156101bc575f80fd5b506101c660115481565b604051908152602001610179565b3480156101df575f80fd5b506101c6610446565b3480156101f3575f80fd5b506101a1610202366004611646565b610469565b348015610212575f80fd5b5060405160098152602001610179565b34801561022d575f80fd5b5061024161023c366004611698565b6104d0565b005b34801561024e575f80fd5b506101a161025d366004611758565b6001600160a01b03165f9081526004602052604090205460ff1690565b348015610285575f80fd5b50610241610560565b348015610299575f80fd5b506101c66102a8366004611758565b6001600160a01b03165f9081526001602052604090205490565b3480156102cd575f80fd5b506102416105ad565b3480156102e1575f80fd5b5061024161061e565b3480156102f5575f80fd5b506101c6600e5481565b34801561030a575f80fd5b505f546040516001600160a01b039091168152602001610179565b348015610330575f80fd5b506101c6600f5481565b348015610345575f80fd5b506040805180820190915260048152630969e86960e31b602082015261016c565b348015610371575f80fd5b506101a161038036600461161c565b6106d8565b348015610390575f80fd5b506101c660105481565b3480156103a5575f80fd5b506102416106e4565b3480156103b9575f80fd5b506102416103c8366004611698565b610a90565b3480156103d8575f80fd5b506101c66103e7366004611773565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b34801561041c575f80fd5b5061024161042b3660046117aa565b610b14565b5f61043c338484610b59565b5060015b92915050565b5f6104536009600a6118b5565b6104649066017e9d8602b4006118c3565b905090565b5f610475848484610c7c565b6104c684336104c185604051806060016040528060288152602001611a57602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611225565b610b59565b5060019392505050565b5f546001600160a01b031633146105025760405162461bcd60e51b81526004016104f9906118da565b60405180910390fd5b5f5b815181101561055c575f60045f8484815181106105235761052361190f565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff1916911515919091179055600101610504565b5050565b6005546001600160a01b0316336001600160a01b03161461057f575f80fd5b305f90815260016020526040902054801561059d5761059d8161125d565b47801561055c5761055c816113cd565b5f546001600160a01b031633146105d65760405162461bcd60e51b81526004016104f9906118da565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146106475760405162461bcd60e51b81526004016104f9906118da565b6106536009600a6118b5565b6106649066017e9d8602b4006118c3565b600e556106736009600a6118b5565b6106849066017e9d8602b4006118c3565b600f557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106b46009600a6118b5565b6106c59066017e9d8602b4006118c3565b60405190815260200160405180910390a1565b5f61043c338484610c7c565b5f546001600160a01b0316331461070d5760405162461bcd60e51b81526004016104f9906118da565b601354600160a01b900460ff16156107675760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104f9565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107b39030906107a26009600a6118b5565b6104c19066017e9d8602b4006118c3565b60125f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610803573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108279190611923565b6001600160a01b031663c9c653963060125f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610886573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108aa9190611923565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156108f4573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109189190611923565b601380546001600160a01b039283166001600160a01b03199091161790556012541663f305d719473061095f816001600160a01b03165f9081526001602052604090205490565b5f806109725f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156109d8573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109fd919061193e565b505060135460125460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610a52573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a769190611969565b506013805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b03163314610ab95760405162461bcd60e51b81526004016104f9906118da565b5f5b815181101561055c57600160045f848481518110610adb57610adb61190f565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff1916911515919091179055600101610abb565b6005546001600160a01b0316336001600160a01b031614610b33575f80fd5b6008548111158015610b4757506009548111155b610b4f575f80fd5b6008819055600955565b6001600160a01b038316610bbb5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104f9565b6001600160a01b038216610c1c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104f9565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610ce05760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104f9565b6001600160a01b038216610d425760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104f9565b5f8111610da35760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104f9565b5f80546001600160a01b03858116911614801590610dce57505f546001600160a01b03848116911614155b156110e8576001600160a01b0384165f9081526004602052604090205460ff16158015610e1357506001600160a01b0383165f9081526004602052604090205460ff16155b610e1b575f80fd5b610e476064610e41600a54600d5411610e3657600654610e3a565b6008545b8590611404565b90611489565b6013549091506001600160a01b038581169116148015610e7557506012546001600160a01b03848116911614155b8015610e9957506001600160a01b0383165f9081526003602052604090205460ff16155b15610f7f57600e54821115610ef05760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104f9565b600f5482610f12856001600160a01b03165f9081526001602052604090205490565b610f1c9190611988565b1115610f6a5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104f9565b600d8054905f610f798361199b565b91905055505b6013546001600160a01b038481169116148015610fa557506001600160a01b0384163014155b15610fd257610fcf6064610e41600b54600d5411610fc557600754610e3a565b6009548590611404565b90505b305f90815260016020526040902054601354600160a81b900460ff1615801561100857506013546001600160a01b038581169116145b801561101d5750601354600160b01b900460ff165b801561102a575060105481115b80156110395750600c54600d54115b156110e65760155443111561104d575f6014555b60036014541061109f5760405162461bcd60e51b815260206004820152601760248201527f4f6e6c7920332073656c6c732070657220626c6f636b2100000000000000000060448201526064016104f9565b6110bc6110b7846110b2846011546114ca565b6114ca565b61125d565b4780156110cc576110cc476113cd565b60148054905f6110db8361199b565b909155505043601555505b505b801561116057305f9081526001602052604090205461110790826114de565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111579085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054611182908361153c565b6001600160a01b0385165f908152600160205260409020556111c56111a7838361153c565b6001600160a01b0385165f90815260016020526040902054906114de565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61120e858561153c565b60405190815260200160405180910390a350505050565b5f81848411156112485760405162461bcd60e51b81526004016104f991906115a9565b505f61125484866119b3565b95945050505050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106112a3576112a361190f565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112fa573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061131e9190611923565b816001815181106113315761133161190f565b6001600160a01b0392831660209182029290920101526012546113579130911684610b59565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac9479061138f9085905f908690309042906004016119c6565b5f604051808303815f87803b1580156113a6575f80fd5b505af11580156113b8573d5f803e3d5ffd5b50506013805460ff60a81b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561055c573d5f803e3d5ffd5b5f825f0361141357505f610440565b5f61141e83856118c3565b90508261142b8583611a37565b146114825760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104f9565b9392505050565b5f61148283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061157d565b5f8183116114d85782611482565b50919050565b5f806114ea8385611988565b9050838110156114825760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104f9565b5f61148283836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611225565b5f818361159d5760405162461bcd60e51b81526004016104f991906115a9565b505f6112548486611a37565b5f602080835283518060208501525f5b818110156115d5578581018301518582016040015282016115b9565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611609575f80fd5b50565b8035611617816115f5565b919050565b5f806040838503121561162d575f80fd5b8235611638816115f5565b946020939093013593505050565b5f805f60608486031215611658575f80fd5b8335611663816115f5565b92506020840135611673816115f5565b929592945050506040919091013590565b634e487b7160e01b5f52604160045260245ffd5b5f60208083850312156116a9575f80fd5b823567ffffffffffffffff808211156116c0575f80fd5b818501915085601f8301126116d3575f80fd5b8135818111156116e5576116e5611684565b8060051b604051601f19603f8301168101818110858211171561170a5761170a611684565b604052918252848201925083810185019188831115611727575f80fd5b938501935b8285101561174c5761173d8561160c565b8452938501939285019261172c565b98975050505050505050565b5f60208284031215611768575f80fd5b8135611482816115f5565b5f8060408385031215611784575f80fd5b823561178f816115f5565b9150602083013561179f816115f5565b809150509250929050565b5f602082840312156117ba575f80fd5b5035919050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561180f57815f19048211156117f5576117f56117c1565b8085161561180257918102915b93841c93908002906117da565b509250929050565b5f8261182557506001610440565b8161183157505f610440565b816001811461184757600281146118515761186d565b6001915050610440565b60ff841115611862576118626117c1565b50506001821b610440565b5060208310610133831016604e8410600b8410161715611890575081810a610440565b61189a83836117d5565b805f19048211156118ad576118ad6117c1565b029392505050565b5f61148260ff841683611817565b8082028115828204841417610440576104406117c1565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611933575f80fd5b8151611482816115f5565b5f805f60608486031215611950575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611979575f80fd5b81518015158114611482575f80fd5b80820180821115610440576104406117c1565b5f600182016119ac576119ac6117c1565b5060010190565b81810381811115610440576104406117c1565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b81811015611a165784516001600160a01b0316835293830193918301916001016119f1565b50506001600160a01b03969096166060850152505050608001529392505050565b5f82611a5157634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220c8206084ca2eb7f6d41fd98c2099a39feb0afc1bd056e4578b41ba1c0493fe0064736f6c63430008170033

0x608060405260043610610134575f3560e01c8063751039fc116100a8578063a9059cbb1161006d578063a9059cbb14610366578063bf474bed14610385578063c9567bf91461039a578063d34628cc146103ae578063dd62ed3e146103cd578063ec1f3f6314610411575f80fd5b8063751039fc146102d65780637d1db4a5146102ea5780638da5cb5b146102ff5780638f9a55c01461032557806395d89b411461033a575f80fd5b8063313ce567116100f9578063313ce5671461020757806331c2d847146102225780633bbac5791461024357806351bc3c851461027a57806370a082311461028e578063715018a6146102c2575f80fd5b806306fdde031461013f578063095ea7b3146101825780630faee56f146101b157806318160ddd146101d457806323b872dd146101e8575f80fd5b3661013b57005b5f80fd5b34801561014a575f80fd5b50604080518082019091526009815268536e6f77666c616b6560b81b60208201525b60405161017991906115a9565b60405180910390f35b34801561018d575f80fd5b506101a161019c36600461161c565b610430565b6040519015158152602001610179565b3480156101bc575f80fd5b506101c660115481565b604051908152602001610179565b3480156101df575f80fd5b506101c6610446565b3480156101f3575f80fd5b506101a1610202366004611646565b610469565b348015610212575f80fd5b5060405160098152602001610179565b34801561022d575f80fd5b5061024161023c366004611698565b6104d0565b005b34801561024e575f80fd5b506101a161025d366004611758565b6001600160a01b03165f9081526004602052604090205460ff1690565b348015610285575f80fd5b50610241610560565b348015610299575f80fd5b506101c66102a8366004611758565b6001600160a01b03165f9081526001602052604090205490565b3480156102cd575f80fd5b506102416105ad565b3480156102e1575f80fd5b5061024161061e565b3480156102f5575f80fd5b506101c6600e5481565b34801561030a575f80fd5b505f546040516001600160a01b039091168152602001610179565b348015610330575f80fd5b506101c6600f5481565b348015610345575f80fd5b506040805180820190915260048152630969e86960e31b602082015261016c565b348015610371575f80fd5b506101a161038036600461161c565b6106d8565b348015610390575f80fd5b506101c660105481565b3480156103a5575f80fd5b506102416106e4565b3480156103b9575f80fd5b506102416103c8366004611698565b610a90565b3480156103d8575f80fd5b506101c66103e7366004611773565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b34801561041c575f80fd5b5061024161042b3660046117aa565b610b14565b5f61043c338484610b59565b5060015b92915050565b5f6104536009600a6118b5565b6104649066017e9d8602b4006118c3565b905090565b5f610475848484610c7c565b6104c684336104c185604051806060016040528060288152602001611a57602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611225565b610b59565b5060019392505050565b5f546001600160a01b031633146105025760405162461bcd60e51b81526004016104f9906118da565b60405180910390fd5b5f5b815181101561055c575f60045f8484815181106105235761052361190f565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff1916911515919091179055600101610504565b5050565b6005546001600160a01b0316336001600160a01b03161461057f575f80fd5b305f90815260016020526040902054801561059d5761059d8161125d565b47801561055c5761055c816113cd565b5f546001600160a01b031633146105d65760405162461bcd60e51b81526004016104f9906118da565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146106475760405162461bcd60e51b81526004016104f9906118da565b6106536009600a6118b5565b6106649066017e9d8602b4006118c3565b600e556106736009600a6118b5565b6106849066017e9d8602b4006118c3565b600f557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106b46009600a6118b5565b6106c59066017e9d8602b4006118c3565b60405190815260200160405180910390a1565b5f61043c338484610c7c565b5f546001600160a01b0316331461070d5760405162461bcd60e51b81526004016104f9906118da565b601354600160a01b900460ff16156107675760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104f9565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107b39030906107a26009600a6118b5565b6104c19066017e9d8602b4006118c3565b60125f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610803573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108279190611923565b6001600160a01b031663c9c653963060125f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610886573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108aa9190611923565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156108f4573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109189190611923565b601380546001600160a01b039283166001600160a01b03199091161790556012541663f305d719473061095f816001600160a01b03165f9081526001602052604090205490565b5f806109725f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156109d8573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109fd919061193e565b505060135460125460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610a52573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a769190611969565b506013805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b03163314610ab95760405162461bcd60e51b81526004016104f9906118da565b5f5b815181101561055c57600160045f848481518110610adb57610adb61190f565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff1916911515919091179055600101610abb565b6005546001600160a01b0316336001600160a01b031614610b33575f80fd5b6008548111158015610b4757506009548111155b610b4f575f80fd5b6008819055600955565b6001600160a01b038316610bbb5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104f9565b6001600160a01b038216610c1c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104f9565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610ce05760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104f9565b6001600160a01b038216610d425760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104f9565b5f8111610da35760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104f9565b5f80546001600160a01b03858116911614801590610dce57505f546001600160a01b03848116911614155b156110e8576001600160a01b0384165f9081526004602052604090205460ff16158015610e1357506001600160a01b0383165f9081526004602052604090205460ff16155b610e1b575f80fd5b610e476064610e41600a54600d5411610e3657600654610e3a565b6008545b8590611404565b90611489565b6013549091506001600160a01b038581169116148015610e7557506012546001600160a01b03848116911614155b8015610e9957506001600160a01b0383165f9081526003602052604090205460ff16155b15610f7f57600e54821115610ef05760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104f9565b600f5482610f12856001600160a01b03165f9081526001602052604090205490565b610f1c9190611988565b1115610f6a5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104f9565b600d8054905f610f798361199b565b91905055505b6013546001600160a01b038481169116148015610fa557506001600160a01b0384163014155b15610fd257610fcf6064610e41600b54600d5411610fc557600754610e3a565b6009548590611404565b90505b305f90815260016020526040902054601354600160a81b900460ff1615801561100857506013546001600160a01b038581169116145b801561101d5750601354600160b01b900460ff165b801561102a575060105481115b80156110395750600c54600d54115b156110e65760155443111561104d575f6014555b60036014541061109f5760405162461bcd60e51b815260206004820152601760248201527f4f6e6c7920332073656c6c732070657220626c6f636b2100000000000000000060448201526064016104f9565b6110bc6110b7846110b2846011546114ca565b6114ca565b61125d565b4780156110cc576110cc476113cd565b60148054905f6110db8361199b565b909155505043601555505b505b801561116057305f9081526001602052604090205461110790826114de565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111579085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054611182908361153c565b6001600160a01b0385165f908152600160205260409020556111c56111a7838361153c565b6001600160a01b0385165f90815260016020526040902054906114de565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61120e858561153c565b60405190815260200160405180910390a350505050565b5f81848411156112485760405162461bcd60e51b81526004016104f991906115a9565b505f61125484866119b3565b95945050505050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106112a3576112a361190f565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112fa573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061131e9190611923565b816001815181106113315761133161190f565b6001600160a01b0392831660209182029290920101526012546113579130911684610b59565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac9479061138f9085905f908690309042906004016119c6565b5f604051808303815f87803b1580156113a6575f80fd5b505af11580156113b8573d5f803e3d5ffd5b50506013805460ff60a81b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561055c573d5f803e3d5ffd5b5f825f0361141357505f610440565b5f61141e83856118c3565b90508261142b8583611a37565b146114825760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104f9565b9392505050565b5f61148283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061157d565b5f8183116114d85782611482565b50919050565b5f806114ea8385611988565b9050838110156114825760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104f9565b5f61148283836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611225565b5f818361159d5760405162461bcd60e51b81526004016104f991906115a9565b505f6112548486611a37565b5f602080835283518060208501525f5b818110156115d5578581018301518582016040015282016115b9565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611609575f80fd5b50565b8035611617816115f5565b919050565b5f806040838503121561162d575f80fd5b8235611638816115f5565b946020939093013593505050565b5f805f60608486031215611658575f80fd5b8335611663816115f5565b92506020840135611673816115f5565b929592945050506040919091013590565b634e487b7160e01b5f52604160045260245ffd5b5f60208083850312156116a9575f80fd5b823567ffffffffffffffff808211156116c0575f80fd5b818501915085601f8301126116d3575f80fd5b8135818111156116e5576116e5611684565b8060051b604051601f19603f8301168101818110858211171561170a5761170a611684565b604052918252848201925083810185019188831115611727575f80fd5b938501935b8285101561174c5761173d8561160c565b8452938501939285019261172c565b98975050505050505050565b5f60208284031215611768575f80fd5b8135611482816115f5565b5f8060408385031215611784575f80fd5b823561178f816115f5565b9150602083013561179f816115f5565b809150509250929050565b5f602082840312156117ba575f80fd5b5035919050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561180f57815f19048211156117f5576117f56117c1565b8085161561180257918102915b93841c93908002906117da565b509250929050565b5f8261182557506001610440565b8161183157505f610440565b816001811461184757600281146118515761186d565b6001915050610440565b60ff841115611862576118626117c1565b50506001821b610440565b5060208310610133831016604e8410600b8410161715611890575081810a610440565b61189a83836117d5565b805f19048211156118ad576118ad6117c1565b029392505050565b5f61148260ff841683611817565b8082028115828204841417610440576104406117c1565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611933575f80fd5b8151611482816115f5565b5f805f60608486031215611950575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611979575f80fd5b81518015158114611482575f80fd5b80820180821115610440576104406117c1565b5f600182016119ac576119ac6117c1565b5060010190565b81810381811115610440576104406117c1565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b81811015611a165784516001600160a01b0316835293830193918301916001016119f1565b50506001600160a01b03969096166060850152505050608001529392505050565b5f82611a5157634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220c8206084ca2eb7f6d41fd98c2099a39feb0afc1bd056e4578b41ba1c0493fe0064736f6c63430008170033

6283:8365:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8204:83;;;;;;;;;;-1:-1:-1;8274:5:0;;;;;;;;;;;;-1:-1:-1;;;8274:5:0;;;;8204:83;;;;;;;:::i;:::-;;;;;;;;9037:161;;;;;;;;;;-1:-1:-1;9037:161:0;;;;;:::i;:::-;;:::i;:::-;;;1327:14:1;;1320:22;1302:41;;1290:2;1275:18;9037:161:0;1162:187:1;7396:57:0;;;;;;;;;;;;;;;;;;;1500:25:1;;;1488:2;1473:18;7396:57:0;1354:177:1;8481:95:0;;;;;;;;;;;;;:::i;9206:313::-;;;;;;;;;;-1:-1:-1;9206:313:0;;;;;:::i;:::-;;:::i;8390:83::-;;;;;;;;;;-1:-1:-1;8390:83:0;;7000:1;2139:36:1;;2127:2;2112:18;8390:83:0;1997:184:1;13094:162:0;;;;;;;;;;-1:-1:-1;13094:162:0;;;;;:::i;:::-;;:::i;:::-;;13264:83;;;;;;;;;;-1:-1:-1;13264:83:0;;;;;:::i;:::-;-1:-1:-1;;;;;13332:7:0;13311:4;13332:7;;;:4;:7;;;;;;;;;13264:83;14297:348;;;;;;;;;;;;;:::i;8584:119::-;;;;;;;;;;-1:-1:-1;8584:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;8677:18:0;8650:7;8677:18;;;:9;:18;;;;;;;8584:119;5364:148;;;;;;;;;;;;;:::i;12655:159::-;;;;;;;;;;;;;:::i;7192:59::-;;;;;;;;;;;;;;;;5150:79;;;;;;;;;;-1:-1:-1;5188:7:0;5215:6;5150:79;;-1:-1:-1;;;;;5215:6:0;;;3842:51:1;;3830:2;3815:18;5150:79:0;3696:203:1;7258:61:0;;;;;;;;;;;;;;;;8295:87;;;;;;;;;;-1:-1:-1;8367:7:0;;;;;;;;;;;;-1:-1:-1;;;8367:7:0;;;;8295:87;;8711:167;;;;;;;;;;-1:-1:-1;8711:167:0;;;;;:::i;:::-;;:::i;7326:63::-;;;;;;;;;;;;;;;;13355:671;;;;;;;;;;;;;:::i;12922:164::-;;;;;;;;;;-1:-1:-1;12922:164:0;;;;;:::i;:::-;;:::i;8886:143::-;;;;;;;;;;-1:-1:-1;8886:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;8994:18:0;;;8967:7;8994:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;8886:143;14034:218;;;;;;;;;;-1:-1:-1;14034:218:0;;;;;:::i;:::-;;:::i;9037:161::-;9112:4;9129:39;2985:10;9152:7;9161:6;9129:8;:39::i;:::-;-1:-1:-1;9186:4:0;9037:161;;;;;:::o;8481:95::-;8534:7;7061:13;7000:1;7061:2;:13;:::i;:::-;7043:31;;:15;:31;:::i;:::-;8554:14;;8481:95;:::o;9206:313::-;9304:4;9321:36;9331:6;9339:9;9350:6;9321:9;:36::i;:::-;9368:121;9377:6;2985:10;9399:89;9437:6;9399:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9399:19:0;;;;;;:11;:19;;;;;;;;2985:10;9399:33;;;;;;;;;;:37;:89::i;:::-;9368:8;:121::i;:::-;-1:-1:-1;9507:4:0;9206:313;;;;;:::o;13094:162::-;5277:6;;-1:-1:-1;;;;;5277:6:0;2985:10;5277:22;5269:67;;;;-1:-1:-1;;;5269:67:0;;;;;;;:::i;:::-;;;;;;;;;13167:6:::1;13162:87;13183:6;:13;13179:1;:17;13162:87;;;13234:5;13216:4;:15;13221:6;13228:1;13221:9;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;13216:15:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;13216:15:0;:23;;-1:-1:-1;;13216:23:0::1;::::0;::::1;;::::0;;;::::1;::::0;;-1:-1:-1;13198:3:0::1;13162:87;;;;13094:162:::0;:::o;14297:348::-;14361:10;;-1:-1:-1;;;;;14361:10:0;2985;-1:-1:-1;;;;;14347:24:0;;14339:33;;;;;;14422:4;14383:20;8677:18;;;:9;:18;;;;;;14442:14;;14439:73;;14470:30;14487:12;14470:16;:30::i;:::-;14541:21;14576:12;;14573:65;;14602:24;14615:10;14602:12;:24::i;5364:148::-;5277:6;;-1:-1:-1;;;;;5277:6:0;2985:10;5277:22;5269:67;;;;-1:-1:-1;;;5269:67:0;;;;;;;:::i;:::-;5471:1:::1;5455:6:::0;;5434:40:::1;::::0;-1:-1:-1;;;;;5455:6:0;;::::1;::::0;5434:40:::1;::::0;5471:1;;5434:40:::1;5502:1;5485:19:::0;;-1:-1:-1;;;;;;5485:19:0::1;::::0;;5364:148::o;12655:159::-;5277:6;;-1:-1:-1;;;;;5277:6:0;2985:10;5277:22;5269:67;;;;-1:-1:-1;;;5269:67:0;;;;;;;:::i;:::-;7061:13:::1;7000:1;7061:2;:13;:::i;:::-;7043:31;::::0;:15:::1;:31;:::i;:::-;12708:12;:22:::0;7061:13:::1;7000:1;7061:2;:13;:::i;:::-;7043:31;::::0;:15:::1;:31;:::i;:::-;12741:14;:22:::0;12779:27:::1;7061:13;7000:1;7061:2;:13;:::i;:::-;7043:31;::::0;:15:::1;:31;:::i;:::-;12779:27;::::0;1500:25:1;;;1488:2;1473:18;12779:27:0::1;;;;;;;12655:159::o:0;8711:167::-;8789:4;8806:42;2985:10;8830:9;8841:6;8806:9;:42::i;13355:671::-;5277:6;;-1:-1:-1;;;;;5277:6:0;2985:10;5277:22;5269:67;;;;-1:-1:-1;;;5269:67:0;;;;;;;:::i;:::-;13419:11:::1;::::0;-1:-1:-1;;;13419:11:0;::::1;;;13418:12;13410:47;;;::::0;-1:-1:-1;;;13410:47:0;;6859:2:1;13410:47:0::1;::::0;::::1;6841:21:1::0;6898:2;6878:18;;;6871:30;6937:25;6917:18;;;6910:53;6980:18;;13410:47:0::1;6657:347:1::0;13410:47:0::1;13468:15;:80:::0;;-1:-1:-1;;;;;;13468:80:0::1;13505:42;13468:80:::0;;::::1;::::0;;;13559:58:::1;::::0;13576:4:::1;::::0;7061:13:::1;7000:1;7061:2;:13;:::i;:::-;7043:31;::::0;:15:::1;:31;:::i;13559:58::-;13662:15;;;;;;;;;-1:-1:-1::0;;;;;13662:15:0::1;-1:-1:-1::0;;;;;13662:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;13644:55:0::1;;13708:4;13715:15;;;;;;;;;-1:-1:-1::0;;;;;13715:15:0::1;-1:-1:-1::0;;;;;13715:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13644:94;::::0;-1:-1:-1;;;;;;13644:94:0::1;::::0;;;;;;-1:-1:-1;;;;;7495:15:1;;;13644:94:0::1;::::0;::::1;7477:34:1::0;7547:15;;7527:18;;;7520:43;7412:18;;13644:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13628:13;:110:::0;;-1:-1:-1;;;;;13628:110:0;;::::1;-1:-1:-1::0;;;;;;13628:110:0;;::::1;;::::0;;13749:15:::1;::::0;::::1;:31;13788:21;13819:4;13825:24;13819:4:::0;-1:-1:-1;;;;;8677:18:0;8650:7;8677:18;;;:9;:18;;;;;;;8584:119;13825:24:::1;13850:1;13852::::0;13854:7:::1;5188::::0;5215:6;-1:-1:-1;;;;;5215:6:0;;5150:79;13854:7:::1;13749:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;13749:129:0;;;-1:-1:-1;;;;;7933:15:1;;;13749:129:0::1;::::0;::::1;7915:34:1::0;7965:18;;;7958:34;;;;8008:18;;;8001:34;;;;8051:18;;;8044:34;8115:15;;;8094:19;;;8087:44;13862:15:0::1;8147:19:1::0;;;8140:35;7849:19;;13749:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;13896:13:0::1;::::0;13927:15:::1;::::0;13889:71:::1;::::0;-1:-1:-1;;;13889:71:0;;-1:-1:-1;;;;;13927:15:0;;::::1;13889:71;::::0;::::1;8671:51:1::0;-1:-1:-1;;8738:18:1;;;8731:34;13896:13:0;::::1;::::0;-1:-1:-1;13889:29:0::1;::::0;8644:18:1;;13889:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;13971:11:0::1;:18:::0;;-1:-1:-1;;;;14000:18:0;-1:-1:-1;;;14000:18:0;;;13355:671::o;12922:164::-;5277:6;;-1:-1:-1;;;;;5277:6:0;2985:10;5277:22;5269:67;;;;-1:-1:-1;;;5269:67:0;;;;;;;:::i;:::-;12996:6:::1;12991:88;13012:5;:12;13008:1;:16;12991:88;;;13063:4;13046;:14;13051:5;13057:1;13051:8;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;13046:14:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;13046:14:0;:21;;-1:-1:-1;;13046:21:0::1;::::0;::::1;;::::0;;;::::1;::::0;;-1:-1:-1;13026:3:0::1;12991:88;;14034:218:::0;14109:10;;-1:-1:-1;;;;;14109:10:0;2985;-1:-1:-1;;;;;14095:24:0;;14087:33;;;;;;14146:12;;14137:7;:21;;:47;;;;;14171:13;;14162:7;:22;;14137:47;14129:56;;;;;;14194:12;:20;;;14223:13;:21;14034:218::o;9527:335::-;-1:-1:-1;;;;;9620:19:0;;9612:68;;;;-1:-1:-1;;;9612:68:0;;9260:2:1;9612:68:0;;;9242:21:1;9299:2;9279:18;;;9272:30;9338:34;9318:18;;;9311:62;-1:-1:-1;;;9389:18:1;;;9382:34;9433:19;;9612:68:0;9058:400:1;9612:68:0;-1:-1:-1;;;;;9699:21:0;;9691:68;;;;-1:-1:-1;;;9691:68:0;;9665:2:1;9691:68:0;;;9647:21:1;9704:2;9684:18;;;9677:30;9743:34;9723:18;;;9716:62;-1:-1:-1;;;9794:18:1;;;9787:32;9836:19;;9691:68:0;9463:398:1;9691:68:0;-1:-1:-1;;;;;9770:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;9822:32;;1500:25:1;;;9822:32:0;;1473:18:1;9822:32:0;;;;;;;9527:335;;;:::o;9870:2180::-;-1:-1:-1;;;;;9958:18:0;;9950:68;;;;-1:-1:-1;;;9950:68:0;;10068:2:1;9950:68:0;;;10050:21:1;10107:2;10087:18;;;10080:30;10146:34;10126:18;;;10119:62;-1:-1:-1;;;10197:18:1;;;10190:35;10242:19;;9950:68:0;9866:401:1;9950:68:0;-1:-1:-1;;;;;10037:16:0;;10029:64;;;;-1:-1:-1;;;10029:64:0;;10474:2:1;10029:64:0;;;10456:21:1;10513:2;10493:18;;;10486:30;10552:34;10532:18;;;10525:62;-1:-1:-1;;;10603:18:1;;;10596:33;10646:19;;10029:64:0;10272:399:1;10029:64:0;10121:1;10112:6;:10;10104:64;;;;-1:-1:-1;;;10104:64:0;;10878:2:1;10104:64:0;;;10860:21:1;10917:2;10897:18;;;10890:30;10956:34;10936:18;;;10929:62;-1:-1:-1;;;11007:18:1;;;11000:39;11056:19;;10104:64:0;10676:405:1;10104:64:0;10179:17;5215:6;;-1:-1:-1;;;;;10213:15:0;;;5215:6;;10213:15;;;;:32;;-1:-1:-1;5188:7:0;5215:6;-1:-1:-1;;;;;10232:13:0;;;5215:6;;10232:13;;10213:32;10209:1485;;;-1:-1:-1;;;;;10271:10:0;;;;;;:4;:10;;;;;;;;10270:11;:24;;;;-1:-1:-1;;;;;;10286:8:0;;;;;;:4;:8;;;;;;;;10285:9;10270:24;10262:33;;;;;;10322:76;10394:3;10322:67;10344:15;;10334:9;;:25;10333:55;;10374:14;;10333:55;;;10361:12;;10333:55;10322:6;;:10;:67::i;:::-;:71;;:76::i;:::-;10427:13;;10310:88;;-1:-1:-1;;;;;;10419:21:0;;;10427:13;;10419:21;:55;;;;-1:-1:-1;10458:15:0;;-1:-1:-1;;;;;10444:30:0;;;10458:15;;10444:30;;10419:55;:83;;;;-1:-1:-1;;;;;;10480:22:0;;;;;;:18;:22;;;;;;;;10478:24;10419:83;10415:313;;;10542:12;;10532:6;:22;;10524:60;;;;-1:-1:-1;;;10524:60:0;;11288:2:1;10524:60:0;;;11270:21:1;11327:2;11307:18;;;11300:30;11366:27;11346:18;;;11339:55;11411:18;;10524:60:0;11086:349:1;10524:60:0;10637:14;;10627:6;10611:13;10621:2;-1:-1:-1;;;;;8677:18:0;8650:7;8677:18;;;:9;:18;;;;;;;8584:119;10611:13;:22;;;;:::i;:::-;:40;;10603:79;;;;-1:-1:-1;;;10603:79:0;;11772:2:1;10603:79:0;;;11754:21:1;11811:2;11791:18;;;11784:30;11850:28;11830:18;;;11823:56;11896:18;;10603:79:0;11570:350:1;10603:79:0;10701:9;:11;;;:9;:11;;;:::i;:::-;;;;;;10415:313;10753:13;;-1:-1:-1;;;;;10747:19:0;;;10753:13;;10747:19;:43;;;;-1:-1:-1;;;;;;10770:20:0;;10785:4;10770:20;;10747:43;10744:174;;;10823:79;10898:3;10823:70;10845:16;;10835:9;;:26;10834:58;;10877:15;;10834:58;;;10863:13;;10823:6;;:10;:70::i;:79::-;10811:91;;10744:174;10983:4;10934:28;8677:18;;;:9;:18;;;;;;11009:6;;-1:-1:-1;;;11009:6:0;;;;11008:7;:30;;;;-1:-1:-1;11025:13:0;;-1:-1:-1;;;;;11019:19:0;;;11025:13;;11019:19;11008:30;:45;;;;-1:-1:-1;11042:11:0;;-1:-1:-1;;;11042:11:0;;;;11008:45;:89;;;;;11080:17;;11057:20;:40;11008:89;:123;;;;;11113:18;;11101:9;;:30;11008:123;11004:679;;;11171:13;;11156:12;:28;11152:90;;;11221:1;11209:9;:13;11152:90;11280:1;11268:9;;:13;11260:49;;;;-1:-1:-1;;;11260:49:0;;12267:2:1;11260:49:0;;;12249:21:1;12306:2;12286:18;;;12279:30;12345:25;12325:18;;;12318:53;12388:18;;11260:49:0;12065:347:1;11260:49:0;11328:69;11345:51;11349:6;11357:38;11361:20;11383:11;;11357:3;:38::i;:::-;11345:3;:51::i;:::-;11328:16;:69::i;:::-;11445:21;11489:22;;11485:106;;11536:35;11549:21;11536:12;:35::i;:::-;11609:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;11655:12:0;11639:13;:28;-1:-1:-1;11004:679:0;10247:1447;10209:1485;11709:11;;11706:161;;11777:4;11759:24;;;;:9;:24;;;;;;:39;;11788:9;11759:28;:39::i;:::-;11752:4;11734:24;;;;:9;:24;;;;;;;:64;;;;11816:39;;-1:-1:-1;;;;;11816:39:0;;;;;;;11845:9;1500:25:1;;1488:2;1473:18;;1354:177;11816:39:0;;;;;;;;11706:161;-1:-1:-1;;;;;11893:15:0;;;;;;:9;:15;;;;;;:27;;11913:6;11893:19;:27::i;:::-;-1:-1:-1;;;;;11877:15:0;;;;;;:9;:15;;;;;:43;11945:40;11963:21;:6;11974:9;11963:10;:21::i;:::-;-1:-1:-1;;;;;11945:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;11931:13:0;;;;;;;:9;:13;;;;;:54;;;;12001:41;;;12020:21;:6;12031:9;12020:10;:21::i;:::-;12001:41;;1500:25:1;;;1488:2;1473:18;12001:41:0;;;;;;;9939:2111;9870:2180;;;:::o;4042:190::-;4128:7;4164:12;4156:6;;;;4148:29;;;;-1:-1:-1;;;4148:29:0;;;;;;;;:::i;:::-;-1:-1:-1;4188:9:0;4200:5;4204:1;4200;:5;:::i;:::-;4188:17;4042:190;-1:-1:-1;;;;;4042:190:0:o;12164:483::-;7813:6;:13;;-1:-1:-1;;;;7813:13:0;-1:-1:-1;;;7813:13:0;;;12266:16:::1;::::0;;12280:1:::1;12266:16:::0;;;;;::::1;::::0;;-1:-1:-1;;12266:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;12266:16:0::1;12242:40;;12311:4;12293;12298:1;12293:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12293:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;12337:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;12337:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;12293:7;;12337:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12327:4;12332:1;12327:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12327:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;12402:15:::1;::::0;12370:62:::1;::::0;12387:4:::1;::::0;12402:15:::1;12420:11:::0;12370:8:::1;:62::i;:::-;12443:15;::::0;:196:::1;::::0;-1:-1:-1;;;12443:196:0;;-1:-1:-1;;;;;12443:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;12524:11;;12443:15:::1;::::0;12566:4;;12593::::1;::::0;12613:15:::1;::::0;12443:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;7849:6:0;:14;;-1:-1:-1;;;;7849:14:0;;;-1:-1:-1;;;;12164:483:0:o;12822:92::-;12879:10;;:27;;-1:-1:-1;;;;;12879:10:0;;;;:27;;;;;12899:6;;12879:10;:27;:10;:27;12899:6;12879:10;:27;;;;;;;;;;;;;;;;;;;4240:246;4298:7;4322:1;4327;4322:6;4318:47;;-1:-1:-1;4352:1:0;4345:8;;4318:47;4375:9;4387:5;4391:1;4387;:5;:::i;:::-;4375:17;-1:-1:-1;4420:1:0;4411:5;4415:1;4375:17;4411:5;:::i;:::-;:10;4403:56;;;;-1:-1:-1;;;4403:56:0;;13959:2:1;4403:56:0;;;13941:21:1;13998:2;13978:18;;;13971:30;14037:34;14017:18;;;14010:62;-1:-1:-1;;;14088:18:1;;;14081:31;14129:19;;4403:56:0;13757:397:1;4403:56:0;4477:1;4240:246;-1:-1:-1;;;4240:246:0:o;4494:132::-;4552:7;4579:39;4583:1;4586;4579:39;;;;;;;;;;;;;;;;;:3;:39::i;12058:98::-;12115:7;12142:1;12140;:3;12139:9;;12147:1;12139:9;;;-1:-1:-1;12145:1:0;12058:98;-1:-1:-1;12058:98:0:o;3711:179::-;3769:7;;3801:5;3805:1;3801;:5;:::i;:::-;3789:17;;3830:1;3825;:6;;3817:46;;;;-1:-1:-1;;;3817:46:0;;14361:2:1;3817:46:0;;;14343:21:1;14400:2;14380:18;;;14373:30;14439:29;14419:18;;;14412:57;14486:18;;3817:46:0;14159:351:1;3898:136:0;3956:7;3983:43;3987:1;3990;3983:43;;;;;;;;;;;;;;;;;:3;:43::i;4634:189::-;4720:7;4755:12;4748:5;4740:28;;;;-1:-1:-1;;;4740:28:0;;;;;;;;:::i;:::-;-1:-1:-1;4779:9:0;4791:5;4795:1;4791;:5;:::i;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;622:70;567:131;:::o;703:134::-;771:20;;800:31;771:20;800:31;:::i;:::-;703:134;;;:::o;842:315::-;910:6;918;971:2;959:9;950:7;946:23;942:32;939:52;;;987:1;984;977:12;939:52;1026:9;1013:23;1045:31;1070:5;1045:31;:::i;:::-;1095:5;1147:2;1132:18;;;;1119:32;;-1:-1:-1;;;842:315:1:o;1536:456::-;1613:6;1621;1629;1682:2;1670:9;1661:7;1657:23;1653:32;1650:52;;;1698:1;1695;1688:12;1650:52;1737:9;1724:23;1756:31;1781:5;1756:31;:::i;:::-;1806:5;-1:-1:-1;1863:2:1;1848:18;;1835:32;1876:33;1835:32;1876:33;:::i;:::-;1536:456;;1928:7;;-1:-1:-1;;;1982:2:1;1967:18;;;;1954:32;;1536:456::o;2186:127::-;2247:10;2242:3;2238:20;2235:1;2228:31;2278:4;2275:1;2268:15;2302:4;2299:1;2292:15;2318:1121;2402:6;2433:2;2476;2464:9;2455:7;2451:23;2447:32;2444:52;;;2492:1;2489;2482:12;2444:52;2532:9;2519:23;2561:18;2602:2;2594:6;2591:14;2588:34;;;2618:1;2615;2608:12;2588:34;2656:6;2645:9;2641:22;2631:32;;2701:7;2694:4;2690:2;2686:13;2682:27;2672:55;;2723:1;2720;2713:12;2672:55;2759:2;2746:16;2781:2;2777;2774:10;2771:36;;;2787:18;;:::i;:::-;2833:2;2830:1;2826:10;2865:2;2859:9;2928:2;2924:7;2919:2;2915;2911:11;2907:25;2899:6;2895:38;2983:6;2971:10;2968:22;2963:2;2951:10;2948:18;2945:46;2942:72;;;2994:18;;:::i;:::-;3030:2;3023:22;3080:18;;;3114:15;;;;-1:-1:-1;3156:11:1;;;3152:20;;;3184:19;;;3181:39;;;3216:1;3213;3206:12;3181:39;3240:11;;;;3260:148;3276:6;3271:3;3268:15;3260:148;;;3342:23;3361:3;3342:23;:::i;:::-;3330:36;;3293:12;;;;3386;;;;3260:148;;;3427:6;2318:1121;-1:-1:-1;;;;;;;;2318:1121:1:o;3444:247::-;3503:6;3556:2;3544:9;3535:7;3531:23;3527:32;3524:52;;;3572:1;3569;3562:12;3524:52;3611:9;3598:23;3630:31;3655:5;3630:31;:::i;3904:388::-;3972:6;3980;4033:2;4021:9;4012:7;4008:23;4004:32;4001:52;;;4049:1;4046;4039:12;4001:52;4088:9;4075:23;4107:31;4132:5;4107:31;:::i;:::-;4157:5;-1:-1:-1;4214:2:1;4199:18;;4186:32;4227:33;4186:32;4227:33;:::i;:::-;4279:7;4269:17;;;3904:388;;;;;:::o;4297:180::-;4356:6;4409:2;4397:9;4388:7;4384:23;4380:32;4377:52;;;4425:1;4422;4415:12;4377:52;-1:-1:-1;4448:23:1;;4297:180;-1:-1:-1;4297:180:1:o;4482:127::-;4543:10;4538:3;4534:20;4531:1;4524:31;4574:4;4571:1;4564:15;4598:4;4595:1;4588:15;4614:416;4703:1;4740:5;4703:1;4754:270;4775:7;4765:8;4762:21;4754:270;;;4834:4;4830:1;4826:6;4822:17;4816:4;4813:27;4810:53;;;4843:18;;:::i;:::-;4893:7;4883:8;4879:22;4876:55;;;4913:16;;;;4876:55;4992:22;;;;4952:15;;;;4754:270;;;4758:3;4614:416;;;;;:::o;5035:806::-;5084:5;5114:8;5104:80;;-1:-1:-1;5155:1:1;5169:5;;5104:80;5203:4;5193:76;;-1:-1:-1;5240:1:1;5254:5;;5193:76;5285:4;5303:1;5298:59;;;;5371:1;5366:130;;;;5278:218;;5298:59;5328:1;5319:10;;5342:5;;;5366:130;5403:3;5393:8;5390:17;5387:43;;;5410:18;;:::i;:::-;-1:-1:-1;;5466:1:1;5452:16;;5481:5;;5278:218;;5580:2;5570:8;5567:16;5561:3;5555:4;5552:13;5548:36;5542:2;5532:8;5529:16;5524:2;5518:4;5515:12;5511:35;5508:77;5505:159;;;-1:-1:-1;5617:19:1;;;5649:5;;5505:159;5696:34;5721:8;5715:4;5696:34;:::i;:::-;5766:6;5762:1;5758:6;5754:19;5745:7;5742:32;5739:58;;;5777:18;;:::i;:::-;5815:20;;5035:806;-1:-1:-1;;;5035:806:1:o;5846:140::-;5904:5;5933:47;5974:4;5964:8;5960:19;5954:4;5933:47;:::i;5991:168::-;6064:9;;;6095;;6112:15;;;6106:22;;6092:37;6082:71;;6133:18;;:::i;6164:356::-;6366:2;6348:21;;;6385:18;;;6378:30;6444:34;6439:2;6424:18;;6417:62;6511:2;6496:18;;6164:356::o;6525:127::-;6586:10;6581:3;6577:20;6574:1;6567:31;6617:4;6614:1;6607:15;6641:4;6638:1;6631:15;7009:251;7079:6;7132:2;7120:9;7111:7;7107:23;7103:32;7100:52;;;7148:1;7145;7138:12;7100:52;7180:9;7174:16;7199:31;7224:5;7199:31;:::i;8186:306::-;8274:6;8282;8290;8343:2;8331:9;8322:7;8318:23;8314:32;8311:52;;;8359:1;8356;8349:12;8311:52;8388:9;8382:16;8372:26;;8438:2;8427:9;8423:18;8417:25;8407:35;;8482:2;8471:9;8467:18;8461:25;8451:35;;8186:306;;;;;:::o;8776:277::-;8843:6;8896:2;8884:9;8875:7;8871:23;8867:32;8864:52;;;8912:1;8909;8902:12;8864:52;8944:9;8938:16;8997:5;8990:13;8983:21;8976:5;8973:32;8963:60;;9019:1;9016;9009:12;11440:125;11505:9;;;11526:10;;;11523:36;;;11539:18;;:::i;11925:135::-;11964:3;11985:17;;;11982:43;;12005:18;;:::i;:::-;-1:-1:-1;12052:1:1;12041:13;;11925:135::o;12417:128::-;12484:9;;;12505:11;;;12502:37;;;12519:18;;:::i;12550:980::-;12812:4;12860:3;12849:9;12845:19;12891:6;12880:9;12873:25;12917:2;12955:6;12950:2;12939:9;12935:18;12928:34;12998:3;12993:2;12982:9;12978:18;12971:31;13022:6;13057;13051:13;13088:6;13080;13073:22;13126:3;13115:9;13111:19;13104:26;;13165:2;13157:6;13153:15;13139:29;;13186:1;13196:195;13210:6;13207:1;13204:13;13196:195;;;13275:13;;-1:-1:-1;;;;;13271:39:1;13259:52;;13366:15;;;;13331:12;;;;13307:1;13225:9;13196:195;;;-1:-1:-1;;;;;;;13447:32:1;;;;13442:2;13427:18;;13420:60;-1:-1:-1;;;13511:3:1;13496:19;13489:35;13408:3;12550:980;-1:-1:-1;;;12550:980:1:o;13535:217::-;13575:1;13601;13591:132;;13645:10;13640:3;13636:20;13633:1;13626:31;13680:4;13677:1;13670:15;13708:4;13705:1;13698:15;13591:132;-1:-1:-1;13737:9:1;;13535:217::o

ipfs://c8206084ca2eb7f6d41fd98c2099a39feb0afc1bd056e4578b41ba1c0493fe00