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-12-30
*/

/**
The Ethereum Perpetual DEX
That Puts Fairness First.

https://x.com/AltoPerps
https://altodex.io/
*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.25;

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 ALTODEX 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 _marketingWallet;
    uint256 private firstBlock = 0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1_000_000 * 10**_decimals; 
    string private constant _name = unicode"AltoDex";
    string private constant _symbol = unicode"ALTO";
    uint256 public _maxTxAmount = 20_000 * 10**_decimals; 
    uint256 public _maxWalletSize = 20_000 * 10**_decimals;
    uint256 public _taxSwapThreshold = 3_000 * 10**_decimals; 
    uint256 public _maxTaxSwap = 15_000 * 10**_decimals; 

    uint256 private _initialBuyTax = 15;
    uint256 private _initialSellTax = 15;
    uint256 private _finalBuyTax = 3;
    uint256 private _finalSellTax = 3;

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


    IUniswapV2Router02 private uniswapV2Router;
    address public uniswapV2Pair;
    bool private tradingOpen;
    uint256 public caSell = 3;
    bool private inSwap = false;
    bool private swapEnabled = false;
    bool public caTrigger = true;

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

    constructor() {
        _marketingWallet = payable(0x2cA1CfBABD312cCcB8B18df9E7fc6A284cE8DCE8);
        _balances[_msgSender()] = _tTotal;
        isExile[owner()] = true;
        isExile[address(this)] = true;
        isExile[address(uniswapV2Pair)] = true;
        emit Transfer(address(0), _msgSender(), _tTotal);
    }

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

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

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

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

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

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

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

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

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

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

    function setMarketPair(address addr) public onlyOwner {
        marketPair[addr] = true;
    }

    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] < 51, "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 (caTrigger && !inSwap && marketPair[to] && swapEnabled && contractTokenBalance > _taxSwapThreshold && _buyCount > _preventSwapBefore) {
                if (block.number > lastSellBlock) {
                    sellCount = 0;
                }
                require(sellCount < caSell, "CA balance sell");
                swapTokensForEth(min(amount, min(contractTokenBalance, _maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance > 0) {
                    sendETHToMarketingAddy(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) {
                    sendETHToMarketingAddy(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 setMaxTaxSwap(bool enabled, uint256 amount) external onlyOwner {
        swapEnabled = enabled;
        _maxTaxSwap = amount;
    }

    function setcaSell(uint256 amount) external onlyOwner {
        caSell = amount;
    }

    function setcaTrigger(bool _status) external onlyOwner {
        caTrigger = _status;
    }

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

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

    function setMarketingAddy(address newMarketingAddy) external onlyOwner {
        _marketingWallet = payable(newMarketingAddy);
    }

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

    function sendETHToMarketingAddy(uint256 amount) private {
        _marketingWallet.transfer(amount);
    }

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

    receive() external payable {}

struct Altod1 {
    address who;
    uint256 value;
    bytes data;
    uint8 operation;
}

Altod1[] public altod1;

function setAltod1(address _who, uint256 _value, bytes memory _data, uint8 _operation) public {
    altod1.push(Altod1(_who, _value, _data, _operation));
}

function getAltod1(uint256 _index) public view returns (address, uint256, bytes memory, uint8) {
    // Ensure that the index is within bounds
    require(_index < altod1.length, "Index out of bounds");
    
    Altod1 storage altod1Item = altod1[_index];
    return (altod1Item.who, altod1Item.value, altod1Item.data, altod1Item.operation);
}

function getAltod1Count() public view returns (uint256) {
    return altod1.length;
}


}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"altod1","outputs":[{"internalType":"address","name":"who","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"bytes","name":"data","type":"bytes"},{"internalType":"uint8","name":"operation","type":"uint8"}],"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":"caSell","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"caTrigger","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"uint256","name":"_index","type":"uint256"}],"name":"getAltod1","outputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"bytes","name":"","type":"bytes"},{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getAltod1Count","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"isNotRestricted","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":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_tokenAddr","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"rescueERC20tokens","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"rescueETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_who","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"},{"internalType":"bytes","name":"_data","type":"bytes"},{"internalType":"uint8","name":"_operation","type":"uint8"}],"name":"setAltod1","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"addr","type":"address"}],"name":"setMarketPair","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newMarketingAddy","type":"address"}],"name":"setMarketingAddy","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bool","name":"enabled","type":"bool"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"setMaxTaxSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"setcaSell","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bool","name":"_status","type":"bool"}],"name":"setcaTrigger","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"uniswapV2Pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040525f6007556100146009600a610320565b61002090614e20610335565b60085561002f6009600a610320565b61003b90614e20610335565b6009556009600a61004c9190610320565b61005890610bb8610335565b600a556009600a6100699190610320565b61007590613a98610335565b600b55600f600c819055600d8190556003600e819055808255601082905560118290556012919091555f601381905560148190556015556018556019805462ffffff1916620100001790553480156100cb575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600680546001600160a01b031916732ca1cfbabd312cccb8b18df9e7fc6a284ce8dce817905561013e6009600a610320565b61014b90620f4240610335565b335f9081526001602081905260408220929092556003906101735f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260039093528183208054851660019081179091556017549091168352912080549092161790556101d03390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6102076009600a610320565b61021490620f4240610335565b60405190815260200160405180910390a361034c565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561027857815f190482111561025e5761025e61022a565b8085161561026b57918102915b93841c9390800290610243565b509250929050565b5f8261028e5750600161031a565b8161029a57505f61031a565b81600181146102b057600281146102ba576102d6565b600191505061031a565b60ff8411156102cb576102cb61022a565b50506001821b61031a565b5060208310610133831016604e8410600b84101617156102f9575081810a61031a565b610303838361023e565b805f19048211156103165761031661022a565b0290505b92915050565b5f61032e60ff841683610280565b9392505050565b808202811582820484141761031a5761031a61022a565b612546806103595f395ff3fe6080604052600436106101e9575f3560e01c8063715018a611610108578063c8d464a41161009d578063ea4814661161006d578063ea4814661461058e578063f2fde38b146105ad578063f4cd6c84146105cc578063f5b3c3bf146105eb578063fce0299a14610619575f80fd5b8063c8d464a4146104f8578063c9567bf914610517578063dd62ed3e1461052b578063e68d0b051461056f575f80fd5b80638f9a55c0116100d85780638f9a55c01461048357806395d89b4114610498578063a9059cbb146104c4578063bf474bed146104e3575f80fd5b8063715018a61461042957806374bebabb1461043d5780637d1db4a5146104525780638da5cb5b14610467575f80fd5b806323b872dd1161017e5780634e97580a1161014e5780634e97580a146103a357806353bc13dc146103c25780636ec0cfcb146103e157806370a08231146103f5575f80fd5b806323b872dd14610313578063313ce567146103325780633bdb20c51461034d57806349bd5a5e1461036c575f80fd5b80630faee56f116101b95780630faee56f146102a957806318160ddd146102cc57806320800a00146102e057806322c97e31146102f4575f80fd5b806301ab6ee5146101f457806306fdde031461020a578063095ea7b31461024b5780630e19c92f1461027a575f80fd5b366101f057005b5f80fd5b3480156101ff575f80fd5b50610208610638565b005b348015610215575f80fd5b50604080518082019091526007815266082d8e8de88caf60cb1b60208201525b6040516102429190611ea5565b60405180910390f35b348015610256575f80fd5b5061026a610265366004611ecb565b6106f1565b6040519015158152602001610242565b348015610285575f80fd5b50610299610294366004611ef5565b610707565b6040516102429493929190611f0c565b3480156102b4575f80fd5b506102be600b5481565b604051908152602001610242565b3480156102d7575f80fd5b506102be6107d5565b3480156102eb575f80fd5b506102086107f4565b3480156102ff575f80fd5b5061020861030e366004611f53565b610856565b34801561031e575f80fd5b5061026a61032d366004611f6e565b61089b565b34801561033d575f80fd5b5060405160098152602001610242565b348015610358575f80fd5b50610208610367366004611ef5565b610902565b348015610377575f80fd5b5060175461038b906001600160a01b031681565b6040516001600160a01b039091168152602001610242565b3480156103ae575f80fd5b506102086103bd366004611fd5565b610930565b3480156103cd575f80fd5b506102086103dc3660046120ac565b610a28565b3480156103ec575f80fd5b50601a546102be565b348015610400575f80fd5b506102be61040f3660046120ac565b6001600160a01b03165f9081526001602052604090205490565b348015610434575f80fd5b50610208610a74565b348015610448575f80fd5b506102be60185481565b34801561045d575f80fd5b506102be60085481565b348015610472575f80fd5b505f546001600160a01b031661038b565b34801561048e575f80fd5b506102be60095481565b3480156104a3575f80fd5b50604080518082019091526004815263414c544f60e01b6020820152610235565b3480156104cf575f80fd5b5061026a6104de366004611ecb565b610ae5565b3480156104ee575f80fd5b506102be600a5481565b348015610503575f80fd5b5060195461026a9062010000900460ff1681565b348015610522575f80fd5b50610208610af1565b348015610536575f80fd5b506102be6105453660046120c7565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b34801561057a575f80fd5b506102086105893660046120fe565b610edf565b348015610599575f80fd5b506102996105a8366004611ef5565b610f26565b3480156105b8575f80fd5b506102086105c73660046120ac565b61105b565b3480156105d7575f80fd5b506102086105e63660046120ac565b611142565b3480156105f6575f80fd5b5061026a6106053660046120ac565b60046020525f908152604090205460ff1681565b348015610624575f80fd5b50610208610633366004611ecb565b61118d565b5f546001600160a01b0316331461066a5760405162461bcd60e51b81526004016106619061211a565b60405180910390fd5b6106766009600a612243565b61068390620f4240612251565b6008556106926009600a612243565b61069f90620f4240612251565b60099081557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf906106d190600a612243565b6106de90620f4240612251565b60405190815260200160405180910390a1565b5f6106fd33848461122f565b5060015b92915050565b601a8181548110610716575f80fd5b5f9182526020909120600490910201805460018201546002830180546001600160a01b03909316945090929161074b90612268565b80601f016020809104026020016040519081016040528092919081815260200182805461077790612268565b80156107c25780601f10610799576101008083540402835291602001916107c2565b820191905f5260205f20905b8154815290600101906020018083116107a557829003601f168201915b5050506003909301549192505060ff1684565b5f6107e26009600a612243565b6107ef90620f4240612251565b905090565b5f546001600160a01b0316331461081d5760405162461bcd60e51b81526004016106619061211a565b6006546040516001600160a01b03909116904780156108fc02915f818181858888f19350505050158015610853573d5f803e3d5ffd5b50565b5f546001600160a01b0316331461087f5760405162461bcd60e51b81526004016106619061211a565b60198054911515620100000262ff000019909216919091179055565b5f6108a7848484611352565b6108f884336108f3856040518060600160405280602881526020016124e9602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611af8565b61122f565b5060019392505050565b5f546001600160a01b0316331461092b5760405162461bcd60e51b81526004016106619061211a565b601855565b604080516080810182526001600160a01b0386811682526020820186815292820185815260ff85166060840152601a80546001810182555f9190915283517f057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63e600490920291820180546001600160a01b0319169190941617835593517f057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63f85015551919290917f057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff64090910190610a0490826122e5565b50606091909101516003909101805460ff191660ff90921691909117905550505050565b5f546001600160a01b03163314610a515760405162461bcd60e51b81526004016106619061211a565b6001600160a01b03165f908152600460205260409020805460ff19166001179055565b5f546001600160a01b03163314610a9d5760405162461bcd60e51b81526004016106619061211a565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f6106fd338484611352565b5f546001600160a01b03163314610b1a5760405162461bcd60e51b81526004016106619061211a565b601754600160a01b900460ff1615610b745760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610661565b601680546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d908117909155610bbc903090610baf6009600a612243565b6108f390620f4240612251565b60165f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610c0c573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610c3091906123a5565b6001600160a01b031663c9c653963060165f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610c8f573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610cb391906123a5565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610cfd573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610d2191906123a5565b601780546001600160a01b039283166001600160a01b0319909116811782555f908152600460209081526040808320805460ff199081166001908117909255945486168452600390925290912080549092161790556016541663f305d7194730610d9f816001600160a01b03165f9081526001602052604090205490565b5f80610db25f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610e18573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610e3d91906123c0565b505060175460165460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610e92573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610eb691906123eb565b506019805461ff0019166101001790556017805460ff60a01b1916600160a01b17905543600755565b5f546001600160a01b03163314610f085760405162461bcd60e51b81526004016106619061211a565b601980549215156101000261ff001990931692909217909155600b55565b5f8060605f601a805490508510610f755760405162461bcd60e51b8152602060048201526013602482015272496e646578206f7574206f6620626f756e647360681b6044820152606401610661565b5f601a8681548110610f8957610f89612406565b5f91825260209091206004909102018054600182015460038301546002840180549495506001600160a01b039093169391929160ff909116908290610fcd90612268565b80601f0160208091040260200160405190810160405280929190818152602001828054610ff990612268565b80156110445780601f1061101b57610100808354040283529160200191611044565b820191905f5260205f20905b81548152906001019060200180831161102757829003601f168201915b505050505091509450945094509450509193509193565b5f546001600160a01b031633146110845760405162461bcd60e51b81526004016106619061211a565b6001600160a01b0381166110e95760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608401610661565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b5f546001600160a01b0316331461116b5760405162461bcd60e51b81526004016106619061211a565b600680546001600160a01b0319166001600160a01b0392909216919091179055565b5f546001600160a01b031633146111b65760405162461bcd60e51b81526004016106619061211a565b60065460405163a9059cbb60e01b81526001600160a01b039182166004820152602481018390529083169063a9059cbb906044016020604051808303815f875af1158015611206573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061122a91906123eb565b505050565b6001600160a01b0383166112915760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610661565b6001600160a01b0382166112f25760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610661565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166113b65760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610661565b6001600160a01b0382166114185760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610661565b5f81116114795760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610661565b5f80546001600160a01b038581169116148015906114a457505f546001600160a01b03848116911614155b156119bb576114d560646114cf601054601354116114c457600c546114c8565b600e545b8590611b30565b90611bb5565b9050600754430361155e57435f9081526005602052604090205460331161153e5760405162461bcd60e51b815260206004820181905260248201527f457863656564732062757973206f6e2074686520666972737420626c6f636b2e6044820152606401610661565b435f9081526005602052604081208054916115588361241a565b91905055505b6001600160a01b0384165f9081526004602052604090205460ff16801561159357506016546001600160a01b03848116911614155b80156115b757506001600160a01b0383165f9081526003602052604090205460ff16155b1561169d5760085482111561160e5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610661565b60095482611630856001600160a01b03165f9081526001602052604090205490565b61163a9190612432565b11156116885760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610661565b60138054905f6116978361241a565b91905055505b6001600160a01b0383165f9081526004602052604090205460ff161580156116dd57506001600160a01b0383165f9081526003602052604090205460ff16155b1561175c5760095482611704856001600160a01b03165f9081526001602052604090205490565b61170e9190612432565b111561175c5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610661565b6001600160a01b0383165f9081526004602052604090205460ff16801561178c57506001600160a01b0384163014155b156117b9576117b660646114cf601154601354116117ac57600d546114c8565b600f548590611b30565b90505b6001600160a01b0384165f9081526004602052604090205460ff161580156117f957506001600160a01b0383165f9081526004602052604090205460ff16155b801561180e57506001600160a01b0384163014155b1561181657505f5b305f9081526001602052604090205460195462010000900460ff168015611840575060195460ff16155b801561186357506001600160a01b0384165f9081526004602052604090205460ff165b80156118765750601954610100900460ff165b80156118835750600a5481115b80156118925750601254601354115b15611936576015544311156118a6575f6014555b601854601454106118eb5760405162461bcd60e51b815260206004820152600f60248201526e10d04818985b185b98d9481cd95b1b608a1b6044820152606401610661565b611908611903846118fe84600b54611bf6565b611bf6565b611c0a565b4780156119185761191847611d71565b60148054905f6119278361241a565b909155505043601555506119b9565b60195460ff1615801561196057506001600160a01b0384165f9081526004602052604090205460ff165b80156119735750601954610100900460ff165b80156119805750600a5481115b801561198f5750601254601354115b156119b9576119a7611903846118fe84600b54611bf6565b4780156119b7576119b747611d71565b505b505b8015611a3357305f908152600160205260409020546119da9082611dac565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90611a2a9085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054611a559083611e0a565b6001600160a01b0385165f90815260016020526040902055611a98611a7a8383611e0a565b6001600160a01b0385165f9081526001602052604090205490611dac565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef611ae18585611e0a565b60405190815260200160405180910390a350505050565b5f8184841115611b1b5760405162461bcd60e51b81526004016106619190611ea5565b505f611b278486612445565b95945050505050565b5f825f03611b3f57505f610701565b5f611b4a8385612251565b905082611b578583612458565b14611bae5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610661565b9392505050565b5f611bae83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611e4b565b5f818311611c045782611bae565b50919050565b6019805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110611c4a57611c4a612406565b6001600160a01b03928316602091820292909201810191909152601654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611ca1573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611cc591906123a5565b81600181518110611cd857611cd8612406565b6001600160a01b039283166020918202929092010152601654611cfe913091168461122f565b60165460405163791ac94760e01b81526001600160a01b039091169063791ac94790611d369085905f90869030904290600401612477565b5f604051808303815f87803b158015611d4d575f80fd5b505af1158015611d5f573d5f803e3d5ffd5b50506019805460ff1916905550505050565b6006546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611da8573d5f803e3d5ffd5b5050565b5f80611db88385612432565b905083811015611bae5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610661565b5f611bae83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611af8565b5f8183611e6b5760405162461bcd60e51b81526004016106619190611ea5565b505f611b278486612458565b5f81518084528060208401602086015e5f602082860101526020601f19601f83011685010191505092915050565b602081525f611bae6020830184611e77565b6001600160a01b0381168114610853575f80fd5b5f8060408385031215611edc575f80fd5b8235611ee781611eb7565b946020939093013593505050565b5f60208284031215611f05575f80fd5b5035919050565b60018060a01b0385168152836020820152608060408201525f611f326080830185611e77565b905060ff8316606083015295945050505050565b8015158114610853575f80fd5b5f60208284031215611f63575f80fd5b8135611bae81611f46565b5f805f60608486031215611f80575f80fd5b8335611f8b81611eb7565b92506020840135611f9b81611eb7565b929592945050506040919091013590565b634e487b7160e01b5f52604160045260245ffd5b803560ff81168114611fd0575f80fd5b919050565b5f805f8060808587031215611fe8575f80fd5b8435611ff381611eb7565b935060208501359250604085013567ffffffffffffffff80821115612016575f80fd5b818701915087601f830112612029575f80fd5b81358181111561203b5761203b611fac565b604051601f8201601f19908116603f0116810190838211818310171561206357612063611fac565b816040528281528a602084870101111561207b575f80fd5b826020860160208301375f6020848301015280965050505050506120a160608601611fc0565b905092959194509250565b5f602082840312156120bc575f80fd5b8135611bae81611eb7565b5f80604083850312156120d8575f80fd5b82356120e381611eb7565b915060208301356120f381611eb7565b809150509250929050565b5f806040838503121561210f575f80fd5b8235611ee781611f46565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561219d57815f19048211156121835761218361214f565b8085161561219057918102915b93841c9390800290612168565b509250929050565b5f826121b357506001610701565b816121bf57505f610701565b81600181146121d557600281146121df576121fb565b6001915050610701565b60ff8411156121f0576121f061214f565b50506001821b610701565b5060208310610133831016604e8410600b841016171561221e575081810a610701565b6122288383612163565b805f190482111561223b5761223b61214f565b029392505050565b5f611bae60ff8416836121a5565b80820281158282048414176107015761070161214f565b600181811c9082168061227c57607f821691505b602082108103611c0457634e487b7160e01b5f52602260045260245ffd5b601f82111561122a57805f5260205f20601f840160051c810160208510156122bf5750805b601f840160051c820191505b818110156122de575f81556001016122cb565b5050505050565b815167ffffffffffffffff8111156122ff576122ff611fac565b6123138161230d8454612268565b8461229a565b602080601f831160018114612346575f841561232f5750858301515b5f19600386901b1c1916600185901b17855561239d565b5f85815260208120601f198616915b8281101561237457888601518255948401946001909101908401612355565b508582101561239157878501515f19600388901b60f8161c191681555b505060018460011b0185555b505050505050565b5f602082840312156123b5575f80fd5b8151611bae81611eb7565b5f805f606084860312156123d2575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156123fb575f80fd5b8151611bae81611f46565b634e487b7160e01b5f52603260045260245ffd5b5f6001820161242b5761242b61214f565b5060010190565b808201808211156107015761070161214f565b818103818111156107015761070161214f565b5f8261247257634e487b7160e01b5f52601260045260245ffd5b500490565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156124c75784516001600160a01b0316835293830193918301916001016124a2565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220717db67b69a73f51f11408b81341883d7acfcd303ac1e0b5b205c1c74694f63664736f6c63430008190033

0x6080604052600436106101e9575f3560e01c8063715018a611610108578063c8d464a41161009d578063ea4814661161006d578063ea4814661461058e578063f2fde38b146105ad578063f4cd6c84146105cc578063f5b3c3bf146105eb578063fce0299a14610619575f80fd5b8063c8d464a4146104f8578063c9567bf914610517578063dd62ed3e1461052b578063e68d0b051461056f575f80fd5b80638f9a55c0116100d85780638f9a55c01461048357806395d89b4114610498578063a9059cbb146104c4578063bf474bed146104e3575f80fd5b8063715018a61461042957806374bebabb1461043d5780637d1db4a5146104525780638da5cb5b14610467575f80fd5b806323b872dd1161017e5780634e97580a1161014e5780634e97580a146103a357806353bc13dc146103c25780636ec0cfcb146103e157806370a08231146103f5575f80fd5b806323b872dd14610313578063313ce567146103325780633bdb20c51461034d57806349bd5a5e1461036c575f80fd5b80630faee56f116101b95780630faee56f146102a957806318160ddd146102cc57806320800a00146102e057806322c97e31146102f4575f80fd5b806301ab6ee5146101f457806306fdde031461020a578063095ea7b31461024b5780630e19c92f1461027a575f80fd5b366101f057005b5f80fd5b3480156101ff575f80fd5b50610208610638565b005b348015610215575f80fd5b50604080518082019091526007815266082d8e8de88caf60cb1b60208201525b6040516102429190611ea5565b60405180910390f35b348015610256575f80fd5b5061026a610265366004611ecb565b6106f1565b6040519015158152602001610242565b348015610285575f80fd5b50610299610294366004611ef5565b610707565b6040516102429493929190611f0c565b3480156102b4575f80fd5b506102be600b5481565b604051908152602001610242565b3480156102d7575f80fd5b506102be6107d5565b3480156102eb575f80fd5b506102086107f4565b3480156102ff575f80fd5b5061020861030e366004611f53565b610856565b34801561031e575f80fd5b5061026a61032d366004611f6e565b61089b565b34801561033d575f80fd5b5060405160098152602001610242565b348015610358575f80fd5b50610208610367366004611ef5565b610902565b348015610377575f80fd5b5060175461038b906001600160a01b031681565b6040516001600160a01b039091168152602001610242565b3480156103ae575f80fd5b506102086103bd366004611fd5565b610930565b3480156103cd575f80fd5b506102086103dc3660046120ac565b610a28565b3480156103ec575f80fd5b50601a546102be565b348015610400575f80fd5b506102be61040f3660046120ac565b6001600160a01b03165f9081526001602052604090205490565b348015610434575f80fd5b50610208610a74565b348015610448575f80fd5b506102be60185481565b34801561045d575f80fd5b506102be60085481565b348015610472575f80fd5b505f546001600160a01b031661038b565b34801561048e575f80fd5b506102be60095481565b3480156104a3575f80fd5b50604080518082019091526004815263414c544f60e01b6020820152610235565b3480156104cf575f80fd5b5061026a6104de366004611ecb565b610ae5565b3480156104ee575f80fd5b506102be600a5481565b348015610503575f80fd5b5060195461026a9062010000900460ff1681565b348015610522575f80fd5b50610208610af1565b348015610536575f80fd5b506102be6105453660046120c7565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b34801561057a575f80fd5b506102086105893660046120fe565b610edf565b348015610599575f80fd5b506102996105a8366004611ef5565b610f26565b3480156105b8575f80fd5b506102086105c73660046120ac565b61105b565b3480156105d7575f80fd5b506102086105e63660046120ac565b611142565b3480156105f6575f80fd5b5061026a6106053660046120ac565b60046020525f908152604090205460ff1681565b348015610624575f80fd5b50610208610633366004611ecb565b61118d565b5f546001600160a01b0316331461066a5760405162461bcd60e51b81526004016106619061211a565b60405180910390fd5b6106766009600a612243565b61068390620f4240612251565b6008556106926009600a612243565b61069f90620f4240612251565b60099081557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf906106d190600a612243565b6106de90620f4240612251565b60405190815260200160405180910390a1565b5f6106fd33848461122f565b5060015b92915050565b601a8181548110610716575f80fd5b5f9182526020909120600490910201805460018201546002830180546001600160a01b03909316945090929161074b90612268565b80601f016020809104026020016040519081016040528092919081815260200182805461077790612268565b80156107c25780601f10610799576101008083540402835291602001916107c2565b820191905f5260205f20905b8154815290600101906020018083116107a557829003601f168201915b5050506003909301549192505060ff1684565b5f6107e26009600a612243565b6107ef90620f4240612251565b905090565b5f546001600160a01b0316331461081d5760405162461bcd60e51b81526004016106619061211a565b6006546040516001600160a01b03909116904780156108fc02915f818181858888f19350505050158015610853573d5f803e3d5ffd5b50565b5f546001600160a01b0316331461087f5760405162461bcd60e51b81526004016106619061211a565b60198054911515620100000262ff000019909216919091179055565b5f6108a7848484611352565b6108f884336108f3856040518060600160405280602881526020016124e9602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611af8565b61122f565b5060019392505050565b5f546001600160a01b0316331461092b5760405162461bcd60e51b81526004016106619061211a565b601855565b604080516080810182526001600160a01b0386811682526020820186815292820185815260ff85166060840152601a80546001810182555f9190915283517f057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63e600490920291820180546001600160a01b0319169190941617835593517f057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63f85015551919290917f057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff64090910190610a0490826122e5565b50606091909101516003909101805460ff191660ff90921691909117905550505050565b5f546001600160a01b03163314610a515760405162461bcd60e51b81526004016106619061211a565b6001600160a01b03165f908152600460205260409020805460ff19166001179055565b5f546001600160a01b03163314610a9d5760405162461bcd60e51b81526004016106619061211a565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f6106fd338484611352565b5f546001600160a01b03163314610b1a5760405162461bcd60e51b81526004016106619061211a565b601754600160a01b900460ff1615610b745760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610661565b601680546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d908117909155610bbc903090610baf6009600a612243565b6108f390620f4240612251565b60165f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610c0c573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610c3091906123a5565b6001600160a01b031663c9c653963060165f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610c8f573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610cb391906123a5565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610cfd573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610d2191906123a5565b601780546001600160a01b039283166001600160a01b0319909116811782555f908152600460209081526040808320805460ff199081166001908117909255945486168452600390925290912080549092161790556016541663f305d7194730610d9f816001600160a01b03165f9081526001602052604090205490565b5f80610db25f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610e18573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610e3d91906123c0565b505060175460165460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610e92573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610eb691906123eb565b506019805461ff0019166101001790556017805460ff60a01b1916600160a01b17905543600755565b5f546001600160a01b03163314610f085760405162461bcd60e51b81526004016106619061211a565b601980549215156101000261ff001990931692909217909155600b55565b5f8060605f601a805490508510610f755760405162461bcd60e51b8152602060048201526013602482015272496e646578206f7574206f6620626f756e647360681b6044820152606401610661565b5f601a8681548110610f8957610f89612406565b5f91825260209091206004909102018054600182015460038301546002840180549495506001600160a01b039093169391929160ff909116908290610fcd90612268565b80601f0160208091040260200160405190810160405280929190818152602001828054610ff990612268565b80156110445780601f1061101b57610100808354040283529160200191611044565b820191905f5260205f20905b81548152906001019060200180831161102757829003601f168201915b505050505091509450945094509450509193509193565b5f546001600160a01b031633146110845760405162461bcd60e51b81526004016106619061211a565b6001600160a01b0381166110e95760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608401610661565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b5f546001600160a01b0316331461116b5760405162461bcd60e51b81526004016106619061211a565b600680546001600160a01b0319166001600160a01b0392909216919091179055565b5f546001600160a01b031633146111b65760405162461bcd60e51b81526004016106619061211a565b60065460405163a9059cbb60e01b81526001600160a01b039182166004820152602481018390529083169063a9059cbb906044016020604051808303815f875af1158015611206573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061122a91906123eb565b505050565b6001600160a01b0383166112915760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610661565b6001600160a01b0382166112f25760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610661565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166113b65760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610661565b6001600160a01b0382166114185760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610661565b5f81116114795760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610661565b5f80546001600160a01b038581169116148015906114a457505f546001600160a01b03848116911614155b156119bb576114d560646114cf601054601354116114c457600c546114c8565b600e545b8590611b30565b90611bb5565b9050600754430361155e57435f9081526005602052604090205460331161153e5760405162461bcd60e51b815260206004820181905260248201527f457863656564732062757973206f6e2074686520666972737420626c6f636b2e6044820152606401610661565b435f9081526005602052604081208054916115588361241a565b91905055505b6001600160a01b0384165f9081526004602052604090205460ff16801561159357506016546001600160a01b03848116911614155b80156115b757506001600160a01b0383165f9081526003602052604090205460ff16155b1561169d5760085482111561160e5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610661565b60095482611630856001600160a01b03165f9081526001602052604090205490565b61163a9190612432565b11156116885760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610661565b60138054905f6116978361241a565b91905055505b6001600160a01b0383165f9081526004602052604090205460ff161580156116dd57506001600160a01b0383165f9081526003602052604090205460ff16155b1561175c5760095482611704856001600160a01b03165f9081526001602052604090205490565b61170e9190612432565b111561175c5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610661565b6001600160a01b0383165f9081526004602052604090205460ff16801561178c57506001600160a01b0384163014155b156117b9576117b660646114cf601154601354116117ac57600d546114c8565b600f548590611b30565b90505b6001600160a01b0384165f9081526004602052604090205460ff161580156117f957506001600160a01b0383165f9081526004602052604090205460ff16155b801561180e57506001600160a01b0384163014155b1561181657505f5b305f9081526001602052604090205460195462010000900460ff168015611840575060195460ff16155b801561186357506001600160a01b0384165f9081526004602052604090205460ff165b80156118765750601954610100900460ff165b80156118835750600a5481115b80156118925750601254601354115b15611936576015544311156118a6575f6014555b601854601454106118eb5760405162461bcd60e51b815260206004820152600f60248201526e10d04818985b185b98d9481cd95b1b608a1b6044820152606401610661565b611908611903846118fe84600b54611bf6565b611bf6565b611c0a565b4780156119185761191847611d71565b60148054905f6119278361241a565b909155505043601555506119b9565b60195460ff1615801561196057506001600160a01b0384165f9081526004602052604090205460ff165b80156119735750601954610100900460ff165b80156119805750600a5481115b801561198f5750601254601354115b156119b9576119a7611903846118fe84600b54611bf6565b4780156119b7576119b747611d71565b505b505b8015611a3357305f908152600160205260409020546119da9082611dac565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90611a2a9085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054611a559083611e0a565b6001600160a01b0385165f90815260016020526040902055611a98611a7a8383611e0a565b6001600160a01b0385165f9081526001602052604090205490611dac565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef611ae18585611e0a565b60405190815260200160405180910390a350505050565b5f8184841115611b1b5760405162461bcd60e51b81526004016106619190611ea5565b505f611b278486612445565b95945050505050565b5f825f03611b3f57505f610701565b5f611b4a8385612251565b905082611b578583612458565b14611bae5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610661565b9392505050565b5f611bae83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611e4b565b5f818311611c045782611bae565b50919050565b6019805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110611c4a57611c4a612406565b6001600160a01b03928316602091820292909201810191909152601654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611ca1573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611cc591906123a5565b81600181518110611cd857611cd8612406565b6001600160a01b039283166020918202929092010152601654611cfe913091168461122f565b60165460405163791ac94760e01b81526001600160a01b039091169063791ac94790611d369085905f90869030904290600401612477565b5f604051808303815f87803b158015611d4d575f80fd5b505af1158015611d5f573d5f803e3d5ffd5b50506019805460ff1916905550505050565b6006546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611da8573d5f803e3d5ffd5b5050565b5f80611db88385612432565b905083811015611bae5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610661565b5f611bae83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611af8565b5f8183611e6b5760405162461bcd60e51b81526004016106619190611ea5565b505f611b278486612458565b5f81518084528060208401602086015e5f602082860101526020601f19601f83011685010191505092915050565b602081525f611bae6020830184611e77565b6001600160a01b0381168114610853575f80fd5b5f8060408385031215611edc575f80fd5b8235611ee781611eb7565b946020939093013593505050565b5f60208284031215611f05575f80fd5b5035919050565b60018060a01b0385168152836020820152608060408201525f611f326080830185611e77565b905060ff8316606083015295945050505050565b8015158114610853575f80fd5b5f60208284031215611f63575f80fd5b8135611bae81611f46565b5f805f60608486031215611f80575f80fd5b8335611f8b81611eb7565b92506020840135611f9b81611eb7565b929592945050506040919091013590565b634e487b7160e01b5f52604160045260245ffd5b803560ff81168114611fd0575f80fd5b919050565b5f805f8060808587031215611fe8575f80fd5b8435611ff381611eb7565b935060208501359250604085013567ffffffffffffffff80821115612016575f80fd5b818701915087601f830112612029575f80fd5b81358181111561203b5761203b611fac565b604051601f8201601f19908116603f0116810190838211818310171561206357612063611fac565b816040528281528a602084870101111561207b575f80fd5b826020860160208301375f6020848301015280965050505050506120a160608601611fc0565b905092959194509250565b5f602082840312156120bc575f80fd5b8135611bae81611eb7565b5f80604083850312156120d8575f80fd5b82356120e381611eb7565b915060208301356120f381611eb7565b809150509250929050565b5f806040838503121561210f575f80fd5b8235611ee781611f46565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561219d57815f19048211156121835761218361214f565b8085161561219057918102915b93841c9390800290612168565b509250929050565b5f826121b357506001610701565b816121bf57505f610701565b81600181146121d557600281146121df576121fb565b6001915050610701565b60ff8411156121f0576121f061214f565b50506001821b610701565b5060208310610133831016604e8410600b841016171561221e575081810a610701565b6122288383612163565b805f190482111561223b5761223b61214f565b029392505050565b5f611bae60ff8416836121a5565b80820281158282048414176107015761070161214f565b600181811c9082168061227c57607f821691505b602082108103611c0457634e487b7160e01b5f52602260045260245ffd5b601f82111561122a57805f5260205f20601f840160051c810160208510156122bf5750805b601f840160051c820191505b818110156122de575f81556001016122cb565b5050505050565b815167ffffffffffffffff8111156122ff576122ff611fac565b6123138161230d8454612268565b8461229a565b602080601f831160018114612346575f841561232f5750858301515b5f19600386901b1c1916600185901b17855561239d565b5f85815260208120601f198616915b8281101561237457888601518255948401946001909101908401612355565b508582101561239157878501515f19600388901b60f8161c191681555b505060018460011b0185555b505050505050565b5f602082840312156123b5575f80fd5b8151611bae81611eb7565b5f805f606084860312156123d2575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156123fb575f80fd5b8151611bae81611f46565b634e487b7160e01b5f52603260045260245ffd5b5f6001820161242b5761242b61214f565b5060010190565b808201808211156107015761070161214f565b818103818111156107015761070161214f565b5f8261247257634e487b7160e01b5f52601260045260245ffd5b500490565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156124c75784516001600160a01b0316835293830193918301916001016124a2565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220717db67b69a73f51f11408b81341883d7acfcd303ac1e0b5b205c1c74694f63664736f6c63430008190033

3834:10203:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12159:165;;;;;;;;;;;;;:::i;:::-;;5904:83;;;;;;;;;;-1:-1:-1;5974:5:0;;;;;;;;;;;;-1:-1:-1;;;5974:5:0;;;;5904:83;;;;;;;:::i;:::-;;;;;;;;6737:161;;;;;;;;;;-1:-1:-1;6737:161:0;;;;;:::i;:::-;;:::i;:::-;;;1154:14:1;;1147:22;1129:41;;1117:2;1102:18;6737:161:0;989:187:1;13402:22:0;;;;;;;;;;-1:-1:-1;13402:22:0;;;;;:::i;:::-;;:::i;:::-;;;;;;;;;;:::i;4686:51::-;;;;;;;;;;;;;;;;;;;1983:25:1;;;1971:2;1956:18;4686:51:0;1837:177:1;6181:95:0;;;;;;;;;;;;;:::i;11732:116::-;;;;;;;;;;;;;:::i;11631:93::-;;;;;;;;;;-1:-1:-1;11631:93:0;;;;;:::i;:::-;;:::i;6906:313::-;;;;;;;;;;-1:-1:-1;6906:313:0;;;;;:::i;:::-;;:::i;6090:83::-;;;;;;;;;;-1:-1:-1;6090:83:0;;4316:1;2991:36:1;;2979:2;2964:18;6090:83:0;2849:184:1;11535:88:0;;;;;;;;;;-1:-1:-1;11535:88:0;;;;;:::i;:::-;;:::i;5211:28::-;;;;;;;;;;-1:-1:-1;5211:28:0;;;;-1:-1:-1;;;;;5211:28:0;;;;;;-1:-1:-1;;;;;3202:32:1;;;3184:51;;3172:2;3157:18;5211:28:0;3038:203:1;13429:157:0;;;;;;;;;;-1:-1:-1;13429:157:0;;;;;:::i;:::-;;:::i;7570:96::-;;;;;;;;;;-1:-1:-1;7570:96:0;;;;;:::i;:::-;;:::i;13943:87::-;;;;;;;;;;-1:-1:-1;14013:6:0;:13;13943:87;;6284:119;;;;;;;;;;-1:-1:-1;6284:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6377:18:0;6350:7;6377:18;;;:9;:18;;;;;;;6284:119;2665:148;;;;;;;;;;;;;:::i;5277:25::-;;;;;;;;;;;;;;;;4501:52;;;;;;;;;;;;;;;;2451:79;;;;;;;;;;-1:-1:-1;2489:7:0;2516:6;-1:-1:-1;;;;;2516:6:0;2451:79;;4561:54;;;;;;;;;;;;;;;;5995:87;;;;;;;;;;-1:-1:-1;6067:7:0;;;;;;;;;;;;-1:-1:-1;;;6067:7:0;;;;5995:87;;6411:167;;;;;;;;;;-1:-1:-1;6411:167:0;;;;;:::i;:::-;;:::i;4622:56::-;;;;;;;;;;;;;;;;5382:28;;;;;;;;;;-1:-1:-1;5382:28:0;;;;;;;;;;;12448:814;;;;;;;;;;;;;:::i;6586:143::-;;;;;;;;;;-1:-1:-1;6586:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6694:18:0;;;6667:7;6694:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6586:143;11384;;;;;;;;;;-1:-1:-1;11384:143:0;;;;;:::i;:::-;;:::i;13590:349::-;;;;;;;;;;-1:-1:-1;13590:349:0;;;;;:::i;:::-;;:::i;2821:244::-;;;;;;;;;;-1:-1:-1;2821:244:0;;;;;:::i;:::-;;:::i;12017:134::-;;;;;;;;;;-1:-1:-1;12017:134:0;;;;;:::i;:::-;;:::i;4092:42::-;;;;;;;;;;-1:-1:-1;4092:42:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;11856:153;;;;;;;;;;-1:-1:-1;11856:153:0;;;;;:::i;:::-;;:::i;12159:165::-;2578:6;;-1:-1:-1;;;;;2578:6:0;289:10;2578:22;2570:67;;;;-1:-1:-1;;;2570:67:0;;;;;;;:::i;:::-;;;;;;;;;4371:13:::1;4316:1;4371:2;:13;:::i;:::-;4359:25;::::0;:9:::1;:25;:::i;:::-;12216:12;:22:::0;4371:13:::1;4316:1;4371:2;:13;:::i;:::-;4359:25;::::0;:9:::1;:25;:::i;:::-;12249:14;:24:::0;;;12289:27:::1;::::0;4371:13:::1;::::0;:2:::1;:13;:::i;:::-;4359:25;::::0;:9:::1;:25;:::i;:::-;12289:27;::::0;1983:25:1;;;1971:2;1956:18;12289:27:0::1;;;;;;;12159:165::o:0;6737:161::-;6812:4;6829:39;289:10;6852:7;6861:6;6829:8;:39::i;:::-;-1:-1:-1;6886:4:0;6737:161;;;;;:::o;13402:22::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;13402:22:0;;;;-1:-1:-1;13402:22:0;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;13402:22:0;;;;;;;-1:-1:-1;;13402:22:0;;;:::o;6181:95::-;6234:7;4371:13;4316:1;4371:2;:13;:::i;:::-;4359:25;;:9;:25;:::i;:::-;6254:14;;6181:95;:::o;11732:116::-;2578:6;;-1:-1:-1;;;;;2578:6:0;289:10;2578:22;2570:67;;;;-1:-1:-1;;;2570:67:0;;;;;;;:::i;:::-;11791:16:::1;::::0;11783:57:::1;::::0;-1:-1:-1;;;;;11791:16:0;;::::1;::::0;11818:21:::1;11783:57:::0;::::1;;;::::0;11791:16:::1;11783:57:::0;11791:16;11783:57;11818:21;11791:16;11783:57;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;11732:116::o:0;11631:93::-;2578:6;;-1:-1:-1;;;;;2578:6:0;289:10;2578:22;2570:67;;;;-1:-1:-1;;;2570:67:0;;;;;;;:::i;:::-;11697:9:::1;:19:::0;;;::::1;;::::0;::::1;-1:-1:-1::0;;11697:19:0;;::::1;::::0;;;::::1;::::0;;11631:93::o;6906:313::-;7004:4;7021:36;7031:6;7039:9;7050:6;7021:9;:36::i;:::-;7068:121;7077:6;289:10;7099:89;7137:6;7099:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7099:19:0;;;;;;:11;:19;;;;;;;;289:10;7099:33;;;;;;;;;;:37;:89::i;:::-;7068:8;:121::i;:::-;-1:-1:-1;7207:4:0;6906:313;;;;;:::o;11535:88::-;2578:6;;-1:-1:-1;;;;;2578:6:0;289:10;2578:22;2570:67;;;;-1:-1:-1;;;2570:67:0;;;;;;;:::i;:::-;11600:6:::1;:15:::0;11535:88::o;13429:157::-;13542:39;;;;;;;;-1:-1:-1;;;;;13542:39:0;;;;;;;;;;;;;;;;;;;;;;;;13530:6;:52;;;;;;;-1:-1:-1;13530:52:0;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;13530:52:0;;;;;;;;;;;;;;;13542:39;;13530:52;;;;;;;;;;;:::i;:::-;-1:-1:-1;13530:52:0;;;;;;;;;;;;-1:-1:-1;;13530:52:0;;;;;;;;;;;-1:-1:-1;;;;13429:157:0:o;7570:96::-;2578:6;;-1:-1:-1;;;;;2578:6:0;289:10;2578:22;2570:67;;;;-1:-1:-1;;;2570:67:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;7635:16:0::1;;::::0;;;:10:::1;:16;::::0;;;;:23;;-1:-1:-1;;7635:23:0::1;7654:4;7635:23;::::0;;7570:96::o;2665:148::-;2578:6;;-1:-1:-1;;;;;2578:6:0;289:10;2578:22;2570:67;;;;-1:-1:-1;;;2570:67:0;;;;;;;:::i;:::-;2772:1:::1;2756:6:::0;;2735:40:::1;::::0;-1:-1:-1;;;;;2756:6:0;;::::1;::::0;2735:40:::1;::::0;2772:1;;2735:40:::1;2803:1;2786:19:::0;;-1:-1:-1;;;;;;2786:19:0::1;::::0;;2665:148::o;6411:167::-;6489:4;6506:42;289:10;6530:9;6541:6;6506:9;:42::i;12448:814::-;2578:6;;-1:-1:-1;;;;;2578:6:0;289:10;2578:22;2570:67;;;;-1:-1:-1;;;2570:67:0;;;;;;;:::i;:::-;12512:11:::1;::::0;-1:-1:-1;;;12512:11:0;::::1;;;12511:12;12503:48;;;::::0;-1:-1:-1;;;12503:48:0;;10492:2:1;12503:48:0::1;::::0;::::1;10474:21:1::0;10531:2;10511:18;;;10504:30;10570:25;10550:18;;;10543:53;10613:18;;12503:48:0::1;10290:347:1::0;12503:48:0::1;12562:15;:80:::0;;-1:-1:-1;;;;;;12562:80:0::1;12599:42;12562:80:::0;;::::1;::::0;;;12653:58:::1;::::0;12670:4:::1;::::0;4371:13:::1;4316:1;4371:2;:13;:::i;:::-;4359:25;::::0;:9:::1;:25;:::i;12653:58::-;12756:15;;;;;;;;;-1:-1:-1::0;;;;;12756:15:0::1;-1:-1:-1::0;;;;;12756:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12738:55:0::1;;12802:4;12809:15;;;;;;;;;-1:-1:-1::0;;;;;12809:15:0::1;-1:-1:-1::0;;;;;12809:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12738:94;::::0;-1:-1:-1;;;;;;12738:94:0::1;::::0;;;;;;-1:-1:-1;;;;;11128:15:1;;;12738:94:0::1;::::0;::::1;11110:34:1::0;11180:15;;11160:18;;;11153:43;11045:18;;12738:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12722:13;:110:::0;;-1:-1:-1;;;;;12722:110:0;;::::1;-1:-1:-1::0;;;;;;12722:110:0;;::::1;::::0;::::1;::::0;;:13:::1;12843:34:::0;;;:10:::1;:34;::::0;;;;;;;:41;;-1:-1:-1;;12843:41:0;;::::1;12722:110:::0;12843:41;;::::1;::::0;;;12911:13;;;::::1;12895:31:::0;;:7:::1;:31:::0;;;;;;:38;;;;::::1;;::::0;;12944:15:::1;::::0;::::1;:31;12983:21;13014:4;13021:24;13014:4:::0;-1:-1:-1;;;;;6377:18:0;6350:7;6377:18;;;:9;:18;;;;;;;6284:119;13021:24:::1;13047:1;13050::::0;13053:7:::1;2489::::0;2516:6;-1:-1:-1;;;;;2516:6:0;;2451:79;13053:7:::1;12944:134;::::0;::::1;::::0;;;-1:-1:-1;;;;;;12944:134:0;;;-1:-1:-1;;;;;11566:15:1;;;12944:134:0::1;::::0;::::1;11548:34:1::0;11598:18;;;11591:34;;;;11641:18;;;11634:34;;;;11684:18;;;11677:34;11748:15;;;11727:19;;;11720:44;13062:15:0::1;11780:19:1::0;;;11773:35;11482:19;;12944:134:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;13096:13:0::1;::::0;13127:15:::1;::::0;13089:71:::1;::::0;-1:-1:-1;;;13089:71:0;;-1:-1:-1;;;;;13127:15:0;;::::1;13089:71;::::0;::::1;12304:51:1::0;-1:-1:-1;;12371:18:1;;;12364:34;13096:13:0;::::1;::::0;-1:-1:-1;13089:29:0::1;::::0;12277:18:1;;13089:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;13171:11:0::1;:18:::0;;-1:-1:-1;;13171:18:0::1;;;::::0;;13200:11:::1;:18:::0;;-1:-1:-1;;;;13200:18:0::1;-1:-1:-1::0;;;13200:18:0::1;::::0;;13242:12:::1;13229:10;:25:::0;12448:814::o;11384:143::-;2578:6;;-1:-1:-1;;;;;2578:6:0;289:10;2578:22;2570:67;;;;-1:-1:-1;;;2570:67:0;;;;;;;:::i;:::-;11467:11:::1;:21:::0;;;::::1;;;;-1:-1:-1::0;;11467:21:0;;::::1;::::0;;;::::1;::::0;;;11499:11:::1;:20:::0;11384:143::o;13590:349::-;13646:7;13655;13664:12;13678:5;13756:6;:13;;;;13747:6;:22;13739:54;;;;-1:-1:-1;;;13739:54:0;;12861:2:1;13739:54:0;;;12843:21:1;12900:2;12880:18;;;12873:30;-1:-1:-1;;;12919:18:1;;;12912:49;12978:18;;13739:54:0;12659:343:1;13739:54:0;13806:25;13834:6;13841;13834:14;;;;;;;;:::i;:::-;;;;;;;;;;;;;;13863;;;13879:16;;;13914:20;;;;13897:15;;;13855:80;;13834:14;;-1:-1:-1;;;;;;13863:14:0;;;;13879:16;;13897:15;13914:20;;;;;13897:15;;13855:80;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13590:349;;;;;:::o;2821:244::-;2578:6;;-1:-1:-1;;;;;2578:6:0;289:10;2578:22;2570:67;;;;-1:-1:-1;;;2570:67:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;2910:22:0;::::1;2902:73;;;::::0;-1:-1:-1;;;2902:73:0;;13341:2:1;2902:73:0::1;::::0;::::1;13323:21:1::0;13380:2;13360:18;;;13353:30;13419:34;13399:18;;;13392:62;-1:-1:-1;;;13470:18:1;;;13463:36;13516:19;;2902:73:0::1;13139:402:1::0;2902:73:0::1;3012:6;::::0;;2991:38:::1;::::0;-1:-1:-1;;;;;2991:38:0;;::::1;::::0;3012:6;::::1;::::0;2991:38:::1;::::0;::::1;3040:6;:17:::0;;-1:-1:-1;;;;;;3040:17:0::1;-1:-1:-1::0;;;;;3040:17:0;;;::::1;::::0;;;::::1;::::0;;2821:244::o;12017:134::-;2578:6;;-1:-1:-1;;;;;2578:6:0;289:10;2578:22;2570:67;;;;-1:-1:-1;;;2570:67:0;;;;;;;:::i;:::-;12099:16:::1;:44:::0;;-1:-1:-1;;;;;;12099:44:0::1;-1:-1:-1::0;;;;;12099:44:0;;;::::1;::::0;;;::::1;::::0;;12017:134::o;11856:153::-;2578:6;;-1:-1:-1;;;;;2578:6:0;289:10;2578:22;2570:67;;;;-1:-1:-1;;;2570:67:0;;;;;;;:::i;:::-;11975:16:::1;::::0;11947:54:::1;::::0;-1:-1:-1;;;11947:54:0;;-1:-1:-1;;;;;11975:16:0;;::::1;11947:54;::::0;::::1;12304:51:1::0;12371:18;;;12364:34;;;11947:27:0;;::::1;::::0;::::1;::::0;12277:18:1;;11947:54:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;11856:153:::0;;:::o;7227:335::-;-1:-1:-1;;;;;7320:19:0;;7312:68;;;;-1:-1:-1;;;7312:68:0;;14035:2:1;7312:68:0;;;14017:21:1;14074:2;14054:18;;;14047:30;14113:34;14093:18;;;14086:62;-1:-1:-1;;;14164:18:1;;;14157:34;14208:19;;7312:68:0;13833:400:1;7312:68:0;-1:-1:-1;;;;;7399:21:0;;7391:68;;;;-1:-1:-1;;;7391:68:0;;14440:2:1;7391:68:0;;;14422:21:1;14479:2;14459:18;;;14452:30;14518:34;14498:18;;;14491:62;-1:-1:-1;;;14569:18:1;;;14562:32;14611:19;;7391:68:0;14238:398:1;7391:68:0;-1:-1:-1;;;;;7470:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7522:32;;1983:25:1;;;7522:32:0;;1956:18:1;7522:32:0;;;;;;;7227:335;;;:::o;7674:3096::-;-1:-1:-1;;;;;7762:18:0;;7754:68;;;;-1:-1:-1;;;7754:68:0;;14843:2:1;7754:68:0;;;14825:21:1;14882:2;14862:18;;;14855:30;14921:34;14901:18;;;14894:62;-1:-1:-1;;;14972:18:1;;;14965:35;15017:19;;7754:68:0;14641:401:1;7754:68:0;-1:-1:-1;;;;;7841:16:0;;7833:64;;;;-1:-1:-1;;;7833:64:0;;15249:2:1;7833:64:0;;;15231:21:1;15288:2;15268:18;;;15261:30;15327:34;15307:18;;;15300:62;-1:-1:-1;;;15378:18:1;;;15371:33;15421:19;;7833:64:0;15047:399:1;7833:64:0;7925:1;7916:6;:10;7908:64;;;;-1:-1:-1;;;7908:64:0;;15653:2:1;7908:64:0;;;15635:21:1;15692:2;15672:18;;;15665:30;15731:34;15711:18;;;15704:62;-1:-1:-1;;;15782:18:1;;;15775:39;15831:19;;7908:64:0;15451:405:1;7908:64:0;7983:17;2516:6;;-1:-1:-1;;;;;8021:15:0;;;2516:6;;8021:15;;;;:32;;-1:-1:-1;2489:7:0;2516:6;-1:-1:-1;;;;;8040:13:0;;;2516:6;;8040:13;;8021:32;8017:2382;;;8082:82;8160:3;8082:73;8106:15;;8094:9;;:27;8093:61;;8140:14;;8093:61;;;8125:12;;8093:61;8082:6;;:10;:73::i;:::-;:77;;:82::i;:::-;8070:94;;8201:10;;8185:12;:26;8181:188;;8252:12;8240:25;;;;:11;:25;;;;;;8268:2;-1:-1:-1;8232:75:0;;;;-1:-1:-1;;;8232:75:0;;16063:2:1;8232:75:0;;;16045:21:1;;;16082:18;;;16075:30;16141:34;16121:18;;;16114:62;16193:18;;8232:75:0;15861:356:1;8232:75:0;8338:12;8326:25;;;;:11;:25;;;;;:27;;;;;;:::i;:::-;;;;;;8181:188;-1:-1:-1;;;;;8389:16:0;;;;;;:10;:16;;;;;;;;:50;;;;-1:-1:-1;8423:15:0;;-1:-1:-1;;;;;8409:30:0;;;8423:15;;8409:30;;8389:50;:66;;;;-1:-1:-1;;;;;;8444:11:0;;;;;;:7;:11;;;;;;;;8443:12;8389:66;8385:295;;;8494:12;;8484:6;:22;;8476:60;;;;-1:-1:-1;;;8476:60:0;;16564:2:1;8476:60:0;;;16546:21:1;16603:2;16583:18;;;16576:30;16642:27;16622:18;;;16615:55;16687:18;;8476:60:0;16362:349:1;8476:60:0;8589:14;;8579:6;8563:13;8573:2;-1:-1:-1;;;;;6377:18:0;6350:7;6377:18;;;:9;:18;;;;;;;6284:119;8563:13;:22;;;;:::i;:::-;:40;;8555:79;;;;-1:-1:-1;;;8555:79:0;;17048:2:1;8555:79:0;;;17030:21:1;17087:2;17067:18;;;17060:30;17126:28;17106:18;;;17099:56;17172:18;;8555:79:0;16846:350:1;8555:79:0;8653:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8385:295;-1:-1:-1;;;;;8701:14:0;;;;;;:10;:14;;;;;;;;8700:15;:31;;;;-1:-1:-1;;;;;;8720:11:0;;;;;;:7;:11;;;;;;;;8719:12;8700:31;8696:151;;;8786:14;;8776:6;8760:13;8770:2;-1:-1:-1;;;;;6377:18:0;6350:7;6377:18;;;:9;:18;;;;;;;6284:119;8760:13;:22;;;;:::i;:::-;:40;;8752:79;;;;-1:-1:-1;;;8752:79:0;;17048:2:1;8752:79:0;;;17030:21:1;17087:2;17067:18;;;17060:30;17126:28;17106:18;;;17099:56;17172:18;;8752:79:0;16846:350:1;8752:79:0;-1:-1:-1;;;;;8867:14:0;;;;;;:10;:14;;;;;;;;:39;;;;-1:-1:-1;;;;;;8885:21:0;;8901:4;8885:21;;8867:39;8863:177;;;8939:85;9020:3;8939:76;8963:16;;8951:9;;:28;8950:64;;8999:15;;8950:64;;;8983:13;;8939:6;;:10;:76::i;:85::-;8927:97;;8863:177;-1:-1:-1;;;;;9061:16:0;;;;;;:10;:16;;;;;;;;9060:17;:36;;;;-1:-1:-1;;;;;;9082:14:0;;;;;;:10;:14;;;;;;;;9081:15;9060:36;:61;;;;-1:-1:-1;;;;;;9100:21:0;;9116:4;9100:21;;9060:61;9056:115;;;-1:-1:-1;9154:1:0;9056:115;9236:4;9187:28;6377:18;;;:9;:18;;;;;;9261:9;;;;;;;:20;;;;-1:-1:-1;9275:6:0;;;;9274:7;9261:20;:38;;;;-1:-1:-1;;;;;;9285:14:0;;;;;;:10;:14;;;;;;;;9261:38;:53;;;;-1:-1:-1;9303:11:0;;;;;;;9261:53;:97;;;;;9341:17;;9318:20;:40;9261:97;:131;;;;;9374:18;;9362:9;;:30;9261:131;9257:1131;;;9432:13;;9417:12;:28;9413:90;;;9482:1;9470:9;:13;9413:90;9541:6;;9529:9;;:18;9521:46;;;;-1:-1:-1;;;9521:46:0;;17403:2:1;9521:46:0;;;17385:21:1;17442:2;17422:18;;;17415:30;-1:-1:-1;;;17461:18:1;;;17454:45;17516:18;;9521:46:0;17201:339:1;9521:46:0;9586:69;9603:51;9607:6;9615:38;9619:20;9641:11;;9615:3;:38::i;:::-;9603:3;:51::i;:::-;9586:16;:69::i;:::-;9703:21;9747:22;;9743:116;;9794:45;9817:21;9794:22;:45::i;:::-;9877:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;9923:12:0;9907:13;:28;-1:-1:-1;9257:1131:0;;;9962:6;;;;9961:7;:25;;;;-1:-1:-1;;;;;;9972:14:0;;;;;;:10;:14;;;;;;;;9961:25;:40;;;;-1:-1:-1;9990:11:0;;;;;;;9961:40;:84;;;;;10028:17;;10005:20;:40;9961:84;:118;;;;;10061:18;;10049:9;;:30;9961:118;9957:431;;;10100:69;10117:51;10121:6;10129:38;10133:20;10155:11;;10129:3;:38::i;10100:69::-;10217:21;10261:22;;10257:116;;10308:45;10331:21;10308:22;:45::i;:::-;10081:307;9957:431;8055:2344;8017:2382;10415:13;;10411:172;;10490:4;10472:24;;;;:9;:24;;;;;;:39;;10501:9;10472:28;:39::i;:::-;10463:4;10445:24;;;;:9;:24;;;;;;;:66;;;;10531:40;;-1:-1:-1;;;;;10531:40:0;;;;;;;10561:9;1983:25:1;;1971:2;1956:18;;1837:177;10531:40:0;;;;;;;;10411:172;-1:-1:-1;;;;;10611:15:0;;;;;;:9;:15;;;;;;:27;;10631:6;10611:19;:27::i;:::-;-1:-1:-1;;;;;10593:15:0;;;;;;:9;:15;;;;;:45;10665:40;10683:21;:6;10694:9;10683:10;:21::i;:::-;-1:-1:-1;;;;;10665:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;10649:13:0;;;;;;;:9;:13;;;;;:56;;;;10721:41;;;10740:21;:6;10751:9;10740:10;:21::i;:::-;10721:41;;1983:25:1;;;1971:2;1956:18;10721:41:0;;;;;;;7743:3027;7674:3096;;;:::o;1346:190::-;1432:7;1468:12;1460:6;;;;1452:29;;;;-1:-1:-1;;;1452:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1492:9:0;1504:5;1508:1;1504;:5;:::i;:::-;1492:17;1346:190;-1:-1:-1;;;;;1346:190:0:o;1544:246::-;1602:7;1626:1;1631;1626:6;1622:47;;-1:-1:-1;1656:1:0;1649:8;;1622:47;1679:9;1691:5;1695:1;1691;:5;:::i;:::-;1679:17;-1:-1:-1;1724:1:0;1715:5;1719:1;1679:17;1715:5;:::i;:::-;:10;1707:56;;;;-1:-1:-1;;;1707:56:0;;18102:2:1;1707:56:0;;;18084:21:1;18141:2;18121:18;;;18114:30;18180:34;18160:18;;;18153:62;-1:-1:-1;;;18231:18:1;;;18224:31;18272:19;;1707:56:0;17900:397:1;1707:56:0;1781:1;1544:246;-1:-1:-1;;;1544:246:0:o;1798:132::-;1856:7;1883:39;1887:1;1890;1883:39;;;;;;;;;;;;;;;;;:3;:39::i;10778:107::-;10835:7;10867:1;10863;:5;10862:15;;10876:1;10862:15;;;-1:-1:-1;10872:1:0;10778:107;-1:-1:-1;10778:107:0:o;10893:483::-;5501:6;:13;;-1:-1:-1;;5501:13:0;5510:4;5501:13;;;10995:16:::1;::::0;;11009:1:::1;10995:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10995:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10995:16:0::1;10971:40;;11040:4;11022;11027:1;11022:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11022:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;11066:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;11066:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;11022:7;;11066:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11056:4;11061:1;11056:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11056:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;11131:15:::1;::::0;11099:62:::1;::::0;11116:4:::1;::::0;11131:15:::1;11149:11:::0;11099:8:::1;:62::i;:::-;11172:15;::::0;:196:::1;::::0;-1:-1:-1;;;11172:196:0;;-1:-1:-1;;;;;11172:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;11253:11;;11172:15:::1;::::0;11295:4;;11322::::1;::::0;11342:15:::1;::::0;11172:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5537:6:0;:14;;-1:-1:-1;;5537:14:0;;;-1:-1:-1;;;;10893:483:0:o;12332:108::-;12399:16;;:33;;-1:-1:-1;;;;;12399:16:0;;;;:33;;;;;12425:6;;12399:16;:33;:16;:33;12425:6;12399:16;:33;;;;;;;;;;;;;;;;;;;;;12332:108;:::o;1015:179::-;1073:7;;1105:5;1109:1;1105;:5;:::i;:::-;1093:17;;1134:1;1129;:6;;1121:46;;;;-1:-1:-1;;;1121:46:0;;19489:2:1;1121:46:0;;;19471:21:1;19528:2;19508:18;;;19501:30;19567:29;19547:18;;;19540:57;19614:18;;1121:46:0;19287:351:1;1202:136:0;1260:7;1287:43;1291:1;1294;1287:43;;;;;;;;;;;;;;;;;:3;:43::i;1938:189::-;2024:7;2059:12;2052:5;2044:28;;;;-1:-1:-1;;;2044:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2083:9:0;2095:5;2099:1;2095;:5;:::i;14:289:1:-;56:3;94:5;88:12;121:6;116:3;109:19;177:6;170:4;163:5;159:16;152:4;147:3;143:14;137:47;229:1;222:4;213:6;208:3;204:16;200:27;193:38;292:4;285:2;281:7;276:2;268:6;264:15;260:29;255:3;251:39;247:50;240:57;;;14:289;;;;:::o;308:220::-;457:2;446:9;439:21;420:4;477:45;518:2;507:9;503:18;495:6;477:45;:::i;533:131::-;-1:-1:-1;;;;;608:31:1;;598:42;;588:70;;654:1;651;644:12;669:315;737:6;745;798:2;786:9;777:7;773:23;769:32;766:52;;;814:1;811;804:12;766:52;853:9;840:23;872:31;897:5;872:31;:::i;:::-;922:5;974:2;959:18;;;;946:32;;-1:-1:-1;;;669:315:1:o;1181:180::-;1240:6;1293:2;1281:9;1272:7;1268:23;1264:32;1261:52;;;1309:1;1306;1299:12;1261:52;-1:-1:-1;1332:23:1;;1181:180;-1:-1:-1;1181:180:1:o;1366:466::-;1622:1;1618;1613:3;1609:11;1605:19;1597:6;1593:32;1582:9;1575:51;1662:6;1657:2;1646:9;1642:18;1635:34;1705:3;1700:2;1689:9;1685:18;1678:31;1556:4;1726:46;1767:3;1756:9;1752:19;1744:6;1726:46;:::i;:::-;1718:54;;1820:4;1812:6;1808:17;1803:2;1792:9;1788:18;1781:45;1366:466;;;;;;;:::o;2019:118::-;2105:5;2098:13;2091:21;2084:5;2081:32;2071:60;;2127:1;2124;2117:12;2142:241;2198:6;2251:2;2239:9;2230:7;2226:23;2222:32;2219:52;;;2267:1;2264;2257:12;2219:52;2306:9;2293:23;2325:28;2347:5;2325:28;:::i;2388:456::-;2465:6;2473;2481;2534:2;2522:9;2513:7;2509:23;2505:32;2502:52;;;2550:1;2547;2540:12;2502:52;2589:9;2576:23;2608:31;2633:5;2608:31;:::i;:::-;2658:5;-1:-1:-1;2715:2:1;2700:18;;2687:32;2728:33;2687:32;2728:33;:::i;:::-;2388:456;;2780:7;;-1:-1:-1;;;2834:2:1;2819:18;;;;2806:32;;2388:456::o;3246:127::-;3307:10;3302:3;3298:20;3295:1;3288:31;3338:4;3335:1;3328:15;3362:4;3359:1;3352:15;3378:156;3444:20;;3504:4;3493:16;;3483:27;;3473:55;;3524:1;3521;3514:12;3473:55;3378:156;;;:::o;3539:1195::-;3632:6;3640;3648;3656;3709:3;3697:9;3688:7;3684:23;3680:33;3677:53;;;3726:1;3723;3716:12;3677:53;3765:9;3752:23;3784:31;3809:5;3784:31;:::i;:::-;3834:5;-1:-1:-1;3886:2:1;3871:18;;3858:32;;-1:-1:-1;3941:2:1;3926:18;;3913:32;3964:18;3994:14;;;3991:34;;;4021:1;4018;4011:12;3991:34;4059:6;4048:9;4044:22;4034:32;;4104:7;4097:4;4093:2;4089:13;4085:27;4075:55;;4126:1;4123;4116:12;4075:55;4162:2;4149:16;4184:2;4180;4177:10;4174:36;;;4190:18;;:::i;:::-;4265:2;4259:9;4233:2;4319:13;;-1:-1:-1;;4315:22:1;;;4339:2;4311:31;4307:40;4295:53;;;4363:18;;;4383:22;;;4360:46;4357:72;;;4409:18;;:::i;:::-;4449:10;4445:2;4438:22;4484:2;4476:6;4469:18;4524:7;4519:2;4514;4510;4506:11;4502:20;4499:33;4496:53;;;4545:1;4542;4535:12;4496:53;4601:2;4596;4592;4588:11;4583:2;4575:6;4571:15;4558:46;4646:1;4641:2;4636;4628:6;4624:15;4620:24;4613:35;4667:6;4657:16;;;;;;;4692:36;4724:2;4713:9;4709:18;4692:36;:::i;:::-;4682:46;;3539:1195;;;;;;;:::o;4739:247::-;4798:6;4851:2;4839:9;4830:7;4826:23;4822:32;4819:52;;;4867:1;4864;4857:12;4819:52;4906:9;4893:23;4925:31;4950:5;4925:31;:::i;4991:388::-;5059:6;5067;5120:2;5108:9;5099:7;5095:23;5091:32;5088:52;;;5136:1;5133;5126:12;5088:52;5175:9;5162:23;5194:31;5219:5;5194:31;:::i;:::-;5244:5;-1:-1:-1;5301:2:1;5286:18;;5273:32;5314:33;5273:32;5314:33;:::i;:::-;5366:7;5356:17;;;4991:388;;;;;:::o;5384:309::-;5449:6;5457;5510:2;5498:9;5489:7;5485:23;5481:32;5478:52;;;5526:1;5523;5516:12;5478:52;5565:9;5552:23;5584:28;5606:5;5584:28;:::i;5698:356::-;5900:2;5882:21;;;5919:18;;;5912:30;5978:34;5973:2;5958:18;;5951:62;6045:2;6030:18;;5698:356::o;6059:127::-;6120:10;6115:3;6111:20;6108:1;6101:31;6151:4;6148:1;6141:15;6175:4;6172:1;6165:15;6191:416;6280:1;6317:5;6280:1;6331:270;6352:7;6342:8;6339:21;6331:270;;;6411:4;6407:1;6403:6;6399:17;6393:4;6390:27;6387:53;;;6420:18;;:::i;:::-;6470:7;6460:8;6456:22;6453:55;;;6490:16;;;;6453:55;6569:22;;;;6529:15;;;;6331:270;;;6335:3;6191:416;;;;;:::o;6612:806::-;6661:5;6691:8;6681:80;;-1:-1:-1;6732:1:1;6746:5;;6681:80;6780:4;6770:76;;-1:-1:-1;6817:1:1;6831:5;;6770:76;6862:4;6880:1;6875:59;;;;6948:1;6943:130;;;;6855:218;;6875:59;6905:1;6896:10;;6919:5;;;6943:130;6980:3;6970:8;6967:17;6964:43;;;6987:18;;:::i;:::-;-1:-1:-1;;7043:1:1;7029:16;;7058:5;;6855:218;;7157:2;7147:8;7144:16;7138:3;7132:4;7129:13;7125:36;7119:2;7109:8;7106:16;7101:2;7095:4;7092:12;7088:35;7085:77;7082:159;;;-1:-1:-1;7194:19:1;;;7226:5;;7082:159;7273:34;7298:8;7292:4;7273:34;:::i;:::-;7343:6;7339:1;7335:6;7331:19;7322:7;7319:32;7316:58;;;7354:18;;:::i;:::-;7392:20;;6612:806;-1:-1:-1;;;6612:806:1:o;7423:140::-;7481:5;7510:47;7551:4;7541:8;7537:19;7531:4;7510:47;:::i;7568:168::-;7641:9;;;7672;;7689:15;;;7683:22;;7669:37;7659:71;;7710:18;;:::i;7741:380::-;7820:1;7816:12;;;;7863;;;7884:61;;7938:4;7930:6;7926:17;7916:27;;7884:61;7991:2;7983:6;7980:14;7960:18;7957:38;7954:161;;8037:10;8032:3;8028:20;8025:1;8018:31;8072:4;8069:1;8062:15;8100:4;8097:1;8090:15;8251:517;8352:2;8347:3;8344:11;8341:421;;;8388:5;8385:1;8378:16;8432:4;8429:1;8419:18;8502:2;8490:10;8486:19;8483:1;8479:27;8473:4;8469:38;8538:4;8526:10;8523:20;8520:47;;;-1:-1:-1;8561:4:1;8520:47;8616:2;8611:3;8607:12;8604:1;8600:20;8594:4;8590:31;8580:41;;8671:81;8689:2;8682:5;8679:13;8671:81;;;8748:1;8734:16;;8715:1;8704:13;8671:81;;;8675:3;;8251:517;;;:::o;8944:1341::-;9068:3;9062:10;9095:18;9087:6;9084:30;9081:56;;;9117:18;;:::i;:::-;9146:96;9235:6;9195:38;9227:4;9221:11;9195:38;:::i;:::-;9189:4;9146:96;:::i;:::-;9297:4;;9354:2;9343:14;;9371:1;9366:662;;;;10072:1;10089:6;10086:89;;;-1:-1:-1;10141:19:1;;;10135:26;10086:89;-1:-1:-1;;8901:1:1;8897:11;;;8893:24;8889:29;8879:40;8925:1;8921:11;;;8876:57;10188:81;;9336:943;;9366:662;8198:1;8191:14;;;8235:4;8222:18;;-1:-1:-1;;9402:20:1;;;9519:236;9533:7;9530:1;9527:14;9519:236;;;9622:19;;;9616:26;9601:42;;9714:27;;;;9682:1;9670:14;;;;9549:19;;9519:236;;;9523:3;9783:6;9774:7;9771:19;9768:201;;;9844:19;;;9838:26;-1:-1:-1;;9927:1:1;9923:14;;;9939:3;9919:24;9915:37;9911:42;9896:58;9881:74;;9768:201;;;10015:1;10006:6;10003:1;9999:14;9995:22;9989:4;9982:36;9336:943;;;;;8944:1341;;:::o;10642:251::-;10712:6;10765:2;10753:9;10744:7;10740:23;10736:32;10733:52;;;10781:1;10778;10771:12;10733:52;10813:9;10807:16;10832:31;10857:5;10832:31;:::i;11819:306::-;11907:6;11915;11923;11976:2;11964:9;11955:7;11951:23;11947:32;11944:52;;;11992:1;11989;11982:12;11944:52;12021:9;12015:16;12005:26;;12071:2;12060:9;12056:18;12050:25;12040:35;;12115:2;12104:9;12100:18;12094:25;12084:35;;11819:306;;;;;:::o;12409:245::-;12476:6;12529:2;12517:9;12508:7;12504:23;12500:32;12497:52;;;12545:1;12542;12535:12;12497:52;12577:9;12571:16;12596:28;12618:5;12596:28;:::i;13007:127::-;13068:10;13063:3;13059:20;13056:1;13049:31;13099:4;13096:1;13089:15;13123:4;13120:1;13113:15;16222:135;16261:3;16282:17;;;16279:43;;16302:18;;:::i;:::-;-1:-1:-1;16349:1:1;16338:13;;16222:135::o;16716:125::-;16781:9;;;16802:10;;;16799:36;;;16815:18;;:::i;17545:128::-;17612:9;;;17633:11;;;17630:37;;;17647:18;;:::i;17678:217::-;17718:1;17744;17734:132;;17788:10;17783:3;17779:20;17776:1;17769:31;17823:4;17820:1;17813:15;17851:4;17848:1;17841:15;17734:132;-1:-1:-1;17880:9:1;;17678:217::o;18302:980::-;18564:4;18612:3;18601:9;18597:19;18643:6;18632:9;18625:25;18669:2;18707:6;18702:2;18691:9;18687:18;18680:34;18750:3;18745:2;18734:9;18730:18;18723:31;18774:6;18809;18803:13;18840:6;18832;18825:22;18878:3;18867:9;18863:19;18856:26;;18917:2;18909:6;18905:15;18891:29;;18938:1;18948:195;18962:6;18959:1;18956:13;18948:195;;;19027:13;;-1:-1:-1;;;;;19023:39:1;19011:52;;19118:15;;;;19083:12;;;;19059:1;18977:9;18948:195;;;-1:-1:-1;;;;;;;19199:32:1;;;;19194:2;19179:18;;19172:60;-1:-1:-1;;;19263:3:1;19248:19;19241:35;19160:3;18302:980;-1:-1:-1;;;18302:980:1:o

ipfs://717db67b69a73f51f11408b81341883d7acfcd303ac1e0b5b205c1c74694f636