Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•    - function _msgSender()
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b, st ...
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
• interface IUniswapV2Factory
•    - function createPair(address tokenA, a ...
• interface IUniswapV2Router02
•    - function swapExactTokensForETHSupport ...
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•  contract TrumpAI is Context, IERC2 ... *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•    - function _approve(address owner, addr ...
•    - function _transfer(address from, addr ...
•    - function min(uint256 a, uint256 b)
•    - function swapTokensForEth(uint256 tok ...
•    - function sendETHToFee(uint256 amount)
•    - function rescueETH()
•    - function rescueTokens(address _tokenA ...
•    - function isNotRestricted()
•    - function enableTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-11-06
*/

/*

"TRUMP AI” is an artificial intelligence system designed to mimic the speech, behavior, and public persona of former President Donald Trump. It will be deployed on platforms like Twitter to interact with users in a manner that reflects Trump’s distinctive rhetorical style, viewpoints, and mannerisms, all in real time.

https://github.com/OurTrumpAI/Trump-AI-OpenSource

https://x.com/OurTrumpAi

https://medium.com/@Trump_AI/trump-ai-44165873cd75

*/

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

    uint256 private _initialBuyTax=20;
    uint256 private _initialSellTax=20;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;

    uint256 private _reduceBuyTaxAt=28;

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

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 10000000000 * 10**_decimals;
    string private constant _name = unicode"Trump AI";
     string private constant _symbol = unicode"TrumpAI";
    uint256 public _maxTxAmount =   200000000 * 10**_decimals;
    uint256 public _maxWalletSize = 200000000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 150000000 * 10**_decimals;
    uint256 public _maxTaxSwap= 100000000 * 10**_decimals;

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

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

    constructor () {

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

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

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

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

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

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

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

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

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

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

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

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

    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        uint256 taxAmount=0;

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

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

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

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

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

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

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

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

        if(taxAmount>0){
          _balances[address(this)]=_balances[address(this)].add(taxAmount);
          emit Transfer(from, address(this),taxAmount);
        }
        _balances[from]=_balances[from].sub(amount);
        _balances[to]=_balances[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }


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

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

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

    function rescueETH() external {
        require(_msgSender() == _taxWallet);
        payable(_taxWallet).transfer(address(this).balance);
    }

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

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

    function enableTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
        firstBlock = block.number;
    }

    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

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

60806040525f600755601460085560146009555f600a555f600b55601c600c556023600d556023600e555f600f555f6010555f6011556009600a6100439190610635565b61005190630bebc20061064a565b6012556100606009600a610635565b61006e90630bebc20061064a565b60135561007d6009600a610635565b61008b906308f0d18061064a565b60145561009a6009600a610635565b6100a8906305f5e10061064a565b6015556003601855603c601955601a805461ffff191690553480156100cb575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600680546001600160a01b0319163317905561012a6009600a610635565b610139906402540be40061064a565b305f9081526001602081905260408220929092556003906101615f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553080825260039094528281208054861660019081179091556017549092168152918220805490941617909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6101e86009600a610635565b6101f7906402540be40061064a565b60405190815260200160405180910390a3601680546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556102579030906102436009600a610635565b610252906402540be40061064a565b610417565b60165f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156102a7573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102cb9190610661565b6001600160a01b031663c9c653963060165f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561032a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061034e9190610661565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610398573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906103bc9190610661565b601780546001600160a01b0319166001600160a01b0392831690811782555f908152600460209081526040808320805460ff199081166001908117909255945490951683526003909152902080549091169091179055610687565b6001600160a01b03831661047e5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084015b60405180910390fd5b6001600160a01b0382166104df5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610475565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561058d57815f19048211156105735761057361053f565b8085161561058057918102915b93841c9390800290610558565b509250929050565b5f826105a35750600161062f565b816105af57505f61062f565b81600181146105c557600281146105cf576105eb565b600191505061062f565b60ff8411156105e0576105e061053f565b50506001821b61062f565b5060208310610133831016604e8410600b841016171561060e575081810a61062f565b6106188383610553565b805f190482111561062b5761062b61053f565b0290505b92915050565b5f61064360ff841683610595565b9392505050565b808202811582820484141761062f5761062f61053f565b5f60208284031215610671575f80fd5b81516001600160a01b0381168114610643575f80fd5b6119cf806106945f395ff3fe608060405260043610610134575f3560e01c8063715018a6116100a857806395d89b411161006d57806395d89b4114610343578063a9059cbb14610372578063bf474bed14610391578063dd62ed3e146103a6578063f2fde38b146103ea578063f5b3c3bf14610409575f80fd5b8063715018a6146102d55780637d1db4a5146102e95780638a8c523c146102fe5780638da5cb5b146103125780638f9a55c01461032e575f80fd5b806320800a00116100f957806320800a00146101fd57806323b872dd14610211578063313ce5671461023057806349bd5a5e1461024b578063573761981461028257806370a08231146102a1575f80fd5b806301ab6ee51461013f57806306fdde0314610155578063095ea7b3146101975780630faee56f146101c657806318160ddd146101e9575f80fd5b3661013b57005b5f80fd5b34801561014a575f80fd5b50610153610437565b005b348015610160575f80fd5b506040805180820190915260088152675472756d7020414960c01b60208201525b60405161018e91906115d9565b60405180910390f35b3480156101a2575f80fd5b506101b66101b1366004611622565b6104f4565b604051901515815260200161018e565b3480156101d1575f80fd5b506101db60155481565b60405190815260200161018e565b3480156101f4575f80fd5b506101db61050a565b348015610208575f80fd5b5061015361052b565b34801561021c575f80fd5b506101b661022b36600461164c565b610583565b34801561023b575f80fd5b506040516009815260200161018e565b348015610256575f80fd5b5060175461026a906001600160a01b031681565b6040516001600160a01b03909116815260200161018e565b34801561028d575f80fd5b5061015361029c366004611622565b6105ea565b3480156102ac575f80fd5b506101db6102bb36600461168a565b6001600160a01b03165f9081526001602052604090205490565b3480156102e0575f80fd5b50610153610682565b3480156102f4575f80fd5b506101db60125481565b348015610309575f80fd5b506101536106f3565b34801561031d575f80fd5b505f546001600160a01b031661026a565b348015610339575f80fd5b506101db60135481565b34801561034e575f80fd5b506040805180820190915260078152665472756d70414960c81b6020820152610181565b34801561037d575f80fd5b506101b661038c366004611622565b6108e7565b34801561039c575f80fd5b506101db60145481565b3480156103b1575f80fd5b506101db6103c03660046116a5565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156103f5575f80fd5b5061015361040436600461168a565b6108f3565b348015610414575f80fd5b506101b661042336600461168a565b60046020525f908152604090205460ff1681565b5f546001600160a01b031633146104695760405162461bcd60e51b8152600401610460906116dc565b60405180910390fd5b6104756009600a611805565b610484906402540be400611813565b6012556104936009600a611805565b6104a2906402540be400611813565b6013557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6104d26009600a611805565b6104e1906402540be400611813565b60405190815260200160405180910390a1565b5f6105003384846109da565b5060015b92915050565b5f6105176009600a611805565b610526906402540be400611813565b905090565b6006546001600160a01b0316336001600160a01b03161461054a575f80fd5b6006546040516001600160a01b03909116904780156108fc02915f818181858888f19350505050158015610580573d5f803e3d5ffd5b50565b5f61058f848484610afd565b6105e084336105db85604051806060016040528060288152602001611972602891396001600160a01b038a165f908152600260209081526040808320338452909152902054919061125a565b6109da565b5060019392505050565b6006546001600160a01b0316336001600160a01b031614610609575f80fd5b60065460405163a9059cbb60e01b81526001600160a01b039182166004820152602481018390529083169063a9059cbb906044016020604051808303815f875af1158015610659573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061067d919061182a565b505050565b5f546001600160a01b031633146106ab5760405162461bcd60e51b8152600401610460906116dc565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461071c5760405162461bcd60e51b8152600401610460906116dc565b601754600160a01b900460ff16156107765760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610460565b6016546001600160a01b031663f305d71947306107a7816001600160a01b03165f9081526001602052604090205490565b5f806107ba5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610820573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906108459190611849565b505060175460165460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af115801561089a573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108be919061182a565b50601a805461ff0019166101001790556017805460ff60a01b1916600160a01b17905543600755565b5f610500338484610afd565b5f546001600160a01b0316331461091c5760405162461bcd60e51b8152600401610460906116dc565b6001600160a01b0381166109815760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608401610460565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b038316610a3c5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610460565b6001600160a01b038216610a9d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610460565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b615760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610460565b6001600160a01b038216610bc35760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610460565b5f8111610c245760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610460565b5f80546001600160a01b03858116911614801590610c4f57505f546001600160a01b03848116911614155b1561111d57610c806064610c7a600c54600f5411610c6f57600854610c73565b600a545b8590611292565b90611317565b90506007544303610d0a57601954435f9081526005602052604090205410610cea5760405162461bcd60e51b815260206004820181905260248201527f457863656564732062757973206f6e2074686520666972737420626c6f636b2e6044820152606401610460565b435f908152600560205260408120805491610d0483611874565b91905055505b6001600160a01b0384165f9081526004602052604090205460ff168015610d3f57506016546001600160a01b03848116911614155b8015610d6357506001600160a01b0383165f9081526003602052604090205460ff16155b15610e4957601254821115610dba5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610460565b60135482610ddc856001600160a01b03165f9081526001602052604090205490565b610de6919061188c565b1115610e345760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610460565b600f8054905f610e4383611874565b91905055505b6001600160a01b0383165f9081526004602052604090205460ff16158015610e8957506001600160a01b0383165f9081526003602052604090205460ff16155b15610f085760135482610eb0856001600160a01b03165f9081526001602052604090205490565b610eba919061188c565b1115610f085760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610460565b6001600160a01b0383165f9081526004602052604090205460ff168015610f3857506001600160a01b0384163014155b15610f6557610f626064610c7a600d54600f5411610f5857600954610c73565b600b548590611292565b90505b6001600160a01b0384165f9081526004602052604090205460ff16158015610fa557506001600160a01b0383165f9081526004602052604090205460ff16155b8015610fba57506001600160a01b0384163014155b15610fc257505f5b305f90815260016020526040902054601a5460ff16158015610ffb57506001600160a01b0384165f9081526004602052604090205460ff165b801561100e5750601a54610100900460ff165b801561101b575060145481115b801561102a5750600e54600f54115b156110985760115443111561103e575f6010555b6018546010541061104d575f80fd5b61106a6110658461106084601554611358565b611358565b61136c565b47801561107a5761107a476114d3565b60108054905f61108983611874565b9091555050436011555061111b565b601a5460ff161580156110c257506001600160a01b0384165f9081526004602052604090205460ff165b80156110d55750601a54610100900460ff165b80156110e2575060145481115b80156110f15750600e54600f54115b1561111b576111096110658461106084601554611358565b47801561111957611119476114d3565b505b505b801561119557305f9081526001602052604090205461113c908261150e565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061118c9085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111b7908361156c565b6001600160a01b0385165f908152600160205260409020556111fa6111dc838361156c565b6001600160a01b0385165f908152600160205260409020549061150e565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef611243858561156c565b60405190815260200160405180910390a350505050565b5f818484111561127d5760405162461bcd60e51b815260040161046091906115d9565b505f611289848661189f565b95945050505050565b5f825f036112a157505f610504565b5f6112ac8385611813565b9050826112b985836118b2565b146113105760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610460565b9392505050565b5f61131083836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115ad565b5f8183116113665782611310565b50919050565b601a805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106113ac576113ac6118d1565b6001600160a01b03928316602091820292909201810191909152601654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611403573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061142791906118e5565b8160018151811061143a5761143a6118d1565b6001600160a01b03928316602091820292909201015260165461146091309116846109da565b60165460405163791ac94760e01b81526001600160a01b039091169063791ac947906114989085905f90869030904290600401611900565b5f604051808303815f87803b1580156114af575f80fd5b505af11580156114c1573d5f803e3d5ffd5b5050601a805460ff1916905550505050565b6006546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561150a573d5f803e3d5ffd5b5050565b5f8061151a838561188c565b9050838110156113105760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610460565b5f61131083836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061125a565b5f81836115cd5760405162461bcd60e51b815260040161046091906115d9565b505f61128984866118b2565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610580575f80fd5b5f8060408385031215611633575f80fd5b823561163e8161160e565b946020939093013593505050565b5f805f6060848603121561165e575f80fd5b83356116698161160e565b925060208401356116798161160e565b929592945050506040919091013590565b5f6020828403121561169a575f80fd5b81356113108161160e565b5f80604083850312156116b6575f80fd5b82356116c18161160e565b915060208301356116d18161160e565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561175f57815f190482111561174557611745611711565b8085161561175257918102915b93841c939080029061172a565b509250929050565b5f8261177557506001610504565b8161178157505f610504565b816001811461179757600281146117a1576117bd565b6001915050610504565b60ff8411156117b2576117b2611711565b50506001821b610504565b5060208310610133831016604e8410600b84101617156117e0575081810a610504565b6117ea8383611725565b805f19048211156117fd576117fd611711565b029392505050565b5f61131060ff841683611767565b808202811582820484141761050457610504611711565b5f6020828403121561183a575f80fd5b81518015158114611310575f80fd5b5f805f6060848603121561185b575f80fd5b8351925060208401519150604084015190509250925092565b5f6001820161188557611885611711565b5060010190565b8082018082111561050457610504611711565b8181038181111561050457610504611711565b5f826118cc57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f602082840312156118f5575f80fd5b81516113108161160e565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156119505784516001600160a01b03168352938301939183019160010161192b565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122057dcb3fd500bda1feb22bceac30da9968c6002c0e099f3da363fc8a871da469a64736f6c63430008190033

0x608060405260043610610134575f3560e01c8063715018a6116100a857806395d89b411161006d57806395d89b4114610343578063a9059cbb14610372578063bf474bed14610391578063dd62ed3e146103a6578063f2fde38b146103ea578063f5b3c3bf14610409575f80fd5b8063715018a6146102d55780637d1db4a5146102e95780638a8c523c146102fe5780638da5cb5b146103125780638f9a55c01461032e575f80fd5b806320800a00116100f957806320800a00146101fd57806323b872dd14610211578063313ce5671461023057806349bd5a5e1461024b578063573761981461028257806370a08231146102a1575f80fd5b806301ab6ee51461013f57806306fdde0314610155578063095ea7b3146101975780630faee56f146101c657806318160ddd146101e9575f80fd5b3661013b57005b5f80fd5b34801561014a575f80fd5b50610153610437565b005b348015610160575f80fd5b506040805180820190915260088152675472756d7020414960c01b60208201525b60405161018e91906115d9565b60405180910390f35b3480156101a2575f80fd5b506101b66101b1366004611622565b6104f4565b604051901515815260200161018e565b3480156101d1575f80fd5b506101db60155481565b60405190815260200161018e565b3480156101f4575f80fd5b506101db61050a565b348015610208575f80fd5b5061015361052b565b34801561021c575f80fd5b506101b661022b36600461164c565b610583565b34801561023b575f80fd5b506040516009815260200161018e565b348015610256575f80fd5b5060175461026a906001600160a01b031681565b6040516001600160a01b03909116815260200161018e565b34801561028d575f80fd5b5061015361029c366004611622565b6105ea565b3480156102ac575f80fd5b506101db6102bb36600461168a565b6001600160a01b03165f9081526001602052604090205490565b3480156102e0575f80fd5b50610153610682565b3480156102f4575f80fd5b506101db60125481565b348015610309575f80fd5b506101536106f3565b34801561031d575f80fd5b505f546001600160a01b031661026a565b348015610339575f80fd5b506101db60135481565b34801561034e575f80fd5b506040805180820190915260078152665472756d70414960c81b6020820152610181565b34801561037d575f80fd5b506101b661038c366004611622565b6108e7565b34801561039c575f80fd5b506101db60145481565b3480156103b1575f80fd5b506101db6103c03660046116a5565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156103f5575f80fd5b5061015361040436600461168a565b6108f3565b348015610414575f80fd5b506101b661042336600461168a565b60046020525f908152604090205460ff1681565b5f546001600160a01b031633146104695760405162461bcd60e51b8152600401610460906116dc565b60405180910390fd5b6104756009600a611805565b610484906402540be400611813565b6012556104936009600a611805565b6104a2906402540be400611813565b6013557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6104d26009600a611805565b6104e1906402540be400611813565b60405190815260200160405180910390a1565b5f6105003384846109da565b5060015b92915050565b5f6105176009600a611805565b610526906402540be400611813565b905090565b6006546001600160a01b0316336001600160a01b03161461054a575f80fd5b6006546040516001600160a01b03909116904780156108fc02915f818181858888f19350505050158015610580573d5f803e3d5ffd5b50565b5f61058f848484610afd565b6105e084336105db85604051806060016040528060288152602001611972602891396001600160a01b038a165f908152600260209081526040808320338452909152902054919061125a565b6109da565b5060019392505050565b6006546001600160a01b0316336001600160a01b031614610609575f80fd5b60065460405163a9059cbb60e01b81526001600160a01b039182166004820152602481018390529083169063a9059cbb906044016020604051808303815f875af1158015610659573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061067d919061182a565b505050565b5f546001600160a01b031633146106ab5760405162461bcd60e51b8152600401610460906116dc565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461071c5760405162461bcd60e51b8152600401610460906116dc565b601754600160a01b900460ff16156107765760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610460565b6016546001600160a01b031663f305d71947306107a7816001600160a01b03165f9081526001602052604090205490565b5f806107ba5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610820573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906108459190611849565b505060175460165460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af115801561089a573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108be919061182a565b50601a805461ff0019166101001790556017805460ff60a01b1916600160a01b17905543600755565b5f610500338484610afd565b5f546001600160a01b0316331461091c5760405162461bcd60e51b8152600401610460906116dc565b6001600160a01b0381166109815760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608401610460565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b038316610a3c5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610460565b6001600160a01b038216610a9d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610460565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b615760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610460565b6001600160a01b038216610bc35760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610460565b5f8111610c245760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610460565b5f80546001600160a01b03858116911614801590610c4f57505f546001600160a01b03848116911614155b1561111d57610c806064610c7a600c54600f5411610c6f57600854610c73565b600a545b8590611292565b90611317565b90506007544303610d0a57601954435f9081526005602052604090205410610cea5760405162461bcd60e51b815260206004820181905260248201527f457863656564732062757973206f6e2074686520666972737420626c6f636b2e6044820152606401610460565b435f908152600560205260408120805491610d0483611874565b91905055505b6001600160a01b0384165f9081526004602052604090205460ff168015610d3f57506016546001600160a01b03848116911614155b8015610d6357506001600160a01b0383165f9081526003602052604090205460ff16155b15610e4957601254821115610dba5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610460565b60135482610ddc856001600160a01b03165f9081526001602052604090205490565b610de6919061188c565b1115610e345760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610460565b600f8054905f610e4383611874565b91905055505b6001600160a01b0383165f9081526004602052604090205460ff16158015610e8957506001600160a01b0383165f9081526003602052604090205460ff16155b15610f085760135482610eb0856001600160a01b03165f9081526001602052604090205490565b610eba919061188c565b1115610f085760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610460565b6001600160a01b0383165f9081526004602052604090205460ff168015610f3857506001600160a01b0384163014155b15610f6557610f626064610c7a600d54600f5411610f5857600954610c73565b600b548590611292565b90505b6001600160a01b0384165f9081526004602052604090205460ff16158015610fa557506001600160a01b0383165f9081526004602052604090205460ff16155b8015610fba57506001600160a01b0384163014155b15610fc257505f5b305f90815260016020526040902054601a5460ff16158015610ffb57506001600160a01b0384165f9081526004602052604090205460ff165b801561100e5750601a54610100900460ff165b801561101b575060145481115b801561102a5750600e54600f54115b156110985760115443111561103e575f6010555b6018546010541061104d575f80fd5b61106a6110658461106084601554611358565b611358565b61136c565b47801561107a5761107a476114d3565b60108054905f61108983611874565b9091555050436011555061111b565b601a5460ff161580156110c257506001600160a01b0384165f9081526004602052604090205460ff165b80156110d55750601a54610100900460ff165b80156110e2575060145481115b80156110f15750600e54600f54115b1561111b576111096110658461106084601554611358565b47801561111957611119476114d3565b505b505b801561119557305f9081526001602052604090205461113c908261150e565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061118c9085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111b7908361156c565b6001600160a01b0385165f908152600160205260409020556111fa6111dc838361156c565b6001600160a01b0385165f908152600160205260409020549061150e565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef611243858561156c565b60405190815260200160405180910390a350505050565b5f818484111561127d5760405162461bcd60e51b815260040161046091906115d9565b505f611289848661189f565b95945050505050565b5f825f036112a157505f610504565b5f6112ac8385611813565b9050826112b985836118b2565b146113105760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610460565b9392505050565b5f61131083836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115ad565b5f8183116113665782611310565b50919050565b601a805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106113ac576113ac6118d1565b6001600160a01b03928316602091820292909201810191909152601654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611403573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061142791906118e5565b8160018151811061143a5761143a6118d1565b6001600160a01b03928316602091820292909201015260165461146091309116846109da565b60165460405163791ac94760e01b81526001600160a01b039091169063791ac947906114989085905f90869030904290600401611900565b5f604051808303815f87803b1580156114af575f80fd5b505af11580156114c1573d5f803e3d5ffd5b5050601a805460ff1916905550505050565b6006546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561150a573d5f803e3d5ffd5b5050565b5f8061151a838561188c565b9050838110156113105760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610460565b5f61131083836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061125a565b5f81836115cd5760405162461bcd60e51b815260040161046091906115d9565b505f61128984866118b2565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610580575f80fd5b5f8060408385031215611633575f80fd5b823561163e8161160e565b946020939093013593505050565b5f805f6060848603121561165e575f80fd5b83356116698161160e565b925060208401356116798161160e565b929592945050506040919091013590565b5f6020828403121561169a575f80fd5b81356113108161160e565b5f80604083850312156116b6575f80fd5b82356116c18161160e565b915060208301356116d18161160e565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561175f57815f190482111561174557611745611711565b8085161561175257918102915b93841c939080029061172a565b509250929050565b5f8261177557506001610504565b8161178157505f610504565b816001811461179757600281146117a1576117bd565b6001915050610504565b60ff8411156117b2576117b2611711565b50506001821b610504565b5060208310610133831016604e8410600b84101617156117e0575081810a610504565b6117ea8383611725565b805f19048211156117fd576117fd611711565b029392505050565b5f61131060ff841683611767565b808202811582820484141761050457610504611711565b5f6020828403121561183a575f80fd5b81518015158114611310575f80fd5b5f805f6060848603121561185b575f80fd5b8351925060208401519150604084015190509250925092565b5f6001820161188557611885611711565b5060010190565b8082018082111561050457610504611711565b8181038181111561050457610504611711565b5f826118cc57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f602082840312156118f5575f80fd5b81516113108161160e565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156119505784516001600160a01b03168352938301939183019160010161192b565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122057dcb3fd500bda1feb22bceac30da9968c6002c0e099f3da363fc8a871da469a64736f6c63430008190033

4197:8832:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12391:162;;;;;;;;;;;;;:::i;:::-;;6645:83;;;;;;;;;;-1:-1:-1;6715:5:0;;;;;;;;;;;;-1:-1:-1;;;6715:5:0;;;;6645:83;;;;;;;:::i;:::-;;;;;;;;7478:161;;;;;;;;;;-1:-1:-1;7478:161:0;;;;;:::i;:::-;;:::i;:::-;;;1058:14:1;;1051:22;1033:41;;1021:2;1006:18;7478:161:0;893:187:1;5463:53:0;;;;;;;;;;;;;;;;;;;1231:25:1;;;1219:2;1204:18;5463:53:0;1085:177:1;6922:95:0;;;;;;;;;;;;;:::i;12051:146::-;;;;;;;;;;;;;:::i;7647:313::-;;;;;;;;;;-1:-1:-1;7647:313:0;;;;;:::i;:::-;;:::i;6831:83::-;;;;;;;;;;-1:-1:-1;6831:83:0;;5078:1;1870:36:1;;1858:2;1843:18;6831:83:0;1728:184:1;5574:28:0;;;;;;;;;;-1:-1:-1;5574:28:0;;;;-1:-1:-1;;;;;5574:28:0;;;;;;-1:-1:-1;;;;;2081:32:1;;;2063:51;;2051:2;2036:18;5574:28:0;1917:203:1;12205:178:0;;;;;;;;;;-1:-1:-1;12205:178:0;;;;;:::i;:::-;;:::i;7025:119::-;;;;;;;;;;-1:-1:-1;7025:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;7118:18:0;7091:7;7118:18;;;:9;:18;;;;;;;7025:119;3028:148;;;;;;;;;;;;;:::i;5269:57::-;;;;;;;;;;;;;;;;12561:428;;;;;;;;;;;;;:::i;2814:79::-;;;;;;;;;;-1:-1:-1;2852:7:0;2879:6;-1:-1:-1;;;;;2879:6:0;2814:79;;5333:57;;;;;;;;;;;;;;;;6736:87;;;;;;;;;;-1:-1:-1;6808:7:0;;;;;;;;;;;;-1:-1:-1;;;6808:7:0;;;;6736:87;;7152:167;;;;;;;;;;-1:-1:-1;7152:167:0;;;;;:::i;:::-;;:::i;5397:59::-;;;;;;;;;;;;;;;;7327:143;;;;;;;;;;-1:-1:-1;7327:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;7435:18:0;;;7408:7;7435:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7327:143;3184:244;;;;;;;;;;-1:-1:-1;3184:244:0;;;;;:::i;:::-;;:::i;4459:43::-;;;;;;;;;;-1:-1:-1;4459:43:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;12391:162;2941:6;;-1:-1:-1;;;;;2941:6:0;649:10;2941:22;2933:67;;;;-1:-1:-1;;;2933:67:0;;;;;;;:::i;:::-;;;;;;;;;5135:13:::1;5078:1;5135:2;:13;:::i;:::-;5121:27;::::0;:11:::1;:27;:::i;:::-;12447:12;:22:::0;5135:13:::1;5078:1;5135:2;:13;:::i;:::-;5121:27;::::0;:11:::1;:27;:::i;:::-;12480:14;:22:::0;12518:27:::1;5135:13;5078:1;5135:2;:13;:::i;:::-;5121:27;::::0;:11:::1;:27;:::i;:::-;12518;::::0;1231:25:1;;;1219:2;1204:18;12518:27:0::1;;;;;;;12391:162::o:0;7478:161::-;7553:4;7570:39;649:10;7593:7;7602:6;7570:8;:39::i;:::-;-1:-1:-1;7627:4:0;7478:161;;;;;:::o;6922:95::-;6975:7;5135:13;5078:1;5135:2;:13;:::i;:::-;5121:27;;:11;:27;:::i;:::-;6995:14;;6922:95;:::o;12051:146::-;12116:10;;-1:-1:-1;;;;;12116:10:0;649;-1:-1:-1;;;;;12100:26:0;;12092:35;;;;;;12146:10;;12138:51;;-1:-1:-1;;;;;12146:10:0;;;;12167:21;12138:51;;;;;12146:10;12138:51;12146:10;12138:51;12167:21;12146:10;12138:51;;;;;;;;;;;;;;;;;;;;;12051:146::o;7647:313::-;7745:4;7762:36;7772:6;7780:9;7791:6;7762:9;:36::i;:::-;7809:121;7818:6;649:10;7840:89;7878:6;7840:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7840:19:0;;;;;;:11;:19;;;;;;;;649:10;7840:33;;;;;;;;;;:37;:89::i;:::-;7809:8;:121::i;:::-;-1:-1:-1;7948:4:0;7647:313;;;;;:::o;12205:178::-;12305:10;;-1:-1:-1;;;;;12305:10:0;649;-1:-1:-1;;;;;12289:26:0;;12281:35;;;;;;12355:10;;12327:48;;-1:-1:-1;;;12327:48:0;;-1:-1:-1;;;;;12355:10:0;;;12327:48;;;4995:51:1;5062:18;;;5055:34;;;12327:27:0;;;;;;4968:18:1;;12327:48:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;12205:178;;:::o;3028:148::-;2941:6;;-1:-1:-1;;;;;2941:6:0;649:10;2941:22;2933:67;;;;-1:-1:-1;;;2933:67:0;;;;;;;:::i;:::-;3135:1:::1;3119:6:::0;;3098:40:::1;::::0;-1:-1:-1;;;;;3119:6:0;;::::1;::::0;3098:40:::1;::::0;3135:1;;3098:40:::1;3166:1;3149:19:::0;;-1:-1:-1;;;;;;3149:19:0::1;::::0;;3028:148::o;12561:428::-;2941:6;;-1:-1:-1;;;;;2941:6:0;649:10;2941:22;2933:67;;;;-1:-1:-1;;;2933:67:0;;;;;;;:::i;:::-;12627:11:::1;::::0;-1:-1:-1;;;12627:11:0;::::1;;;12626:12;12618:47;;;::::0;-1:-1:-1;;;12618:47:0;;5584:2:1;12618:47:0::1;::::0;::::1;5566:21:1::0;5623:2;5603:18;;;5596:30;5662:25;5642:18;;;5635:53;5705:18;;12618:47:0::1;5382:347:1::0;12618:47:0::1;12676:15;::::0;-1:-1:-1;;;;;12676:15:0::1;:31;12715:21;12746:4;12752:24;12746:4:::0;-1:-1:-1;;;;;7118:18:0;7091:7;7118:18;;;:9;:18;;;;;;;7025:119;12752:24:::1;12777:1;12779::::0;12781:7:::1;2852::::0;2879:6;-1:-1:-1;;;;;2879:6:0;;2814:79;12781:7:::1;12676:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;12676:129:0;;;-1:-1:-1;;;;;6093:15:1;;;12676:129:0::1;::::0;::::1;6075:34:1::0;6125:18;;;6118:34;;;;6168:18;;;6161:34;;;;6211:18;;;6204:34;6275:15;;;6254:19;;;6247:44;12789:15:0::1;6307:19:1::0;;;6300:35;6009:19;;12676:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;12823:13:0::1;::::0;12854:15:::1;::::0;12816:71:::1;::::0;-1:-1:-1;;;12816:71:0;;-1:-1:-1;;;;;12854:15:0;;::::1;12816:71;::::0;::::1;4995:51:1::0;-1:-1:-1;;5062:18:1;;;5055:34;12823:13:0;::::1;::::0;-1:-1:-1;12816:29:0::1;::::0;4968:18:1;;12816:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;12898:11:0::1;:18:::0;;-1:-1:-1;;12898:18:0::1;;;::::0;;12927:11:::1;:18:::0;;-1:-1:-1;;;;12927:18:0::1;-1:-1:-1::0;;;12927:18:0::1;::::0;;12969:12:::1;12956:10;:25:::0;12561:428::o;7152:167::-;7230:4;7247:42;649:10;7271:9;7282:6;7247:9;:42::i;3184:244::-;2941:6;;-1:-1:-1;;;;;2941:6:0;649:10;2941:22;2933:67;;;;-1:-1:-1;;;2933:67:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;3273:22:0;::::1;3265:73;;;::::0;-1:-1:-1;;;3265:73:0;;7138:2:1;3265:73:0::1;::::0;::::1;7120:21:1::0;7177:2;7157:18;;;7150:30;7216:34;7196:18;;;7189:62;-1:-1:-1;;;7267:18:1;;;7260:36;7313:19;;3265:73:0::1;6936:402:1::0;3265:73:0::1;3375:6;::::0;;3354:38:::1;::::0;-1:-1:-1;;;;;3354:38:0;;::::1;::::0;3375:6;::::1;::::0;3354:38:::1;::::0;::::1;3403:6;:17:::0;;-1:-1:-1;;;;;;3403:17:0::1;-1:-1:-1::0;;;;;3403:17:0;;;::::1;::::0;;;::::1;::::0;;3184:244::o;7968:335::-;-1:-1:-1;;;;;8061:19:0;;8053:68;;;;-1:-1:-1;;;8053:68:0;;7545:2:1;8053:68:0;;;7527:21:1;7584:2;7564:18;;;7557:30;7623:34;7603:18;;;7596:62;-1:-1:-1;;;7674:18:1;;;7667:34;7718:19;;8053:68:0;7343:400:1;8053:68:0;-1:-1:-1;;;;;8140:21:0;;8132:68;;;;-1:-1:-1;;;8132:68:0;;7950:2:1;8132:68:0;;;7932:21:1;7989:2;7969:18;;;7962:30;8028:34;8008:18;;;8001:62;-1:-1:-1;;;8079:18:1;;;8072:32;8121:19;;8132:68:0;7748:398:1;8132:68:0;-1:-1:-1;;;;;8211:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8263:32;;1231:25:1;;;8263:32:0;;1204:18:1;8263:32:0;;;;;;;7968:335;;;:::o;8311:3033::-;-1:-1:-1;;;;;8399:18:0;;8391:68;;;;-1:-1:-1;;;8391:68:0;;8353:2:1;8391:68:0;;;8335:21:1;8392:2;8372:18;;;8365:30;8431:34;8411:18;;;8404:62;-1:-1:-1;;;8482:18:1;;;8475:35;8527:19;;8391:68:0;8151:401:1;8391:68:0;-1:-1:-1;;;;;8478:16:0;;8470:64;;;;-1:-1:-1;;;8470:64:0;;8759:2:1;8470:64:0;;;8741:21:1;8798:2;8778:18;;;8771:30;8837:34;8817:18;;;8810:62;-1:-1:-1;;;8888:18:1;;;8881:33;8931:19;;8470:64:0;8557:399:1;8470:64:0;8562:1;8553:6;:10;8545:64;;;;-1:-1:-1;;;8545:64:0;;9163:2:1;8545:64:0;;;9145:21:1;9202:2;9182:18;;;9175:30;9241:34;9221:18;;;9214:62;-1:-1:-1;;;9292:18:1;;;9285:39;9341:19;;8545:64:0;8961:405:1;8545:64:0;8620:17;2879:6;;-1:-1:-1;;;;;8656:15:0;;;2879:6;;8656:15;;;;:32;;-1:-1:-1;2852:7:0;2879:6;-1:-1:-1;;;;;8675:13:0;;;2879:6;;8675:13;;8656:32;8652:2336;;;8717:79;8792:3;8717:70;8740:15;;8729:9;;:26;8728:58;;8772:14;;8728:58;;;8758:12;;8728:58;8717:6;;:10;:70::i;:::-;:74;;:79::i;:::-;8705:91;;8832:10;;8816:12;:26;8813:196;;8897:14;;8881:12;8869:25;;;;:11;:25;;;;;;:42;8861:87;;;;-1:-1:-1;;;8861:87:0;;9573:2:1;8861:87:0;;;9555:21:1;;;9592:18;;;9585:30;9651:34;9631:18;;;9624:62;9703:18;;8861:87:0;9371:356:1;8861:87:0;8978:12;8966:25;;;;:11;:25;;;;;:27;;;;;;:::i;:::-;;;;;;8813:196;-1:-1:-1;;;;;9029:16:0;;;;;;:10;:16;;;;;;;;:50;;;;-1:-1:-1;9063:15:0;;-1:-1:-1;;;;;9049:30:0;;;9063:15;;9049:30;;9029:50;:67;;;;-1:-1:-1;;;;;;9085:11:0;;;;;;:7;:11;;;;;;;;9083:13;9029:67;9025:297;;;9136:12;;9126:6;:22;;9118:60;;;;-1:-1:-1;;;9118:60:0;;10074:2:1;9118:60:0;;;10056:21:1;10113:2;10093:18;;;10086:30;10152:27;10132:18;;;10125:55;10197:18;;9118:60:0;9872:349:1;9118:60:0;9231:14;;9221:6;9205:13;9215:2;-1:-1:-1;;;;;7118:18:0;7091:7;7118:18;;;:9;:18;;;;;;;7025:119;9205:13;:22;;;;:::i;:::-;:40;;9197:79;;;;-1:-1:-1;;;9197:79:0;;10558:2:1;9197:79:0;;;10540:21:1;10597:2;10577:18;;;10570:30;10636:28;10616:18;;;10609:56;10682:18;;9197:79:0;10356:350:1;9197:79:0;9295:9;:11;;;:9;:11;;;:::i;:::-;;;;;;9025:297;-1:-1:-1;;;;;9343:14:0;;;;;;:10;:14;;;;;;;;9342:15;:32;;;;-1:-1:-1;;;;;;9363:11:0;;;;;;:7;:11;;;;;;;;9361:13;9342:32;9338:152;;;9429:14;;9419:6;9403:13;9413:2;-1:-1:-1;;;;;7118:18:0;7091:7;7118:18;;;:9;:18;;;;;;;7025:119;9403:13;:22;;;;:::i;:::-;:40;;9395:79;;;;-1:-1:-1;;;9395:79:0;;10558:2:1;9395:79:0;;;10540:21:1;10597:2;10577:18;;;10570:30;10636:28;10616:18;;;10609:56;10682:18;;9395:79:0;10356:350:1;9395:79:0;-1:-1:-1;;;;;9509:14:0;;;;;;:10;:14;;;;;;;;:38;;;;-1:-1:-1;;;;;;9527:20:0;;9542:4;9527:20;;9509:38;9506:172;;;9580:82;9658:3;9580:73;9603:16;;9592:9;;:27;9591:61;;9637:15;;9591:61;;;9622:13;;9580:6;;:10;:73::i;:82::-;9568:94;;9506:172;-1:-1:-1;;;;;9695:16:0;;;;;;:10;:16;;;;;;;;9694:17;:36;;;;-1:-1:-1;;;;;;9716:14:0;;;;;;:10;:14;;;;;;;;9715:15;9694:36;:60;;;;-1:-1:-1;;;;;;9734:20:0;;9749:4;9734:20;;9694:60;9690:115;;;-1:-1:-1;9788:1:0;9690:115;9870:4;9821:28;7118:18;;;:9;:18;;;;;;9896:6;;;;9895:7;:25;;;;-1:-1:-1;;;;;;9906:14:0;;;;;;:10;:14;;;;;;;;9895:25;:40;;;;-1:-1:-1;9924:11:0;;;;;;;9895:40;:82;;;;;9960:17;;9939:20;:38;9895:82;:114;;;;;9991:18;;9981:9;;:28;9895:114;9891:1086;;;10049:13;;10034:12;:28;10030:90;;;10099:1;10087:9;:13;10030:90;10158:13;;10146:9;;:25;10138:34;;;;;;10191:67;10208:49;10212:6;10219:37;10223:20;10244:11;;10219:3;:37::i;:::-;10208:3;:49::i;:::-;10191:16;:67::i;:::-;10306:21;10349:22;;10346:105;;10396:35;10409:21;10396:12;:35::i;:::-;10469:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;10515:12:0;10499:13;:28;-1:-1:-1;9891:1086:0;;;10568:6;;;;10567:7;:25;;;;-1:-1:-1;;;;;;10578:14:0;;;;;;:10;:14;;;;;;;;10567:25;:40;;;;-1:-1:-1;10596:11:0;;;;;;;10567:40;:82;;;;;10632:17;;10611:20;:38;10567:82;:114;;;;;10663:18;;10653:9;;:28;10567:114;10564:413;;;10702:67;10719:49;10723:6;10730:37;10734:20;10755:11;;10730:3;:37::i;10702:67::-;10817:21;10860:22;;10857:105;;10907:35;10920:21;10907:12;:35::i;:::-;10683:294;10564:413;8690:2298;8652:2336;11003:11;;11000:161;;11071:4;11053:24;;;;:9;:24;;;;;;:39;;11082:9;11053:28;:39::i;:::-;11046:4;11028:24;;;;:9;:24;;;;;;;:64;;;;11110:39;;-1:-1:-1;;;;;11110:39:0;;;;;;;11139:9;1231:25:1;;1219:2;1204:18;;1085:177;11110:39:0;;;;;;;;11000:161;-1:-1:-1;;;;;11187:15:0;;;;;;:9;:15;;;;;;:27;;11207:6;11187:19;:27::i;:::-;-1:-1:-1;;;;;11171:15:0;;;;;;:9;:15;;;;;:43;11239:40;11257:21;:6;11268:9;11257:10;:21::i;:::-;-1:-1:-1;;;;;11239:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;11225:13:0;;;;;;;:9;:13;;;;;:54;;;;11295:41;;;11314:21;:6;11325:9;11314:10;:21::i;:::-;11295:41;;1231:25:1;;;1219:2;1204:18;11295:41:0;;;;;;;8380:2964;8311:3033;;;:::o;1706:190::-;1792:7;1828:12;1820:6;;;;1812:29;;;;-1:-1:-1;;;1812:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1852:9:0;1864:5;1868:1;1864;:5;:::i;:::-;1852:17;1706:190;-1:-1:-1;;;;;1706:190:0:o;1904:246::-;1962:7;1986:1;1991;1986:6;1982:47;;-1:-1:-1;2016:1:0;2009:8;;1982:47;2039:9;2051:5;2055:1;2051;:5;:::i;:::-;2039:17;-1:-1:-1;2084:1:0;2075:5;2079:1;2039:17;2075:5;:::i;:::-;:10;2067:56;;;;-1:-1:-1;;;2067:56:0;;11268:2:1;2067:56:0;;;11250:21:1;11307:2;11287:18;;;11280:30;11346:34;11326:18;;;11319:62;-1:-1:-1;;;11397:18:1;;;11390:31;11438:19;;2067:56:0;11066:397:1;2067:56:0;2141:1;1904:246;-1:-1:-1;;;1904:246:0:o;2158:132::-;2216:7;2243:39;2247:1;2250;2243:39;;;;;;;;;;;;;;;;;:3;:39::i;11354:98::-;11411:7;11438:1;11436;:3;11435:9;;11443:1;11435:9;;;-1:-1:-1;11441:1:0;11354:98;-1:-1:-1;11354:98:0:o;11460:483::-;5879:6;:13;;-1:-1:-1;;5879:13:0;5888:4;5879:13;;;11562:16:::1;::::0;;11576:1:::1;11562:16:::0;;;;;::::1;::::0;;-1:-1:-1;;11562:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;11562:16:0::1;11538:40;;11607:4;11589;11594:1;11589:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11589:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;11633:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;11633:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;11589:7;;11633:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11623:4;11628:1;11623:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11623:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;11698:15:::1;::::0;11666:62:::1;::::0;11683:4:::1;::::0;11698:15:::1;11716:11:::0;11666:8:::1;:62::i;:::-;11739:15;::::0;:196:::1;::::0;-1:-1:-1;;;11739:196:0;;-1:-1:-1;;;;;11739:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;11820:11;;11739:15:::1;::::0;11862:4;;11889::::1;::::0;11909:15:::1;::::0;11739:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5915:6:0;:14;;-1:-1:-1;;5915:14:0;;;-1:-1:-1;;;;11460:483:0:o;11951:92::-;12008:10;;:27;;-1:-1:-1;;;;;12008:10:0;;;;:27;;;;;12028:6;;12008:10;:27;:10;:27;12028:6;12008:10;:27;;;;;;;;;;;;;;;;;;;;;11951:92;:::o;1375:179::-;1433:7;;1465:5;1469:1;1465;:5;:::i;:::-;1453:17;;1494:1;1489;:6;;1481:46;;;;-1:-1:-1;;;1481:46:0;;13175:2:1;1481:46:0;;;13157:21:1;13214:2;13194:18;;;13187:30;13253:29;13233:18;;;13226:57;13300:18;;1481:46:0;12973:351:1;1562:136:0;1620:7;1647:43;1651:1;1654;1647:43;;;;;;;;;;;;;;;;;:3;:43::i;2298:189::-;2384:7;2419:12;2412:5;2404:28;;;;-1:-1:-1;;;2404:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2443:9:0;2455:5;2459:1;2455;:5;:::i;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:131::-;-1:-1:-1;;;;;512:31:1;;502:42;;492:70;;558:1;555;548:12;573:315;641:6;649;702:2;690:9;681:7;677:23;673:32;670:52;;;718:1;715;708:12;670:52;757:9;744:23;776:31;801:5;776:31;:::i;:::-;826:5;878:2;863:18;;;;850:32;;-1:-1:-1;;;573:315:1:o;1267:456::-;1344:6;1352;1360;1413:2;1401:9;1392:7;1388:23;1384:32;1381:52;;;1429:1;1426;1419:12;1381:52;1468:9;1455:23;1487:31;1512:5;1487:31;:::i;:::-;1537:5;-1:-1:-1;1594:2:1;1579:18;;1566:32;1607:33;1566:32;1607:33;:::i;:::-;1267:456;;1659:7;;-1:-1:-1;;;1713:2:1;1698:18;;;;1685:32;;1267:456::o;2125:247::-;2184:6;2237:2;2225:9;2216:7;2212:23;2208:32;2205:52;;;2253:1;2250;2243:12;2205:52;2292:9;2279:23;2311:31;2336:5;2311:31;:::i;2377:388::-;2445:6;2453;2506:2;2494:9;2485:7;2481:23;2477:32;2474:52;;;2522:1;2519;2512:12;2474:52;2561:9;2548:23;2580:31;2605:5;2580:31;:::i;:::-;2630:5;-1:-1:-1;2687:2:1;2672:18;;2659:32;2700:33;2659:32;2700:33;:::i;:::-;2752:7;2742:17;;;2377:388;;;;;:::o;2770:356::-;2972:2;2954:21;;;2991:18;;;2984:30;3050:34;3045:2;3030:18;;3023:62;3117:2;3102:18;;2770:356::o;3131:127::-;3192:10;3187:3;3183:20;3180:1;3173:31;3223:4;3220:1;3213:15;3247:4;3244:1;3237:15;3263:416;3352:1;3389:5;3352:1;3403:270;3424:7;3414:8;3411:21;3403:270;;;3483:4;3479:1;3475:6;3471:17;3465:4;3462:27;3459:53;;;3492:18;;:::i;:::-;3542:7;3532:8;3528:22;3525:55;;;3562:16;;;;3525:55;3641:22;;;;3601:15;;;;3403:270;;;3407:3;3263:416;;;;;:::o;3684:806::-;3733:5;3763:8;3753:80;;-1:-1:-1;3804:1:1;3818:5;;3753:80;3852:4;3842:76;;-1:-1:-1;3889:1:1;3903:5;;3842:76;3934:4;3952:1;3947:59;;;;4020:1;4015:130;;;;3927:218;;3947:59;3977:1;3968:10;;3991:5;;;4015:130;4052:3;4042:8;4039:17;4036:43;;;4059:18;;:::i;:::-;-1:-1:-1;;4115:1:1;4101:16;;4130:5;;3927:218;;4229:2;4219:8;4216:16;4210:3;4204:4;4201:13;4197:36;4191:2;4181:8;4178:16;4173:2;4167:4;4164:12;4160:35;4157:77;4154:159;;;-1:-1:-1;4266:19:1;;;4298:5;;4154:159;4345:34;4370:8;4364:4;4345:34;:::i;:::-;4415:6;4411:1;4407:6;4403:19;4394:7;4391:32;4388:58;;;4426:18;;:::i;:::-;4464:20;;3684:806;-1:-1:-1;;;3684:806:1:o;4495:140::-;4553:5;4582:47;4623:4;4613:8;4609:19;4603:4;4582:47;:::i;4640:168::-;4713:9;;;4744;;4761:15;;;4755:22;;4741:37;4731:71;;4782:18;;:::i;5100:277::-;5167:6;5220:2;5208:9;5199:7;5195:23;5191:32;5188:52;;;5236:1;5233;5226:12;5188:52;5268:9;5262:16;5321:5;5314:13;5307:21;5300:5;5297:32;5287:60;;5343:1;5340;5333:12;6346:306;6434:6;6442;6450;6503:2;6491:9;6482:7;6478:23;6474:32;6471:52;;;6519:1;6516;6509:12;6471:52;6548:9;6542:16;6532:26;;6598:2;6587:9;6583:18;6577:25;6567:35;;6642:2;6631:9;6627:18;6621:25;6611:35;;6346:306;;;;;:::o;9732:135::-;9771:3;9792:17;;;9789:43;;9812:18;;:::i;:::-;-1:-1:-1;9859:1:1;9848:13;;9732:135::o;10226:125::-;10291:9;;;10312:10;;;10309:36;;;10325:18;;:::i;10711:128::-;10778:9;;;10799:11;;;10796:37;;;10813:18;;:::i;10844:217::-;10884:1;10910;10900:132;;10954:10;10949:3;10945:20;10942:1;10935:31;10989:4;10986:1;10979:15;11017:4;11014:1;11007:15;10900:132;-1:-1:-1;11046:9:1;;10844:217::o;11600:127::-;11661:10;11656:3;11652:20;11649:1;11642:31;11692:4;11689:1;11682:15;11716:4;11713:1;11706:15;11732:251;11802:6;11855:2;11843:9;11834:7;11830:23;11826:32;11823:52;;;11871:1;11868;11861:12;11823:52;11903:9;11897:16;11922:31;11947:5;11922:31;:::i;11988:980::-;12250:4;12298:3;12287:9;12283:19;12329:6;12318:9;12311:25;12355:2;12393:6;12388:2;12377:9;12373:18;12366:34;12436:3;12431:2;12420:9;12416:18;12409:31;12460:6;12495;12489:13;12526:6;12518;12511:22;12564:3;12553:9;12549:19;12542:26;;12603:2;12595:6;12591:15;12577:29;;12624:1;12634:195;12648:6;12645:1;12642:13;12634:195;;;12713:13;;-1:-1:-1;;;;;12709:39:1;12697:52;;12804:15;;;;12769:12;;;;12745:1;12663:9;12634:195;;;-1:-1:-1;;;;;;;12885:32:1;;;;12880:2;12865:18;;12858:60;-1:-1:-1;;;12949:3:1;12934:19;12927:35;12846:3;11988:980;-1:-1:-1;;;11988:980:1:o

ipfs://57dcb3fd500bda1feb22bceac30da9968c6002c0e099f3da363fc8a871da469a