Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/**
Website : https://healixai.tech/

X : https://x.com/Healix__AI

TG : https://t.me/HealixAi

*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.27;

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

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

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 HXAI is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private isExile;
    mapping (address => bool) public marketPair;
    mapping (uint256 => uint256) private perBuyCount;
    address payable private _taxWallet;
    uint256 private firstBlock = 0;

    uint256 private _initialBuyTax=25;
    uint256 private _initialSellTax=25;
    uint256 private _finalBuyTax=5;
    uint256 private _finalSellTax=5;

    uint256 private _reduceBuyTaxAt=15;

    uint256 private _reduceSellTaxAt=15;
    uint256 private _preventSwapBefore=15;
    uint256 private _buyCount=0;
    uint256 private sellCount = 0;
    uint256 private lastSellBlock = 0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 10000000 * 10**_decimals;
    string private constant _name = unicode"Healix AI";
    string private constant _symbol = unicode"HxAI";
    uint256 public _maxTxAmount =   200000 * 10**_decimals;
    uint256 public _maxWalletSize = 200000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 50000 * 10**_decimals;
    uint256 public _maxTaxSwap= 200000 * 10**_decimals;

    IUniswapV2Router02 private uniswapV2Router;
    address public uniswapV2Pair;
    bool private tradingOpen;
    uint256 private sellsPerBlock = 3;
    uint256 private buysFirstBlock = 40;
    bool private inSwap = false;
    bool private swapEnabled = false;

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

    constructor () {

        _taxWallet = payable(0xc169432b4fdf2399b4f167084EecDD8d54E44363);
        _balances[_msgSender()] = _tTotal;
        isExile[owner()] = true;
        isExile[address(this)] = true;
        isExile[address(uniswapV2Pair)] = true;
        
        emit Transfer(address(0), _msgSender(), _tTotal);

        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        marketPair[address(uniswapV2Pair)] = true;
        isExile[address(uniswapV2Pair)] = true;
    }

    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()) {
            taxAmount = amount.mul((_buyCount> _reduceBuyTaxAt)? _finalBuyTax: _initialBuyTax).div(100);

            if(block.number == firstBlock){
               require(perBuyCount[block.number] < buysFirstBlock, "Exceeds buys on the first block.");
               perBuyCount[block.number]++;
            }

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

            if (!marketPair[to] && ! isExile[to]) {
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
            }

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

	    if (!marketPair[from] && !marketPair[to] && from!= address(this) ) {
                taxAmount = 0;
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && marketPair[to] && swapEnabled && contractTokenBalance>_taxSwapThreshold && _buyCount>_preventSwapBefore) {
                if (block.number > lastSellBlock) {
                    sellCount = 0;
                }
                require(sellCount < sellsPerBlock);
                swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
                sellCount++;
                lastSellBlock = block.number;
            }

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

        if(taxAmount>0){
          _balances[address(this)]=_balances[address(this)].add(taxAmount);
          emit Transfer(from, address(this),taxAmount);
        }
        _balances[from]=_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 sendETHToFee(uint256 amount) private {
        _taxWallet.transfer(amount);
    }

    function rescueETH() external onlyOwner() {
        payable(_taxWallet).transfer(address(this).balance);
    }

    function rescueTokens(address _tokenAddr, uint _amount) external onlyOwner() {
        IERC20(_tokenAddr).transfer(_taxWallet, _amount);
    }

    function RemoveRestrictions() external onlyOwner{
        _maxTxAmount = _tTotal;
        _maxWalletSize=_tTotal;
        emit MaxTxAmountUpdated(_tTotal);
    }

    function enableTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        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;
        firstBlock = block.number;
    }

    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"RemoveRestrictions","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"RenounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"TransferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"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":"enableTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"marketPair","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"rescueETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_tokenAddr","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"rescueTokens","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"uniswapV2Pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040525f600755601960085560196009556005600a556005600b55600f600c55600f600d55600f600e555f600f555f6010555f6011556009600a6100459190610650565b6100529062030d40610665565b6012556100616009600a610650565b61006e9062030d40610665565b60135561007d6009600a610650565b6100899061c350610665565b6014556100986009600a610650565b6100a59062030d40610665565b60155560036018556028601955601a805461ffff191690553480156100c8575f5ffd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600680546001600160a01b03191673c169432b4fdf2399b4f167084eecdd8d54e4436317905561013b6009600a610650565b6101489062989680610665565b335f9081526001602081905260408220929092556003906101705f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260039093528183208054851660019081179091556017549091168352912080549092161790556101cd3390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6102046009600a610650565b6102119062989680610665565b60405190815260200160405180910390a3601680546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561026f90309061025d6009600a610650565b61026a9062989680610665565b61042f565b60165f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156102bf573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102e3919061067c565b6001600160a01b031663c9c653963060165f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610342573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610366919061067c565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156103b0573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906103d4919061067c565b601780546001600160a01b0319166001600160a01b0392831690811782555f908152600460209081526040808320805460ff1990811660019081179092559454909516835260039091529020805490911690911790556106a2565b6001600160a01b0383166104965760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084015b60405180910390fd5b6001600160a01b0382166104f75760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161048d565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156105a65780850481111561058a5761058a610557565b600184161561059857908102905b60019390931c92800261056f565b935093915050565b5f826105bc5750600161064a565b816105c857505f61064a565b81600181146105de57600281146105e857610604565b600191505061064a565b60ff8411156105f9576105f9610557565b50506001821b61064a565b5060208310610133831016604e8410600b8410161715610627575081810a61064a565b6106335f19848461056b565b805f190482111561064657610646610557565b0290505b92915050565b5f61065e60ff8416836105ae565b9392505050565b808202811582820484141761064a5761064a610557565b5f6020828403121561068c575f5ffd5b81516001600160a01b038116811461065e575f5ffd5b6119db806106af5f395ff3fe608060405260043610610134575f3560e01c80637d1db4a5116100a8578063a9059cbb1161006d578063a9059cbb1461035c578063b2261dbf1461037b578063bf474bed1461038f578063cfaaa266146103a4578063dd62ed3e146103c3578063f5b3c3bf14610407575f5ffd5b80637d1db4a5146102d65780638a8c523c146102eb5780638da5cb5b146102ff5780638f9a55c01461031b57806395d89b4114610330575f5ffd5b806323b872dd116100f957806323b872dd146101fe578063313ce5671461021d57806349bd5a5e14610238578063573761981461026f5780636e4ee8111461028e57806370a08231146102a2575f5ffd5b806306fdde031461013f578063095ea7b3146101825780630faee56f146101b157806318160ddd146101d457806320800a00146101e8575f5ffd5b3661013b57005b5f5ffd5b34801561014a575f5ffd5b506040805180820190915260098152684865616c697820414960b81b60208201525b60405161017991906115e3565b60405180910390f35b34801561018d575f5ffd5b506101a161019c36600461162c565b610435565b6040519015158152602001610179565b3480156101bc575f5ffd5b506101c660155481565b604051908152602001610179565b3480156101df575f5ffd5b506101c661044b565b3480156101f3575f5ffd5b506101fc61046a565b005b348015610209575f5ffd5b506101a1610218366004611656565b6104d5565b348015610228575f5ffd5b5060405160098152602001610179565b348015610243575f5ffd5b50601754610257906001600160a01b031681565b6040516001600160a01b039091168152602001610179565b34801561027a575f5ffd5b506101fc61028936600461162c565b61053c565b348015610299575f5ffd5b506101fc6105de565b3480156102ad575f5ffd5b506101c66102bc366004611694565b6001600160a01b03165f9081526001602052604090205490565b3480156102e1575f5ffd5b506101c660125481565b3480156102f6575f5ffd5b506101fc61064f565b34801561030a575f5ffd5b505f546001600160a01b0316610257565b348015610326575f5ffd5b506101c660135481565b34801561033b575f5ffd5b506040805180820190915260048152634878414960e01b602082015261016c565b348015610367575f5ffd5b506101a161037636600461162c565b610843565b348015610386575f5ffd5b506101fc61084f565b34801561039a575f5ffd5b506101c660145481565b3480156103af575f5ffd5b506101fc6103be366004611694565b6108fd565b3480156103ce575f5ffd5b506101c66103dd3660046116af565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b348015610412575f5ffd5b506101a1610421366004611694565b60046020525f908152604090205460ff1681565b5f6104413384846109e4565b5060015b92915050565b5f6104586009600a6117dd565b61046590629896806117eb565b905090565b5f546001600160a01b0316331461049c5760405162461bcd60e51b815260040161049390611802565b60405180910390fd5b6006546040516001600160a01b03909116904780156108fc02915f818181858888f193505050501580156104d2573d5f5f3e3d5ffd5b50565b5f6104e1848484610b07565b610532843361052d8560405180606001604052806028815260200161197e602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611264565b6109e4565b5060019392505050565b5f546001600160a01b031633146105655760405162461bcd60e51b815260040161049390611802565b60065460405163a9059cbb60e01b81526001600160a01b039182166004820152602481018390529083169063a9059cbb906044016020604051808303815f875af11580156105b5573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105d99190611837565b505050565b5f546001600160a01b031633146106075760405162461bcd60e51b815260040161049390611802565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146106785760405162461bcd60e51b815260040161049390611802565b601754600160a01b900460ff16156106d25760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610493565b6016546001600160a01b031663f305d7194730610703816001600160a01b03165f9081526001602052604090205490565b5f5f6107165f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561077c573d5f5f3e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906107a19190611856565b505060175460165460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156107f6573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061081a9190611837565b50601a805461ff0019166101001790556017805460ff60a01b1916600160a01b17905543600755565b5f610441338484610b07565b5f546001600160a01b031633146108785760405162461bcd60e51b815260040161049390611802565b6108846009600a6117dd565b61089190629896806117eb565b6012556108a06009600a6117dd565b6108ad90629896806117eb565b6013557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6108dd6009600a6117dd565b6108ea90629896806117eb565b60405190815260200160405180910390a1565b5f546001600160a01b031633146109265760405162461bcd60e51b815260040161049390611802565b6001600160a01b03811661098b5760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608401610493565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b038316610a465760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610493565b6001600160a01b038216610aa75760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610493565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b6b5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610493565b6001600160a01b038216610bcd5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610493565b5f8111610c2e5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610493565b5f80546001600160a01b03858116911614801590610c5957505f546001600160a01b03848116911614155b1561112757610c8a6064610c84600c54600f5411610c7957600854610c7d565b600a545b859061129c565b90611321565b90506007544303610d1457601954435f9081526005602052604090205410610cf45760405162461bcd60e51b815260206004820181905260248201527f457863656564732062757973206f6e2074686520666972737420626c6f636b2e6044820152606401610493565b435f908152600560205260408120805491610d0e83611881565b91905055505b6001600160a01b0384165f9081526004602052604090205460ff168015610d4957506016546001600160a01b03848116911614155b8015610d6d57506001600160a01b0383165f9081526003602052604090205460ff16155b15610e5357601254821115610dc45760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610493565b60135482610de6856001600160a01b03165f9081526001602052604090205490565b610df09190611899565b1115610e3e5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610493565b600f8054905f610e4d83611881565b91905055505b6001600160a01b0383165f9081526004602052604090205460ff16158015610e9357506001600160a01b0383165f9081526003602052604090205460ff16155b15610f125760135482610eba856001600160a01b03165f9081526001602052604090205490565b610ec49190611899565b1115610f125760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610493565b6001600160a01b0383165f9081526004602052604090205460ff168015610f4257506001600160a01b0384163014155b15610f6f57610f6c6064610c84600d54600f5411610f6257600954610c7d565b600b54859061129c565b90505b6001600160a01b0384165f9081526004602052604090205460ff16158015610faf57506001600160a01b0383165f9081526004602052604090205460ff16155b8015610fc457506001600160a01b0384163014155b15610fcc57505f5b305f90815260016020526040902054601a5460ff1615801561100557506001600160a01b0384165f9081526004602052604090205460ff165b80156110185750601a54610100900460ff165b8015611025575060145481115b80156110345750600e54600f54115b156110a257601154431115611048575f6010555b60185460105410611057575f5ffd5b61107461106f8461106a84601554611362565b611362565b611376565b47801561108457611084476114dd565b60108054905f61109383611881565b90915550504360115550611125565b601a5460ff161580156110cc57506001600160a01b0384165f9081526004602052604090205460ff165b80156110df5750601a54610100900460ff165b80156110ec575060145481115b80156110fb5750600e54600f54115b156111255761111361106f8461106a84601554611362565b47801561112357611123476114dd565b505b505b801561119f57305f908152600160205260409020546111469082611518565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111969085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111c19083611576565b6001600160a01b0385165f908152600160205260409020556112046111e68383611576565b6001600160a01b0385165f9081526001602052604090205490611518565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61124d8585611576565b60405190815260200160405180910390a350505050565b5f81848411156112875760405162461bcd60e51b815260040161049391906115e3565b505f61129384866118ac565b95945050505050565b5f825f036112ab57505f610445565b5f6112b683856117eb565b9050826112c385836118bf565b1461131a5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610493565b9392505050565b5f61131a83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115b7565b5f818311611370578261131a565b50919050565b601a805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106113b6576113b66118de565b6001600160a01b03928316602091820292909201810191909152601654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561140d573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061143191906118f2565b81600181518110611444576114446118de565b6001600160a01b03928316602091820292909201015260165461146a91309116846109e4565b60165460405163791ac94760e01b81526001600160a01b039091169063791ac947906114a29085905f9086903090429060040161190d565b5f604051808303815f87803b1580156114b9575f5ffd5b505af11580156114cb573d5f5f3e3d5ffd5b5050601a805460ff1916905550505050565b6006546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611514573d5f5f3e3d5ffd5b5050565b5f806115248385611899565b90508381101561131a5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610493565b5f61131a83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611264565b5f81836115d75760405162461bcd60e51b815260040161049391906115e3565b505f61129384866118bf565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146104d2575f5ffd5b5f5f6040838503121561163d575f5ffd5b823561164881611618565b946020939093013593505050565b5f5f5f60608486031215611668575f5ffd5b833561167381611618565b9250602084013561168381611618565b929592945050506040919091013590565b5f602082840312156116a4575f5ffd5b813561131a81611618565b5f5f604083850312156116c0575f5ffd5b82356116cb81611618565b915060208301356116db81611618565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b600184111561173557808504811115611719576117196116e6565b600184161561172757908102905b60019390931c9280026116fe565b935093915050565b5f8261174b57506001610445565b8161175757505f610445565b816001811461176d576002811461177757611793565b6001915050610445565b60ff841115611788576117886116e6565b50506001821b610445565b5060208310610133831016604e8410600b84101617156117b6575081810a610445565b6117c25f1984846116fa565b805f19048211156117d5576117d56116e6565b029392505050565b5f61131a60ff84168361173d565b8082028115828204841417610445576104456116e6565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611847575f5ffd5b8151801515811461131a575f5ffd5b5f5f5f60608486031215611868575f5ffd5b5050815160208301516040909301519094929350919050565b5f60018201611892576118926116e6565b5060010190565b80820180821115610445576104456116e6565b81810381811115610445576104456116e6565b5f826118d957634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611902575f5ffd5b815161131a81611618565b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b8181101561195d5783516001600160a01b0316835260209384019390920191600101611936565b50506001600160a01b03959095166060840152505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220885060d5adbb9178f5f351b021b67860d55638e0677188c9b1d53a348629405464736f6c634300081b0033

0x608060405260043610610134575f3560e01c80637d1db4a5116100a8578063a9059cbb1161006d578063a9059cbb1461035c578063b2261dbf1461037b578063bf474bed1461038f578063cfaaa266146103a4578063dd62ed3e146103c3578063f5b3c3bf14610407575f5ffd5b80637d1db4a5146102d65780638a8c523c146102eb5780638da5cb5b146102ff5780638f9a55c01461031b57806395d89b4114610330575f5ffd5b806323b872dd116100f957806323b872dd146101fe578063313ce5671461021d57806349bd5a5e14610238578063573761981461026f5780636e4ee8111461028e57806370a08231146102a2575f5ffd5b806306fdde031461013f578063095ea7b3146101825780630faee56f146101b157806318160ddd146101d457806320800a00146101e8575f5ffd5b3661013b57005b5f5ffd5b34801561014a575f5ffd5b506040805180820190915260098152684865616c697820414960b81b60208201525b60405161017991906115e3565b60405180910390f35b34801561018d575f5ffd5b506101a161019c36600461162c565b610435565b6040519015158152602001610179565b3480156101bc575f5ffd5b506101c660155481565b604051908152602001610179565b3480156101df575f5ffd5b506101c661044b565b3480156101f3575f5ffd5b506101fc61046a565b005b348015610209575f5ffd5b506101a1610218366004611656565b6104d5565b348015610228575f5ffd5b5060405160098152602001610179565b348015610243575f5ffd5b50601754610257906001600160a01b031681565b6040516001600160a01b039091168152602001610179565b34801561027a575f5ffd5b506101fc61028936600461162c565b61053c565b348015610299575f5ffd5b506101fc6105de565b3480156102ad575f5ffd5b506101c66102bc366004611694565b6001600160a01b03165f9081526001602052604090205490565b3480156102e1575f5ffd5b506101c660125481565b3480156102f6575f5ffd5b506101fc61064f565b34801561030a575f5ffd5b505f546001600160a01b0316610257565b348015610326575f5ffd5b506101c660135481565b34801561033b575f5ffd5b506040805180820190915260048152634878414960e01b602082015261016c565b348015610367575f5ffd5b506101a161037636600461162c565b610843565b348015610386575f5ffd5b506101fc61084f565b34801561039a575f5ffd5b506101c660145481565b3480156103af575f5ffd5b506101fc6103be366004611694565b6108fd565b3480156103ce575f5ffd5b506101c66103dd3660046116af565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b348015610412575f5ffd5b506101a1610421366004611694565b60046020525f908152604090205460ff1681565b5f6104413384846109e4565b5060015b92915050565b5f6104586009600a6117dd565b61046590629896806117eb565b905090565b5f546001600160a01b0316331461049c5760405162461bcd60e51b815260040161049390611802565b60405180910390fd5b6006546040516001600160a01b03909116904780156108fc02915f818181858888f193505050501580156104d2573d5f5f3e3d5ffd5b50565b5f6104e1848484610b07565b610532843361052d8560405180606001604052806028815260200161197e602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611264565b6109e4565b5060019392505050565b5f546001600160a01b031633146105655760405162461bcd60e51b815260040161049390611802565b60065460405163a9059cbb60e01b81526001600160a01b039182166004820152602481018390529083169063a9059cbb906044016020604051808303815f875af11580156105b5573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105d99190611837565b505050565b5f546001600160a01b031633146106075760405162461bcd60e51b815260040161049390611802565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146106785760405162461bcd60e51b815260040161049390611802565b601754600160a01b900460ff16156106d25760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610493565b6016546001600160a01b031663f305d7194730610703816001600160a01b03165f9081526001602052604090205490565b5f5f6107165f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561077c573d5f5f3e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906107a19190611856565b505060175460165460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156107f6573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061081a9190611837565b50601a805461ff0019166101001790556017805460ff60a01b1916600160a01b17905543600755565b5f610441338484610b07565b5f546001600160a01b031633146108785760405162461bcd60e51b815260040161049390611802565b6108846009600a6117dd565b61089190629896806117eb565b6012556108a06009600a6117dd565b6108ad90629896806117eb565b6013557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6108dd6009600a6117dd565b6108ea90629896806117eb565b60405190815260200160405180910390a1565b5f546001600160a01b031633146109265760405162461bcd60e51b815260040161049390611802565b6001600160a01b03811661098b5760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608401610493565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b038316610a465760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610493565b6001600160a01b038216610aa75760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610493565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b6b5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610493565b6001600160a01b038216610bcd5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610493565b5f8111610c2e5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610493565b5f80546001600160a01b03858116911614801590610c5957505f546001600160a01b03848116911614155b1561112757610c8a6064610c84600c54600f5411610c7957600854610c7d565b600a545b859061129c565b90611321565b90506007544303610d1457601954435f9081526005602052604090205410610cf45760405162461bcd60e51b815260206004820181905260248201527f457863656564732062757973206f6e2074686520666972737420626c6f636b2e6044820152606401610493565b435f908152600560205260408120805491610d0e83611881565b91905055505b6001600160a01b0384165f9081526004602052604090205460ff168015610d4957506016546001600160a01b03848116911614155b8015610d6d57506001600160a01b0383165f9081526003602052604090205460ff16155b15610e5357601254821115610dc45760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610493565b60135482610de6856001600160a01b03165f9081526001602052604090205490565b610df09190611899565b1115610e3e5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610493565b600f8054905f610e4d83611881565b91905055505b6001600160a01b0383165f9081526004602052604090205460ff16158015610e9357506001600160a01b0383165f9081526003602052604090205460ff16155b15610f125760135482610eba856001600160a01b03165f9081526001602052604090205490565b610ec49190611899565b1115610f125760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610493565b6001600160a01b0383165f9081526004602052604090205460ff168015610f4257506001600160a01b0384163014155b15610f6f57610f6c6064610c84600d54600f5411610f6257600954610c7d565b600b54859061129c565b90505b6001600160a01b0384165f9081526004602052604090205460ff16158015610faf57506001600160a01b0383165f9081526004602052604090205460ff16155b8015610fc457506001600160a01b0384163014155b15610fcc57505f5b305f90815260016020526040902054601a5460ff1615801561100557506001600160a01b0384165f9081526004602052604090205460ff165b80156110185750601a54610100900460ff165b8015611025575060145481115b80156110345750600e54600f54115b156110a257601154431115611048575f6010555b60185460105410611057575f5ffd5b61107461106f8461106a84601554611362565b611362565b611376565b47801561108457611084476114dd565b60108054905f61109383611881565b90915550504360115550611125565b601a5460ff161580156110cc57506001600160a01b0384165f9081526004602052604090205460ff165b80156110df5750601a54610100900460ff165b80156110ec575060145481115b80156110fb5750600e54600f54115b156111255761111361106f8461106a84601554611362565b47801561112357611123476114dd565b505b505b801561119f57305f908152600160205260409020546111469082611518565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111969085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111c19083611576565b6001600160a01b0385165f908152600160205260409020556112046111e68383611576565b6001600160a01b0385165f9081526001602052604090205490611518565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61124d8585611576565b60405190815260200160405180910390a350505050565b5f81848411156112875760405162461bcd60e51b815260040161049391906115e3565b505f61129384866118ac565b95945050505050565b5f825f036112ab57505f610445565b5f6112b683856117eb565b9050826112c385836118bf565b1461131a5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610493565b9392505050565b5f61131a83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115b7565b5f818311611370578261131a565b50919050565b601a805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106113b6576113b66118de565b6001600160a01b03928316602091820292909201810191909152601654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561140d573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061143191906118f2565b81600181518110611444576114446118de565b6001600160a01b03928316602091820292909201015260165461146a91309116846109e4565b60165460405163791ac94760e01b81526001600160a01b039091169063791ac947906114a29085905f9086903090429060040161190d565b5f604051808303815f87803b1580156114b9575f5ffd5b505af11580156114cb573d5f5f3e3d5ffd5b5050601a805460ff1916905550505050565b6006546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611514573d5f5f3e3d5ffd5b5050565b5f806115248385611899565b90508381101561131a5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610493565b5f61131a83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611264565b5f81836115d75760405162461bcd60e51b815260040161049391906115e3565b505f61129384866118bf565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146104d2575f5ffd5b5f5f6040838503121561163d575f5ffd5b823561164881611618565b946020939093013593505050565b5f5f5f60608486031215611668575f5ffd5b833561167381611618565b9250602084013561168381611618565b929592945050506040919091013590565b5f602082840312156116a4575f5ffd5b813561131a81611618565b5f5f604083850312156116c0575f5ffd5b82356116cb81611618565b915060208301356116db81611618565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b600184111561173557808504811115611719576117196116e6565b600184161561172757908102905b60019390931c9280026116fe565b935093915050565b5f8261174b57506001610445565b8161175757505f610445565b816001811461176d576002811461177757611793565b6001915050610445565b60ff841115611788576117886116e6565b50506001821b610445565b5060208310610133831016604e8410600b84101617156117b6575081810a610445565b6117c25f1984846116fa565b805f19048211156117d5576117d56116e6565b029392505050565b5f61131a60ff84168361173d565b8082028115828204841417610445576104456116e6565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611847575f5ffd5b8151801515811461131a575f5ffd5b5f5f5f60608486031215611868575f5ffd5b5050815160208301516040909301519094929350919050565b5f60018201611892576118926116e6565b5060010190565b80820180821115610445576104456116e6565b81810381811115610445576104456116e6565b5f826118d957634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611902575f5ffd5b815161131a81611618565b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b8181101561195d5783516001600160a01b0316835260209384019390920191600101611936565b50506001600160a01b03959095166060840152505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220885060d5adbb9178f5f351b021b67860d55638e0677188c9b1d53a348629405464736f6c634300081b0033

3832:8770:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6286:83;;;;;;;;;;-1:-1:-1;6356:5:0;;;;;;;;;;;;-1:-1:-1;;;6356:5:0;;;;6286:83;;;;;;;:::i;:::-;;;;;;;;7119:161;;;;;;;;;;-1:-1:-1;7119:161:0;;;;;:::i;:::-;;:::i;:::-;;;1110:14:1;;1103:22;1085:41;;1073:2;1058:18;7119:161:0;945:187:1;5079:50:0;;;;;;;;;;;;;;;;;;;1283:25:1;;;1271:2;1256:18;5079:50:0;1137:177:1;6563:95:0;;;;;;;;;;;;;:::i;11689:112::-;;;;;;;;;;;;;:::i;:::-;;7288:313;;;;;;;;;;-1:-1:-1;7288:313:0;;;;;:::i;:::-;;:::i;6472:83::-;;;;;;;;;;-1:-1:-1;6472:83:0;;4710:1;1974:36:1;;1962:2;1947:18;6472:83:0;1832:184:1;5187:28:0;;;;;;;;;;-1:-1:-1;5187:28:0;;;;-1:-1:-1;;;;;5187:28:0;;;;;;-1:-1:-1;;;;;2185:32:1;;;2167:51;;2155:2;2140:18;5187:28:0;2021:203:1;11809:144:0;;;;;;;;;;-1:-1:-1;11809:144:0;;;;;:::i;:::-;;:::i;2663:148::-;;;;;;;;;;;;;:::i;6666:119::-;;;;;;;;;;-1:-1:-1;6666:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6759:18:0;6732:7;6759:18;;;:9;:18;;;;;;;6666:119;4895:54;;;;;;;;;;;;;;;;12134:428;;;;;;;;;;;;;:::i;2449:79::-;;;;;;;;;;-1:-1:-1;2487:7:0;2514:6;-1:-1:-1;;;;;2514:6:0;2449:79;;4956:54;;;;;;;;;;;;;;;;6377:87;;;;;;;;;;-1:-1:-1;6449:7:0;;;;;;;;;;;;-1:-1:-1;;;6449:7:0;;;;6377:87;;6793:167;;;;;;;;;;-1:-1:-1;6793:167:0;;;;;:::i;:::-;;:::i;11961:165::-;;;;;;;;;;;;;:::i;5017:55::-;;;;;;;;;;;;;;;;2819:244;;;;;;;;;;-1:-1:-1;2819:244:0;;;;;:::i;:::-;;:::i;6968:143::-;;;;;;;;;;-1:-1:-1;6968:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;7076:18:0;;;7049:7;7076:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6968:143;4091:43;;;;;;;;;;-1:-1:-1;4091:43:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;7119:161;7194:4;7211:39;284:10;7234:7;7243:6;7211:8;:39::i;:::-;-1:-1:-1;7268:4:0;7119:161;;;;;:::o;6563:95::-;6616:7;4764:13;4710:1;4764:2;:13;:::i;:::-;4753:24;;:8;:24;:::i;:::-;6636:14;;6563:95;:::o;11689:112::-;2576:6;;-1:-1:-1;;;;;2576:6:0;284:10;2576:22;2568:67;;;;-1:-1:-1;;;2568:67:0;;;;;;;:::i;:::-;;;;;;;;;11750:10:::1;::::0;11742:51:::1;::::0;-1:-1:-1;;;;;11750:10:0;;::::1;::::0;11771:21:::1;11742:51:::0;::::1;;;::::0;11750:10:::1;11742:51:::0;11750:10;11742:51;11771:21;11750:10;11742:51;::::1;;;;;;;;;;;;;;;;;;;;11689:112::o:0;7288:313::-;7386:4;7403:36;7413:6;7421:9;7432:6;7403:9;:36::i;:::-;7450:121;7459:6;284:10;7481:89;7519:6;7481:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7481:19:0;;;;;;:11;:19;;;;;;;;284:10;7481:33;;;;;;;;;;:37;:89::i;:::-;7450:8;:121::i;:::-;-1:-1:-1;7589:4:0;7288:313;;;;;:::o;11809:144::-;2576:6;;-1:-1:-1;;;;;2576:6:0;284:10;2576:22;2568:67;;;;-1:-1:-1;;;2568:67:0;;;;;;;:::i;:::-;11925:10:::1;::::0;11897:48:::1;::::0;-1:-1:-1;;;11897:48:0;;-1:-1:-1;;;;;11925:10:0;;::::1;11897:48;::::0;::::1;5154:51:1::0;5221:18;;;5214:34;;;11897:27:0;;::::1;::::0;::::1;::::0;5127:18:1;;11897:48:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;11809:144:::0;;:::o;2663:148::-;2576:6;;-1:-1:-1;;;;;2576:6:0;284:10;2576:22;2568:67;;;;-1:-1:-1;;;2568:67:0;;;;;;;:::i;:::-;2770:1:::1;2754:6:::0;;2733:40:::1;::::0;-1:-1:-1;;;;;2754:6:0;;::::1;::::0;2733:40:::1;::::0;2770:1;;2733:40:::1;2801:1;2784:19:::0;;-1:-1:-1;;;;;;2784:19:0::1;::::0;;2663:148::o;12134:428::-;2576:6;;-1:-1:-1;;;;;2576:6:0;284:10;2576:22;2568:67;;;;-1:-1:-1;;;2568:67:0;;;;;;;:::i;:::-;12200:11:::1;::::0;-1:-1:-1;;;12200:11:0;::::1;;;12199:12;12191:47;;;::::0;-1:-1:-1;;;12191:47:0;;5743:2:1;12191:47:0::1;::::0;::::1;5725:21:1::0;5782:2;5762:18;;;5755:30;5821:25;5801:18;;;5794:53;5864:18;;12191:47:0::1;5541:347:1::0;12191:47:0::1;12249:15;::::0;-1:-1:-1;;;;;12249:15:0::1;:31;12288:21;12319:4;12325:24;12319:4:::0;-1:-1:-1;;;;;6759:18:0;6732:7;6759:18;;;:9;:18;;;;;;;6666:119;12325:24:::1;12350:1;12352;12354:7;2487::::0;2514:6;-1:-1:-1;;;;;2514:6:0;;2449:79;12354:7:::1;12249:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;12249:129:0;;;-1:-1:-1;;;;;6214:32:1;;;12249:129:0::1;::::0;::::1;6196:51:1::0;6263:18;;;6256:34;;;;6306:18;;;6299:34;;;;6349:18;;;6342:34;6413:32;;;6392:19;;;6385:61;12362:15:0::1;6462:19:1::0;;;6455:35;6168:19;;12249:129:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;12396:13:0::1;::::0;12427:15:::1;::::0;12389:71:::1;::::0;-1:-1:-1;;;12389:71:0;;-1:-1:-1;;;;;12427:15:0;;::::1;12389:71;::::0;::::1;5154:51:1::0;-1:-1:-1;;5221:18:1;;;5214:34;12396:13:0;::::1;::::0;-1:-1:-1;12389:29:0::1;::::0;5127:18:1;;12389:71:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;12471:11:0::1;:18:::0;;-1:-1:-1;;12471:18:0::1;;;::::0;;12500:11:::1;:18:::0;;-1:-1:-1;;;;12500:18:0::1;-1:-1:-1::0;;;12500:18:0::1;::::0;;12542:12:::1;12529:10;:25:::0;12134:428::o;6793:167::-;6871:4;6888:42;284:10;6912:9;6923:6;6888:9;:42::i;11961:165::-;2576:6;;-1:-1:-1;;;;;2576:6:0;284:10;2576:22;2568:67;;;;-1:-1:-1;;;2568:67:0;;;;;;;:::i;:::-;4764:13:::1;4710:1;4764:2;:13;:::i;:::-;4753:24;::::0;:8:::1;:24;:::i;:::-;12020:12;:22:::0;4764:13:::1;4710:1;4764:2;:13;:::i;:::-;4753:24;::::0;:8:::1;:24;:::i;:::-;12053:14;:22:::0;12091:27:::1;4764:13;4710:1;4764:2;:13;:::i;:::-;4753:24;::::0;:8:::1;:24;:::i;:::-;12091:27;::::0;1283:25:1;;;1271:2;1256:18;12091:27:0::1;;;;;;;11961:165::o:0;2819:244::-;2576:6;;-1:-1:-1;;;;;2576:6:0;284:10;2576:22;2568:67;;;;-1:-1:-1;;;2568:67:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;2908:22:0;::::1;2900:73;;;::::0;-1:-1:-1;;;2900:73:0;;7443:2:1;2900:73:0::1;::::0;::::1;7425:21:1::0;7482:2;7462:18;;;7455:30;7521:34;7501:18;;;7494:62;-1:-1:-1;;;7572:18:1;;;7565:36;7618:19;;2900:73:0::1;7241:402:1::0;2900:73:0::1;3010:6;::::0;;2989:38:::1;::::0;-1:-1:-1;;;;;2989:38:0;;::::1;::::0;3010:6;::::1;::::0;2989:38:::1;::::0;::::1;3038:6;:17:::0;;-1:-1:-1;;;;;;3038:17:0::1;-1:-1:-1::0;;;;;3038:17:0;;;::::1;::::0;;;::::1;::::0;;2819:244::o;7609:335::-;-1:-1:-1;;;;;7702:19:0;;7694:68;;;;-1:-1:-1;;;7694:68:0;;7850:2:1;7694:68:0;;;7832:21:1;7889:2;7869:18;;;7862:30;7928:34;7908:18;;;7901:62;-1:-1:-1;;;7979:18:1;;;7972:34;8023:19;;7694:68:0;7648:400:1;7694:68:0;-1:-1:-1;;;;;7781:21:0;;7773:68;;;;-1:-1:-1;;;7773:68:0;;8255:2:1;7773:68:0;;;8237:21:1;8294:2;8274:18;;;8267:30;8333:34;8313:18;;;8306:62;-1:-1:-1;;;8384:18:1;;;8377:32;8426:19;;7773:68:0;8053:398:1;7773:68:0;-1:-1:-1;;;;;7852:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7904:32;;1283:25:1;;;7904:32:0;;1256:18:1;7904:32:0;;;;;;;7609:335;;;:::o;7952:3030::-;-1:-1:-1;;;;;8040:18:0;;8032:68;;;;-1:-1:-1;;;8032:68:0;;8658:2:1;8032:68:0;;;8640:21:1;8697:2;8677:18;;;8670:30;8736:34;8716:18;;;8709:62;-1:-1:-1;;;8787:18:1;;;8780:35;8832:19;;8032:68:0;8456:401:1;8032:68:0;-1:-1:-1;;;;;8119:16:0;;8111:64;;;;-1:-1:-1;;;8111:64:0;;9064:2:1;8111:64:0;;;9046:21:1;9103:2;9083:18;;;9076:30;9142:34;9122:18;;;9115:62;-1:-1:-1;;;9193:18:1;;;9186:33;9236:19;;8111:64:0;8862:399:1;8111:64:0;8203:1;8194:6;:10;8186:64;;;;-1:-1:-1;;;8186:64:0;;9468:2:1;8186:64:0;;;9450:21:1;9507:2;9487:18;;;9480:30;9546:34;9526:18;;;9519:62;-1:-1:-1;;;9597:18:1;;;9590:39;9646:19;;8186:64:0;9266:405:1;8186:64:0;8261:17;2514:6;;-1:-1:-1;;;;;8297:15:0;;;2514:6;;8297:15;;;;:32;;-1:-1:-1;2487:7:0;2514:6;-1:-1:-1;;;;;8316:13:0;;;2514:6;;8316:13;;8297:32;8293:2333;;;8358:79;8433:3;8358:70;8381:15;;8370:9;;:26;8369:58;;8413:14;;8369:58;;;8399:12;;8369:58;8358:6;;:10;:70::i;:::-;:74;;:79::i;:::-;8346:91;;8473:10;;8457:12;:26;8454:196;;8538:14;;8522:12;8510:25;;;;:11;:25;;;;;;:42;8502:87;;;;-1:-1:-1;;;8502:87:0;;9878:2:1;8502:87:0;;;9860:21:1;;;9897:18;;;9890:30;9956:34;9936:18;;;9929:62;10008:18;;8502:87:0;9676:356:1;8502:87:0;8619:12;8607:25;;;;:11;:25;;;;;:27;;;;;;:::i;:::-;;;;;;8454:196;-1:-1:-1;;;;;8670:16:0;;;;;;:10;:16;;;;;;;;:50;;;;-1:-1:-1;8704:15:0;;-1:-1:-1;;;;;8690:30:0;;;8704:15;;8690:30;;8670:50;:67;;;;-1:-1:-1;;;;;;8726:11:0;;;;;;:7;:11;;;;;;;;8724:13;8670:67;8666:297;;;8777:12;;8767:6;:22;;8759:60;;;;-1:-1:-1;;;8759:60:0;;10379:2:1;8759:60:0;;;10361:21:1;10418:2;10398:18;;;10391:30;10457:27;10437:18;;;10430:55;10502:18;;8759:60:0;10177:349:1;8759:60:0;8872:14;;8862:6;8846:13;8856:2;-1:-1:-1;;;;;6759:18:0;6732:7;6759:18;;;:9;:18;;;;;;;6666:119;8846:13;:22;;;;:::i;:::-;:40;;8838:79;;;;-1:-1:-1;;;8838:79:0;;10863:2:1;8838:79:0;;;10845:21:1;10902:2;10882:18;;;10875:30;10941:28;10921:18;;;10914:56;10987:18;;8838:79:0;10661:350:1;8838:79:0;8936:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8666:297;-1:-1:-1;;;;;8984:14:0;;;;;;:10;:14;;;;;;;;8983:15;:32;;;;-1:-1:-1;;;;;;9004:11:0;;;;;;:7;:11;;;;;;;;9002:13;8983:32;8979:152;;;9070:14;;9060:6;9044:13;9054:2;-1:-1:-1;;;;;6759:18:0;6732:7;6759:18;;;:9;:18;;;;;;;6666:119;9044:13;:22;;;;:::i;:::-;:40;;9036:79;;;;-1:-1:-1;;;9036:79:0;;10863:2:1;9036:79:0;;;10845:21:1;10902:2;10882:18;;;10875:30;10941:28;10921:18;;;10914:56;10987:18;;9036:79:0;10661:350:1;9036:79:0;-1:-1:-1;;;;;9150:14:0;;;;;;:10;:14;;;;;;;;:38;;;;-1:-1:-1;;;;;;9168:20:0;;9183:4;9168:20;;9150:38;9147:172;;;9221:82;9299:3;9221:73;9244:16;;9233:9;;:27;9232:61;;9278:15;;9232:61;;;9263:13;;9221:6;;:10;:73::i;:82::-;9209:94;;9147:172;-1:-1:-1;;;;;9333:16:0;;;;;;:10;:16;;;;;;;;9332:17;:36;;;;-1:-1:-1;;;;;;9354:14:0;;;;;;:10;:14;;;;;;;;9353:15;9332:36;:60;;;;-1:-1:-1;;;;;;9372:20:0;;9387:4;9372:20;;9332:60;9328:115;;;-1:-1:-1;9426:1:0;9328:115;9508:4;9459:28;6759:18;;;:9;:18;;;;;;9534:6;;;;9533:7;:25;;;;-1:-1:-1;;;;;;9544:14:0;;;;;;:10;:14;;;;;;;;9533:25;:40;;;;-1:-1:-1;9562:11:0;;;;;;;9533:40;:82;;;;;9598:17;;9577:20;:38;9533:82;:114;;;;;9629:18;;9619:9;;:28;9533:114;9529:1086;;;9687:13;;9672:12;:28;9668:90;;;9737:1;9725:9;:13;9668:90;9796:13;;9784:9;;:25;9776:34;;;;;;9829:67;9846:49;9850:6;9857:37;9861:20;9882:11;;9857:3;:37::i;:::-;9846:3;:49::i;:::-;9829:16;:67::i;:::-;9944:21;9987:22;;9984:105;;10034:35;10047:21;10034:12;:35::i;:::-;10107:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;10153:12:0;10137:13;:28;-1:-1:-1;9529:1086:0;;;10206:6;;;;10205:7;:25;;;;-1:-1:-1;;;;;;10216:14:0;;;;;;:10;:14;;;;;;;;10205:25;:40;;;;-1:-1:-1;10234:11:0;;;;;;;10205:40;:82;;;;;10270:17;;10249:20;:38;10205:82;:114;;;;;10301:18;;10291:9;;:28;10205:114;10202:413;;;10340:67;10357:49;10361:6;10368:37;10372:20;10393:11;;10368:3;:37::i;10340:67::-;10455:21;10498:22;;10495:105;;10545:35;10558:21;10545:12;:35::i;:::-;10321:294;10202:413;8331:2295;8293:2333;10641:11;;10638:161;;10709:4;10691:24;;;;:9;:24;;;;;;:39;;10720:9;10691:28;:39::i;:::-;10684:4;10666:24;;;;:9;:24;;;;;;;:64;;;;10748:39;;-1:-1:-1;;;;;10748:39:0;;;;;;;10777:9;1283:25:1;;1271:2;1256:18;;1137:177;10748:39:0;;;;;;;;10638:161;-1:-1:-1;;;;;10825:15:0;;;;;;:9;:15;;;;;;:27;;10845:6;10825:19;:27::i;:::-;-1:-1:-1;;;;;10809:15:0;;;;;;:9;:15;;;;;:43;10877:40;10895:21;:6;10906:9;10895:10;:21::i;:::-;-1:-1:-1;;;;;10877:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;10863:13:0;;;;;;;:9;:13;;;;;:54;;;;10933:41;;;10952:21;:6;10963:9;10952:10;:21::i;:::-;10933:41;;1283:25:1;;;1271:2;1256:18;10933:41:0;;;;;;;8021:2961;7952:3030;;;:::o;1341:190::-;1427:7;1463:12;1455:6;;;;1447:29;;;;-1:-1:-1;;;1447:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1487:9:0;1499:5;1503:1;1499;:5;:::i;:::-;1487:17;1341:190;-1:-1:-1;;;;;1341:190:0:o;1539:246::-;1597:7;1621:1;1626;1621:6;1617:47;;-1:-1:-1;1651:1:0;1644:8;;1617:47;1674:9;1686:5;1690:1;1686;:5;:::i;:::-;1674:17;-1:-1:-1;1719:1:0;1710:5;1714:1;1674:17;1710:5;:::i;:::-;:10;1702:56;;;;-1:-1:-1;;;1702:56:0;;11573:2:1;1702:56:0;;;11555:21:1;11612:2;11592:18;;;11585:30;11651:34;11631:18;;;11624:62;-1:-1:-1;;;11702:18:1;;;11695:31;11743:19;;1702:56:0;11371:397:1;1702:56:0;1776:1;1539:246;-1:-1:-1;;;1539:246:0:o;1793:132::-;1851:7;1878:39;1882:1;1885;1878:39;;;;;;;;;;;;;;;;;:3;:39::i;10992:98::-;11049:7;11076:1;11074;:3;11073:9;;11081:1;11073:9;;;-1:-1:-1;11079:1:0;10992:98;-1:-1:-1;10992:98:0:o;11098:483::-;5492:6;:13;;-1:-1:-1;;5492:13:0;5501:4;5492:13;;;11200:16:::1;::::0;;11214:1:::1;11200:16:::0;;;;;::::1;::::0;;-1:-1:-1;;11200:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;11200:16:0::1;11176:40;;11245:4;11227;11232:1;11227:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11227:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;11271:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;11271:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;11227:7;;11271:22;;;;;:15;:22:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11261:4;11266:1;11261:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11261:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;11336:15:::1;::::0;11304:62:::1;::::0;11321:4:::1;::::0;11336:15:::1;11354:11:::0;11304:8:::1;:62::i;:::-;11377:15;::::0;:196:::1;::::0;-1:-1:-1;;;11377:196:0;;-1:-1:-1;;;;;11377:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;11458:11;;11377:15:::1;::::0;11500:4;;11527::::1;::::0;11547:15:::1;::::0;11377:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1::0;;5528:6:0;:14;;-1:-1:-1;;5528:14:0;;;-1:-1:-1;;;;11098:483:0:o;11589:92::-;11646:10;;:27;;-1:-1:-1;;;;;11646:10:0;;;;:27;;;;;11666:6;;11646:10;:27;:10;:27;11666:6;11646:10;:27;;;;;;;;;;;;;;;;;;;;;11589:92;:::o;1010:179::-;1068:7;;1100:5;1104:1;1100;:5;:::i;:::-;1088:17;;1129:1;1124;:6;;1116:46;;;;-1:-1:-1;;;1116:46:0;;13459:2:1;1116:46:0;;;13441:21:1;13498:2;13478:18;;;13471:30;13537:29;13517:18;;;13510:57;13584:18;;1116:46:0;13257:351:1;1197:136:0;1255:7;1282:43;1286:1;1289;1282:43;;;;;;;;;;;;;;;;;:3;:43::i;1933:189::-;2019:7;2054:12;2047:5;2039:28;;;;-1:-1:-1;;;2039:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2078:9:0;2090:5;2094:1;2090;:5;:::i;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:131::-;-1:-1:-1;;;;;512:31:1;;502:42;;492:70;;558:1;555;548:12;573:367;641:6;649;702:2;690:9;681:7;677:23;673:32;670:52;;;718:1;715;708:12;670:52;757:9;744:23;776:31;801:5;776:31;:::i;:::-;826:5;904:2;889:18;;;;876:32;;-1:-1:-1;;;573:367:1:o;1319:508::-;1396:6;1404;1412;1465:2;1453:9;1444:7;1440:23;1436:32;1433:52;;;1481:1;1478;1471:12;1433:52;1520:9;1507:23;1539:31;1564:5;1539:31;:::i;:::-;1589:5;-1:-1:-1;1646:2:1;1631:18;;1618:32;1659:33;1618:32;1659:33;:::i;:::-;1319:508;;1711:7;;-1:-1:-1;;;1791:2:1;1776:18;;;;1763:32;;1319:508::o;2229:247::-;2288:6;2341:2;2329:9;2320:7;2316:23;2312:32;2309:52;;;2357:1;2354;2347:12;2309:52;2396:9;2383:23;2415:31;2440:5;2415:31;:::i;2481:388::-;2549:6;2557;2610:2;2598:9;2589:7;2585:23;2581:32;2578:52;;;2626:1;2623;2616:12;2578:52;2665:9;2652:23;2684:31;2709:5;2684:31;:::i;:::-;2734:5;-1:-1:-1;2791:2:1;2776:18;;2763:32;2804:33;2763:32;2804:33;:::i;:::-;2856:7;2846:17;;;2481:388;;;;;:::o;2874:127::-;2935:10;2930:3;2926:20;2923:1;2916:31;2966:4;2963:1;2956:15;2990:4;2987:1;2980:15;3006:375;3094:1;3112:5;3126:249;3147:1;3137:8;3134:15;3126:249;;;3197:4;3192:3;3188:14;3182:4;3179:24;3176:50;;;3206:18;;:::i;:::-;3256:1;3246:8;3242:16;3239:49;;;3270:16;;;;3239:49;3353:1;3349:16;;;;;3309:15;;3126:249;;;3006:375;;;;;;:::o;3386:902::-;3435:5;3465:8;3455:80;;-1:-1:-1;3506:1:1;3520:5;;3455:80;3554:4;3544:76;;-1:-1:-1;3591:1:1;3605:5;;3544:76;3636:4;3654:1;3649:59;;;;3722:1;3717:174;;;;3629:262;;3649:59;3679:1;3670:10;;3693:5;;;3717:174;3754:3;3744:8;3741:17;3738:43;;;3761:18;;:::i;:::-;-1:-1:-1;;3817:1:1;3803:16;;3876:5;;3629:262;;3975:2;3965:8;3962:16;3956:3;3950:4;3947:13;3943:36;3937:2;3927:8;3924:16;3919:2;3913:4;3910:12;3906:35;3903:77;3900:203;;;-1:-1:-1;4012:19:1;;;4088:5;;3900:203;4135:42;-1:-1:-1;;4160:8:1;4154:4;4135:42;:::i;:::-;4213:6;4209:1;4205:6;4201:19;4192:7;4189:32;4186:58;;;4224:18;;:::i;:::-;4262:20;;3386:902;-1:-1:-1;;;3386:902:1:o;4293:140::-;4351:5;4380:47;4421:4;4411:8;4407:19;4401:4;4380:47;:::i;4438:168::-;4511:9;;;4542;;4559:15;;;4553:22;;4539:37;4529:71;;4580:18;;:::i;4611:356::-;4813:2;4795:21;;;4832:18;;;4825:30;4891:34;4886:2;4871:18;;4864:62;4958:2;4943:18;;4611:356::o;5259:277::-;5326:6;5379:2;5367:9;5358:7;5354:23;5350:32;5347:52;;;5395:1;5392;5385:12;5347:52;5427:9;5421:16;5480:5;5473:13;5466:21;5459:5;5456:32;5446:60;;5502:1;5499;5492:12;6501:456;6589:6;6597;6605;6658:2;6646:9;6637:7;6633:23;6629:32;6626:52;;;6674:1;6671;6664:12;6626:52;-1:-1:-1;;6719:16:1;;6825:2;6810:18;;6804:25;6921:2;6906:18;;;6900:25;6719:16;;6804:25;;-1:-1:-1;6900:25:1;6501:456;-1:-1:-1;6501:456:1:o;10037:135::-;10076:3;10097:17;;;10094:43;;10117:18;;:::i;:::-;-1:-1:-1;10164:1:1;10153:13;;10037:135::o;10531:125::-;10596:9;;;10617:10;;;10614:36;;;10630:18;;:::i;11016:128::-;11083:9;;;11104:11;;;11101:37;;;11118:18;;:::i;11149:217::-;11189:1;11215;11205:132;;11259:10;11254:3;11250:20;11247:1;11240:31;11294:4;11291:1;11284:15;11322:4;11319:1;11312:15;11205:132;-1:-1:-1;11351:9:1;;11149:217::o;11905:127::-;11966:10;11961:3;11957:20;11954:1;11947:31;11997:4;11994:1;11987:15;12021:4;12018:1;12011:15;12037:251;12107:6;12160:2;12148:9;12139:7;12135:23;12131:32;12128:52;;;12176:1;12173;12166:12;12128:52;12208:9;12202:16;12227:31;12252:5;12227:31;:::i;12293:959::-;12555:4;12603:3;12592:9;12588:19;12634:6;12623:9;12616:25;12677:6;12672:2;12661:9;12657:18;12650:34;12720:3;12715:2;12704:9;12700:18;12693:31;12744:6;12779;12773:13;12810:6;12802;12795:22;12848:3;12837:9;12833:19;12826:26;;12887:2;12879:6;12875:15;12861:29;;12908:1;12918:195;12932:6;12929:1;12926:13;12918:195;;;12997:13;;-1:-1:-1;;;;;12993:39:1;12981:52;;13062:2;13088:15;;;;13053:12;;;;13029:1;12947:9;12918:195;;;-1:-1:-1;;;;;;;13169:32:1;;;;13164:2;13149:18;;13142:60;-1:-1:-1;;13233:3:1;13218:19;13211:35;13130:3;12293:959;-1:-1:-1;;;12293:959:1:o

ipfs://885060d5adbb9178f5f351b021b67860d55638e0677188c9b1d53a3486294054