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 PonziInu is Context, IERC ... *    - 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 setCooldownEnabled(bool onof ...    - function tokenFromReflection(uint256 ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function swapTokensForEth(uint256 tok ...    - function removeLimits()    - function sendETHToFee(uint256 amount)    - function addBots(address[] memory bot ...    - function delBots(address[] memory not ...    - function openTrading()    - function _tokenTransfer(address sende ...    - function _transferStandard(address se ...    - function _takeTeam(uint256 tTeam)    - function _reflectFee(uint256 rFee, ui ...    - function manualswap()    - function manualsend()    - function _getValues(uint256 tAmount)    - function _getTValues(uint256 tAmount, ...    - function _getRValues(uint256 tAmount, ...    - function _getRate()    - function _getCurrentSupply()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-08-17
*/

// SPDX-License-Identifier: MIT
/**
TG https://t.me/ponziinu
**/
pragma solidity 0.8.16;

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;
    address private _previousOwner;
    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 PonziInu is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _rOwned;
    mapping (address => uint256) private _tOwned;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    mapping (address => bool) private bots;
    mapping (address => uint) private cooldown;
    uint256 private constant MAX = ~uint256(0);
    uint256 private constant _tTotal = 20_000_000 * 10**8;
    uint256 private _rTotal = (MAX - (MAX % _tTotal));
    uint256 private _tFeeTotal;

    uint256 private _feeAddr1;
    uint256 private _feeAddr2;
    uint256 private _initialTax;
    uint256 private _finalTax;
    uint256 private _reduceTaxCountdown;
    address payable private _feeAddrWallet;

    string private constant _name = "Ponzi Inu";
    string private constant _symbol = "PONZI";
    uint8 private constant _decimals = 8;

    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    bool private cooldownEnabled = false;
    uint256 public _maxTxAmount = 300_000 * 10**8;
    uint256 public _maxWalletSize = 300_000 * 10**8;
    event MaxTxAmountUpdated(uint _maxTxAmount);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () {
        _feeAddrWallet = payable(_msgSender());
        _rOwned[_msgSender()] = _rTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_feeAddrWallet] = true;
        _initialTax=7;
        _finalTax=3;
        _reduceTaxCountdown=60;

        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 tokenFromReflection(_rOwned[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 setCooldownEnabled(bool onoff) external onlyOwner() {
        cooldownEnabled = onoff;
    }

    function tokenFromReflection(uint256 rAmount) private view returns(uint256) {
        require(rAmount <= _rTotal, "Amount must be less than total reflections");
        uint256 currentRate =  _getRate();
        return rAmount.div(currentRate);
    }

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


        if (from != owner() && to != owner()) {
            require(!bots[from] && !bots[to]);
            _feeAddr1 = 0;
            _feeAddr2 = (_reduceTaxCountdown==0)?_finalTax:_initialTax;
            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _isExcludedFromFee[to] && cooldownEnabled) {
                // Cooldown
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
                if(_reduceTaxCountdown>0){_reduceTaxCountdown--;}
            }


            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && from != uniswapV2Pair && swapEnabled && contractTokenBalance>0 && _reduceTaxCountdown<30) {
                swapTokensForEth(contractTokenBalance);
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }else{
          _feeAddr1 = 0;
          _feeAddr2 = 0;
        }

        _tokenTransfer(from,to,amount);
    }

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

    function sendETHToFee(uint256 amount) private {
        _feeAddrWallet.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) external {
      require(_msgSender()==_feeAddrWallet);
      for (uint i = 0; i < notbot.length; i++) {
          bots[notbot[i]] = false;
      }

    }

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

        tradingOpen = true;
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
    }

    function _tokenTransfer(address sender, address recipient, uint256 amount) private {
        _transferStandard(sender, recipient, amount);
    }

    function _transferStandard(address sender, address recipient, uint256 tAmount) private {
        (uint256 rAmount, uint256 rTransferAmount, uint256 rFee, uint256 tTransferAmount, uint256 tFee, uint256 tTeam) = _getValues(tAmount);
        _rOwned[sender] = _rOwned[sender].sub(rAmount);
        _rOwned[recipient] = _rOwned[recipient].add(rTransferAmount);
        _takeTeam(tTeam);
        _reflectFee(rFee, tFee);
        emit Transfer(sender, recipient, tTransferAmount);
    }

    function _takeTeam(uint256 tTeam) private {
        uint256 currentRate =  _getRate();
        uint256 rTeam = tTeam.mul(currentRate);
        _rOwned[address(this)] = _rOwned[address(this)].add(rTeam);
    }

    function _reflectFee(uint256 rFee, uint256 tFee) private {
        _rTotal = _rTotal.sub(rFee);
        _tFeeTotal = _tFeeTotal.add(tFee);
    }

    receive() external payable {}

    function manualswap() external {
        require(_msgSender() == _feeAddrWallet);
        uint256 contractBalance = balanceOf(address(this));
        swapTokensForEth(contractBalance);
    }

    function manualsend() external {
        require(_msgSender() == _feeAddrWallet);
        uint256 contractETHBalance = address(this).balance;
        sendETHToFee(contractETHBalance);
    }


    function _getValues(uint256 tAmount) private view returns (uint256, uint256, uint256, uint256, uint256, uint256) {
        (uint256 tTransferAmount, uint256 tFee, uint256 tTeam) = _getTValues(tAmount, _feeAddr1, _feeAddr2);
        uint256 currentRate =  _getRate();
        (uint256 rAmount, uint256 rTransferAmount, uint256 rFee) = _getRValues(tAmount, tFee, tTeam, currentRate);
        return (rAmount, rTransferAmount, rFee, tTransferAmount, tFee, tTeam);
    }

    function _getTValues(uint256 tAmount, uint256 taxFee, uint256 TeamFee) private pure returns (uint256, uint256, uint256) {
        uint256 tFee = tAmount.mul(taxFee).div(100);
        uint256 tTeam = tAmount.mul(TeamFee).div(100);
        uint256 tTransferAmount = tAmount.sub(tFee).sub(tTeam);
        return (tTransferAmount, tFee, tTeam);
    }

    function _getRValues(uint256 tAmount, uint256 tFee, uint256 tTeam, uint256 currentRate) private pure returns (uint256, uint256, uint256) {
        uint256 rAmount = tAmount.mul(currentRate);
        uint256 rFee = tFee.mul(currentRate);
        uint256 rTeam = tTeam.mul(currentRate);
        uint256 rTransferAmount = rAmount.sub(rFee).sub(rTeam);
        return (rAmount, rTransferAmount, rFee);
    }

	function _getRate() private view returns(uint256) {
        (uint256 rSupply, uint256 tSupply) = _getCurrentSupply();
        return rSupply.div(tSupply);
    }

    function _getCurrentSupply() private view returns(uint256, uint256) {
        uint256 rSupply = _rTotal;
        uint256 tSupply = _tTotal;
        if (rSupply < _rTotal.div(_tTotal)) return (_rTotal, _tTotal);
        return (rSupply, tSupply);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address[]","name":"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":[],"name":"manualsend","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":"bool","name":"onoff","type":"bool"}],"name":"setCooldownEnabled","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"}]

60806040526200001966071afd498d0000600019620001a0565b6200002790600019620001c3565b6008556011805462ffffff60a81b19169055651b48eb57e00060128190556013553480156200005557600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600f80546001600160a01b03191633908117909155600854600091825260026020526040822055600190600590620000d76000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff199687161790553081526005909352818320805485166001908117909155600f549091168352912080549092161790556007600c556003600d55603c600e55620001453390565b6001600160a01b031660006001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef66071afd498d00006040516200019291815260200190565b60405180910390a3620001eb565b600082620001be57634e487b7160e01b600052601260045260246000fd5b500690565b81810381811115620001e557634e487b7160e01b600052601160045260246000fd5b92915050565b611a7d80620001fb6000396000f3fe6080604052600436106101235760003560e01c8063751039fc116100a0578063a9059cbb11610064578063a9059cbb14610326578063c3c8cd8014610346578063c9567bf91461035b578063d34628cc14610370578063dd62ed3e1461039057600080fd5b8063751039fc1461028f5780637d1db4a5146102a45780638da5cb5b146102ba5780638f9a55c0146102e257806395d89b41146102f857600080fd5b806331c2d847116100e757806331c2d847146102035780635932ead1146102255780636fc3eaec1461024557806370a082311461025a578063715018a61461027a57600080fd5b806306fdde031461012f578063095ea7b31461017357806318160ddd146101a357806323b872dd146101c7578063313ce567146101e757600080fd5b3661012a57005b600080fd5b34801561013b57600080fd5b50604080518082019091526009815268506f6e7a6920496e7560b81b60208201525b60405161016a9190611612565b60405180910390f35b34801561017f57600080fd5b5061019361018e366004611685565b6103d6565b604051901515815260200161016a565b3480156101af57600080fd5b5066071afd498d00005b60405190815260200161016a565b3480156101d357600080fd5b506101936101e23660046116b1565b6103ed565b3480156101f357600080fd5b506040516008815260200161016a565b34801561020f57600080fd5b5061022361021e366004611708565b610456565b005b34801561023157600080fd5b506102236102403660046117db565b6104e2565b34801561025157600080fd5b50610223610533565b34801561026657600080fd5b506101b96102753660046117f8565b610560565b34801561028657600080fd5b50610223610582565b34801561029b57600080fd5b506102236105f6565b3480156102b057600080fd5b506101b960125481565b3480156102c657600080fd5b506000546040516001600160a01b03909116815260200161016a565b3480156102ee57600080fd5b506101b960135481565b34801561030457600080fd5b50604080518082019091526005815264504f4e5a4960d81b602082015261015d565b34801561033257600080fd5b50610193610341366004611685565b610632565b34801561035257600080fd5b5061022361063f565b34801561036757600080fd5b50610223610675565b34801561037c57600080fd5b5061022361038b366004611708565b6109df565b34801561039c57600080fd5b506101b96103ab366004611815565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b60006103e3338484610a71565b5060015b92915050565b60006103fa848484610b95565b61044c843361044785604051806060016040528060288152602001611a20602891396001600160a01b038a1660009081526004602090815260408083203384529091529020549190610f3a565b610a71565b5060019392505050565b600f546001600160a01b0316336001600160a01b03161461047657600080fd5b60005b81518110156104de5760006006600084848151811061049a5761049a61184e565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff1916911515919091179055806104d68161187a565b915050610479565b5050565b6000546001600160a01b031633146105155760405162461bcd60e51b815260040161050c90611893565b60405180910390fd5b60118054911515600160b81b0260ff60b81b19909216919091179055565b600f546001600160a01b0316336001600160a01b03161461055357600080fd5b4761055d81610f74565b50565b6001600160a01b0381166000908152600260205260408120546103e790610fae565b6000546001600160a01b031633146105ac5760405162461bcd60e51b815260040161050c90611893565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146106205760405162461bcd60e51b815260040161050c90611893565b66071afd498d00006012819055601355565b60006103e3338484610b95565b600f546001600160a01b0316336001600160a01b03161461065f57600080fd5b600061066a30610560565b905061055d81611032565b6000546001600160a01b0316331461069f5760405162461bcd60e51b815260040161050c90611893565b601154600160a01b900460ff16156106f95760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161050c565b601080546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d908117909155610734308266071afd498d0000610a71565b806001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610772573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061079691906118c8565b6001600160a01b031663c9c6539630836001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107e3573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061080791906118c8565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610854573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061087891906118c8565b601180546001600160a01b0319166001600160a01b039283161790556010541663f305d71947306108a881610560565b6000806108bd6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610925573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061094a91906118e5565b50506011805463ffff00ff60a01b198116630101000160a01b1790915560105460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af11580156109bb573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906104de9190611913565b6000546001600160a01b03163314610a095760405162461bcd60e51b815260040161050c90611893565b60005b81518110156104de57600160066000848481518110610a2d57610a2d61184e565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff191691151591909117905580610a698161187a565b915050610a0c565b6001600160a01b038316610ad35760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161050c565b6001600160a01b038216610b345760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161050c565b6001600160a01b0383811660008181526004602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610bf95760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161050c565b6001600160a01b038216610c5b5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161050c565b60008111610cbd5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161050c565b6000546001600160a01b03848116911614801590610ce957506000546001600160a01b03838116911614155b15610f1f576001600160a01b03831660009081526006602052604090205460ff16158015610d3057506001600160a01b03821660009081526006602052604090205460ff16155b610d3957600080fd5b6000600a55600e5415610d4e57600c54610d52565b600d545b600b556011546001600160a01b038481169116148015610d8057506010546001600160a01b03838116911614155b8015610da557506001600160a01b03821660009081526005602052604090205460ff16155b8015610dba5750601154600160b81b900460ff165b15610e9457601254811115610e115760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161050c565b60135481610e1e84610560565b610e289190611930565b1115610e765760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161050c565b600e5415610e9457600e8054906000610e8e83611943565b91905055505b6000610e9f30610560565b601154909150600160a81b900460ff16158015610eca57506011546001600160a01b03858116911614155b8015610edf5750601154600160b01b900460ff165b8015610eeb5750600081115b8015610ef95750601e600e54105b15610f1957610f0781611032565b478015610f1757610f1747610f74565b505b50610f2a565b6000600a819055600b555b610f358383836111ac565b505050565b60008184841115610f5e5760405162461bcd60e51b815260040161050c9190611612565b506000610f6b848661195a565b95945050505050565b600f546040516001600160a01b039091169082156108fc029083906000818181858888f193505050501580156104de573d6000803e3d6000fd5b60006008548211156110155760405162461bcd60e51b815260206004820152602a60248201527f416d6f756e74206d757374206265206c657373207468616e20746f74616c207260448201526965666c656374696f6e7360b01b606482015260840161050c565b600061101f6111b7565b905061102b83826111da565b9392505050565b6011805460ff60a81b1916600160a81b179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061107a5761107a61184e565b6001600160a01b03928316602091820292909201810191909152601054604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156110d3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906110f791906118c8565b8160018151811061110a5761110a61184e565b6001600160a01b0392831660209182029290920101526010546111309130911684610a71565b60105460405163791ac94760e01b81526001600160a01b039091169063791ac9479061116990859060009086903090429060040161196d565b600060405180830381600087803b15801561118357600080fd5b505af1158015611197573d6000803e3d6000fd5b50506011805460ff60a81b1916905550505050565b610f3583838361121c565b60008060006111c4611313565b90925090506111d382826111da565b9250505090565b600061102b83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611351565b60008060008060008061122e8761137f565b6001600160a01b038f16600090815260026020526040902054959b5093995091975095509350915061126090876113dc565b6001600160a01b03808b1660009081526002602052604080822093909355908a168152205461128f908661141e565b6001600160a01b0389166000908152600260205260409020556112b18161147d565b6112bb84836114c7565b876001600160a01b0316896001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405161130091815260200190565b60405180910390a3505050505050505050565b600854600090819066071afd498d000061132d82826111da565b8210156113485750506008549266071afd498d000092509050565b90939092509050565b600081836113725760405162461bcd60e51b815260040161050c9190611612565b506000610f6b84866119de565b600080600080600080600080600061139c8a600a54600b546114eb565b92509250925060006113ac6111b7565b905060008060006113bf8e878787611540565b919e509c509a509598509396509194505050505091939550919395565b600061102b83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610f3a565b60008061142b8385611930565b90508381101561102b5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161050c565b60006114876111b7565b905060006114958383611590565b306000908152600260205260409020549091506114b2908261141e565b30600090815260026020526040902055505050565b6008546114d490836113dc565b6008556009546114e4908261141e565b6009555050565b600080808061150560646114ff8989611590565b906111da565b9050600061151860646114ff8a89611590565b905060006115308261152a8b866113dc565b906113dc565b9992985090965090945050505050565b600080808061154f8886611590565b9050600061155d8887611590565b9050600061156b8888611590565b9050600061157d8261152a86866113dc565b939b939a50919850919650505050505050565b6000826000036115a2575060006103e7565b60006115ae8385611a00565b9050826115bb85836119de565b1461102b5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161050c565b600060208083528351808285015260005b8181101561163f57858101830151858201604001528201611623565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461055d57600080fd5b803561168081611660565b919050565b6000806040838503121561169857600080fd5b82356116a381611660565b946020939093013593505050565b6000806000606084860312156116c657600080fd5b83356116d181611660565b925060208401356116e181611660565b929592945050506040919091013590565b634e487b7160e01b600052604160045260246000fd5b6000602080838503121561171b57600080fd5b823567ffffffffffffffff8082111561173357600080fd5b818501915085601f83011261174757600080fd5b813581811115611759576117596116f2565b8060051b604051601f19603f8301168101818110858211171561177e5761177e6116f2565b60405291825284820192508381018501918883111561179c57600080fd5b938501935b828510156117c1576117b285611675565b845293850193928501926117a1565b98975050505050505050565b801515811461055d57600080fd5b6000602082840312156117ed57600080fd5b813561102b816117cd565b60006020828403121561180a57600080fd5b813561102b81611660565b6000806040838503121561182857600080fd5b823561183381611660565b9150602083013561184381611660565b809150509250929050565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b60006001820161188c5761188c611864565b5060010190565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6000602082840312156118da57600080fd5b815161102b81611660565b6000806000606084860312156118fa57600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561192557600080fd5b815161102b816117cd565b808201808211156103e7576103e7611864565b60008161195257611952611864565b506000190190565b818103818111156103e7576103e7611864565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119bd5784516001600160a01b031683529383019391830191600101611998565b50506001600160a01b03969096166060850152505050608001529392505050565b6000826119fb57634e487b7160e01b600052601260045260246000fd5b500490565b6000816000190483118215151615611a1a57611a1a611864565b50029056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220800c5e0ceac248e662bebe471d79a1279c654806dac19f5270ab8d9a5f2165c364736f6c63430008100033

0x6080604052600436106101235760003560e01c8063751039fc116100a0578063a9059cbb11610064578063a9059cbb14610326578063c3c8cd8014610346578063c9567bf91461035b578063d34628cc14610370578063dd62ed3e1461039057600080fd5b8063751039fc1461028f5780637d1db4a5146102a45780638da5cb5b146102ba5780638f9a55c0146102e257806395d89b41146102f857600080fd5b806331c2d847116100e757806331c2d847146102035780635932ead1146102255780636fc3eaec1461024557806370a082311461025a578063715018a61461027a57600080fd5b806306fdde031461012f578063095ea7b31461017357806318160ddd146101a357806323b872dd146101c7578063313ce567146101e757600080fd5b3661012a57005b600080fd5b34801561013b57600080fd5b50604080518082019091526009815268506f6e7a6920496e7560b81b60208201525b60405161016a9190611612565b60405180910390f35b34801561017f57600080fd5b5061019361018e366004611685565b6103d6565b604051901515815260200161016a565b3480156101af57600080fd5b5066071afd498d00005b60405190815260200161016a565b3480156101d357600080fd5b506101936101e23660046116b1565b6103ed565b3480156101f357600080fd5b506040516008815260200161016a565b34801561020f57600080fd5b5061022361021e366004611708565b610456565b005b34801561023157600080fd5b506102236102403660046117db565b6104e2565b34801561025157600080fd5b50610223610533565b34801561026657600080fd5b506101b96102753660046117f8565b610560565b34801561028657600080fd5b50610223610582565b34801561029b57600080fd5b506102236105f6565b3480156102b057600080fd5b506101b960125481565b3480156102c657600080fd5b506000546040516001600160a01b03909116815260200161016a565b3480156102ee57600080fd5b506101b960135481565b34801561030457600080fd5b50604080518082019091526005815264504f4e5a4960d81b602082015261015d565b34801561033257600080fd5b50610193610341366004611685565b610632565b34801561035257600080fd5b5061022361063f565b34801561036757600080fd5b50610223610675565b34801561037c57600080fd5b5061022361038b366004611708565b6109df565b34801561039c57600080fd5b506101b96103ab366004611815565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b60006103e3338484610a71565b5060015b92915050565b60006103fa848484610b95565b61044c843361044785604051806060016040528060288152602001611a20602891396001600160a01b038a1660009081526004602090815260408083203384529091529020549190610f3a565b610a71565b5060019392505050565b600f546001600160a01b0316336001600160a01b03161461047657600080fd5b60005b81518110156104de5760006006600084848151811061049a5761049a61184e565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff1916911515919091179055806104d68161187a565b915050610479565b5050565b6000546001600160a01b031633146105155760405162461bcd60e51b815260040161050c90611893565b60405180910390fd5b60118054911515600160b81b0260ff60b81b19909216919091179055565b600f546001600160a01b0316336001600160a01b03161461055357600080fd5b4761055d81610f74565b50565b6001600160a01b0381166000908152600260205260408120546103e790610fae565b6000546001600160a01b031633146105ac5760405162461bcd60e51b815260040161050c90611893565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146106205760405162461bcd60e51b815260040161050c90611893565b66071afd498d00006012819055601355565b60006103e3338484610b95565b600f546001600160a01b0316336001600160a01b03161461065f57600080fd5b600061066a30610560565b905061055d81611032565b6000546001600160a01b0316331461069f5760405162461bcd60e51b815260040161050c90611893565b601154600160a01b900460ff16156106f95760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161050c565b601080546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d908117909155610734308266071afd498d0000610a71565b806001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610772573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061079691906118c8565b6001600160a01b031663c9c6539630836001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107e3573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061080791906118c8565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610854573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061087891906118c8565b601180546001600160a01b0319166001600160a01b039283161790556010541663f305d71947306108a881610560565b6000806108bd6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610925573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061094a91906118e5565b50506011805463ffff00ff60a01b198116630101000160a01b1790915560105460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af11580156109bb573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906104de9190611913565b6000546001600160a01b03163314610a095760405162461bcd60e51b815260040161050c90611893565b60005b81518110156104de57600160066000848481518110610a2d57610a2d61184e565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff191691151591909117905580610a698161187a565b915050610a0c565b6001600160a01b038316610ad35760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161050c565b6001600160a01b038216610b345760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161050c565b6001600160a01b0383811660008181526004602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610bf95760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161050c565b6001600160a01b038216610c5b5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161050c565b60008111610cbd5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161050c565b6000546001600160a01b03848116911614801590610ce957506000546001600160a01b03838116911614155b15610f1f576001600160a01b03831660009081526006602052604090205460ff16158015610d3057506001600160a01b03821660009081526006602052604090205460ff16155b610d3957600080fd5b6000600a55600e5415610d4e57600c54610d52565b600d545b600b556011546001600160a01b038481169116148015610d8057506010546001600160a01b03838116911614155b8015610da557506001600160a01b03821660009081526005602052604090205460ff16155b8015610dba5750601154600160b81b900460ff165b15610e9457601254811115610e115760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161050c565b60135481610e1e84610560565b610e289190611930565b1115610e765760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161050c565b600e5415610e9457600e8054906000610e8e83611943565b91905055505b6000610e9f30610560565b601154909150600160a81b900460ff16158015610eca57506011546001600160a01b03858116911614155b8015610edf5750601154600160b01b900460ff165b8015610eeb5750600081115b8015610ef95750601e600e54105b15610f1957610f0781611032565b478015610f1757610f1747610f74565b505b50610f2a565b6000600a819055600b555b610f358383836111ac565b505050565b60008184841115610f5e5760405162461bcd60e51b815260040161050c9190611612565b506000610f6b848661195a565b95945050505050565b600f546040516001600160a01b039091169082156108fc029083906000818181858888f193505050501580156104de573d6000803e3d6000fd5b60006008548211156110155760405162461bcd60e51b815260206004820152602a60248201527f416d6f756e74206d757374206265206c657373207468616e20746f74616c207260448201526965666c656374696f6e7360b01b606482015260840161050c565b600061101f6111b7565b905061102b83826111da565b9392505050565b6011805460ff60a81b1916600160a81b179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061107a5761107a61184e565b6001600160a01b03928316602091820292909201810191909152601054604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156110d3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906110f791906118c8565b8160018151811061110a5761110a61184e565b6001600160a01b0392831660209182029290920101526010546111309130911684610a71565b60105460405163791ac94760e01b81526001600160a01b039091169063791ac9479061116990859060009086903090429060040161196d565b600060405180830381600087803b15801561118357600080fd5b505af1158015611197573d6000803e3d6000fd5b50506011805460ff60a81b1916905550505050565b610f3583838361121c565b60008060006111c4611313565b90925090506111d382826111da565b9250505090565b600061102b83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611351565b60008060008060008061122e8761137f565b6001600160a01b038f16600090815260026020526040902054959b5093995091975095509350915061126090876113dc565b6001600160a01b03808b1660009081526002602052604080822093909355908a168152205461128f908661141e565b6001600160a01b0389166000908152600260205260409020556112b18161147d565b6112bb84836114c7565b876001600160a01b0316896001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405161130091815260200190565b60405180910390a3505050505050505050565b600854600090819066071afd498d000061132d82826111da565b8210156113485750506008549266071afd498d000092509050565b90939092509050565b600081836113725760405162461bcd60e51b815260040161050c9190611612565b506000610f6b84866119de565b600080600080600080600080600061139c8a600a54600b546114eb565b92509250925060006113ac6111b7565b905060008060006113bf8e878787611540565b919e509c509a509598509396509194505050505091939550919395565b600061102b83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610f3a565b60008061142b8385611930565b90508381101561102b5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161050c565b60006114876111b7565b905060006114958383611590565b306000908152600260205260409020549091506114b2908261141e565b30600090815260026020526040902055505050565b6008546114d490836113dc565b6008556009546114e4908261141e565b6009555050565b600080808061150560646114ff8989611590565b906111da565b9050600061151860646114ff8a89611590565b905060006115308261152a8b866113dc565b906113dc565b9992985090965090945050505050565b600080808061154f8886611590565b9050600061155d8887611590565b9050600061156b8888611590565b9050600061157d8261152a86866113dc565b939b939a50919850919650505050505050565b6000826000036115a2575060006103e7565b60006115ae8385611a00565b9050826115bb85836119de565b1461102b5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161050c565b600060208083528351808285015260005b8181101561163f57858101830151858201604001528201611623565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461055d57600080fd5b803561168081611660565b919050565b6000806040838503121561169857600080fd5b82356116a381611660565b946020939093013593505050565b6000806000606084860312156116c657600080fd5b83356116d181611660565b925060208401356116e181611660565b929592945050506040919091013590565b634e487b7160e01b600052604160045260246000fd5b6000602080838503121561171b57600080fd5b823567ffffffffffffffff8082111561173357600080fd5b818501915085601f83011261174757600080fd5b813581811115611759576117596116f2565b8060051b604051601f19603f8301168101818110858211171561177e5761177e6116f2565b60405291825284820192508381018501918883111561179c57600080fd5b938501935b828510156117c1576117b285611675565b845293850193928501926117a1565b98975050505050505050565b801515811461055d57600080fd5b6000602082840312156117ed57600080fd5b813561102b816117cd565b60006020828403121561180a57600080fd5b813561102b81611660565b6000806040838503121561182857600080fd5b823561183381611660565b9150602083013561184381611660565b809150509250929050565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b60006001820161188c5761188c611864565b5060010190565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6000602082840312156118da57600080fd5b815161102b81611660565b6000806000606084860312156118fa57600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561192557600080fd5b815161102b816117cd565b808201808211156103e7576103e7611864565b60008161195257611952611864565b506000190190565b818103818111156103e7576103e7611864565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119bd5784516001600160a01b031683529383019391830191600101611998565b50506001600160a01b03969096166060850152505050608001529392505050565b6000826119fb57634e487b7160e01b600052601260045260246000fd5b500490565b6000816000190483118215151615611a1a57611a1a611864565b50029056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220800c5e0ceac248e662bebe471d79a1279c654806dac19f5270ab8d9a5f2165c364736f6c63430008100033

3544:10474:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5419:83;;;;;;;;;;-1:-1:-1;5489:5:0;;;;;;;;;;;;-1:-1:-1;;;5489:5:0;;;;5419:83;;;;;;;:::i;:::-;;;;;;;;6271:161;;;;;;;;;;-1:-1:-1;6271:161:0;;;;;:::i;:::-;;:::i;:::-;;;1327:14:1;;1320:22;1302:41;;1290:2;1275:18;6271:161:0;1162:187:1;5696:95:0;;;;;;;;;;-1:-1:-1;4045:18:0;5696:95;;;1500:25:1;;;1488:2;1473:18;5696:95:0;1354:177:1;6440:313:0;;;;;;;;;;-1:-1:-1;6440:313:0;;;;;:::i;:::-;;:::i;5605:83::-;;;;;;;;;;-1:-1:-1;5605:83:0;;4513:1;2139:36:1;;2127:2;2112:18;5605:83:0;1997:184:1;9879:202:0;;;;;;;;;;-1:-1:-1;9879:202:0;;;;;:::i;:::-;;:::i;:::-;;6761:103;;;;;;;;;;-1:-1:-1;6761:103:0;;;;;:::i;:::-;;:::i;12133:193::-;;;;;;;;;;;;;:::i;5799:138::-;;;;;;;;;;-1:-1:-1;5799:138:0;;;;;:::i;:::-;;:::i;2625:148::-;;;;;;;;;;;;;:::i;9477:118::-;;;;;;;;;;;;;:::i;4755:45::-;;;;;;;;;;;;;;;;2411:79;;;;;;;;;;-1:-1:-1;2449:7:0;2476:6;2411:79;;-1:-1:-1;;;;;2476:6:0;;;4211:51:1;;4199:2;4184:18;2411:79:0;4065:203:1;4807:47:0;;;;;;;;;;;;;;;;5510:87;;;;;;;;;;-1:-1:-1;5582:7:0;;;;;;;;;;;;-1:-1:-1;;;5582:7:0;;;;5510:87;;5945:167;;;;;;;;;;-1:-1:-1;5945:167:0;;;;;:::i;:::-;;:::i;11931:194::-;;;;;;;;;;;;;:::i;10089:773::-;;;;;;;;;;;;;:::i;9707:164::-;;;;;;;;;;-1:-1:-1;9707:164:0;;;;;:::i;:::-;;:::i;6120:143::-;;;;;;;;;;-1:-1:-1;6120:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6228:18:0;;;6201:7;6228:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6120:143;6271:161;6346:4;6363:39;209:10;6386:7;6395:6;6363:8;:39::i;:::-;-1:-1:-1;6420:4:0;6271:161;;;;;:::o;6440:313::-;6538:4;6555:36;6565:6;6573:9;6584:6;6555:9;:36::i;:::-;6602:121;6611:6;209:10;6633:89;6671:6;6633:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6633:19:0;;;;;;:11;:19;;;;;;;;209:10;6633:33;;;;;;;;;;:37;:89::i;:::-;6602:8;:121::i;:::-;-1:-1:-1;6741:4:0;6440:313;;;;;:::o;9879:202::-;9961:14;;-1:-1:-1;;;;;9961:14:0;209:10;-1:-1:-1;;;;;9947:28:0;;9939:37;;;;;;9990:6;9985:87;10006:6;:13;10002:1;:17;9985:87;;;10057:5;10039:4;:15;10044:6;10051:1;10044:9;;;;;;;;:::i;:::-;;;;;;;;;;;;-1:-1:-1;;;;;10039:15:0;;;;;;;;;;;-1:-1:-1;10039:15:0;:23;;-1:-1:-1;;10039:23:0;;;;;;;;;;10021:3;;;;:::i;:::-;;;;9985:87;;;;9879:202;:::o;6761:103::-;2538:6;;-1:-1:-1;;;;;2538:6:0;209:10;2538:22;2530:67;;;;-1:-1:-1;;;2530:67:0;;;;;;;:::i;:::-;;;;;;;;;6833:15:::1;:23:::0;;;::::1;;-1:-1:-1::0;;;6833:23:0::1;-1:-1:-1::0;;;;6833:23:0;;::::1;::::0;;;::::1;::::0;;6761:103::o;12133:193::-;12199:14;;-1:-1:-1;;;;;12199:14:0;209:10;-1:-1:-1;;;;;12183:30:0;;12175:39;;;;;;12254:21;12286:32;12254:21;12286:12;:32::i;:::-;12164:162;12133:193::o;5799:138::-;-1:-1:-1;;;;;5912:16:0;;5865:7;5912:16;;;:7;:16;;;;;;5892:37;;:19;:37::i;2625:148::-;2538:6;;-1:-1:-1;;;;;2538:6:0;209:10;2538:22;2530:67;;;;-1:-1:-1;;;2530:67:0;;;;;;;:::i;:::-;2732:1:::1;2716:6:::0;;2695:40:::1;::::0;-1:-1:-1;;;;;2716:6:0;;::::1;::::0;2695:40:::1;::::0;2732:1;;2695:40:::1;2763:1;2746:19:::0;;-1:-1:-1;;;;;;2746:19:0::1;::::0;;2625:148::o;9477:118::-;2538:6;;-1:-1:-1;;;;;2538:6:0;209:10;2538:22;2530:67;;;;-1:-1:-1;;;2530:67:0;;;;;;;:::i;:::-;4045:18:::1;9530:12;:22:::0;;;9563:14:::1;:24:::0;9477:118::o;5945:167::-;6023:4;6040:42;209:10;6064:9;6075:6;6040:9;:42::i;11931:194::-;11997:14;;-1:-1:-1;;;;;11997:14:0;209:10;-1:-1:-1;;;;;11981:30:0;;11973:39;;;;;;12023:23;12049:24;12067:4;12049:9;:24::i;:::-;12023:50;;12084:33;12101:15;12084:16;:33::i;10089:773::-;2538:6;;-1:-1:-1;;;;;2538:6:0;209:10;2538:22;2530:67;;;;-1:-1:-1;;;2530:67:0;;;;;;;:::i;:::-;10153:11:::1;::::0;-1:-1:-1;;;10153:11:0;::::1;;;10152:12;10144:47;;;::::0;-1:-1:-1;;;10144:47:0;;5633:2:1;10144:47:0::1;::::0;::::1;5615:21:1::0;5672:2;5652:18;;;5645:30;5711:25;5691:18;;;5684:53;5754:18;;10144:47:0::1;5431:347:1::0;10144:47:0::1;10313:15;:34:::0;;-1:-1:-1;;;;;;10313:34:0::1;10259:42;10313:34:::0;;::::1;::::0;;;10358:58:::1;10375:4;10259:42:::0;4045:18:::1;10358:8;:58::i;:::-;10461:16;-1:-1:-1::0;;;;;10461:24:0::1;;:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10443:56:0::1;;10508:4;10515:16;-1:-1:-1::0;;;;;10515:21:0::1;;:23;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10443:96;::::0;-1:-1:-1;;;;;;10443:96:0::1;::::0;;;;;;-1:-1:-1;;;;;6269:15:1;;;10443:96:0::1;::::0;::::1;6251:34:1::0;6321:15;;6301:18;;;6294:43;6186:18;;10443:96:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10427:13;:112:::0;;-1:-1:-1;;;;;;10427:112:0::1;-1:-1:-1::0;;;;;10427:112:0;;::::1;;::::0;;10550:15:::1;::::0;::::1;:31;10589:21;10620:4;10626:24;10620:4:::0;10626:9:::1;:24::i;:::-;10651:1;10653::::0;10655:7:::1;2449::::0;2476:6;-1:-1:-1;;;;;2476:6:0;;2411:79;10655:7:::1;10550:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10550:129:0;;;-1:-1:-1;;;;;6707:15:1;;;10550:129:0::1;::::0;::::1;6689:34:1::0;6739:18;;;6732:34;;;;6782:18;;;6775:34;;;;6825:18;;;6818:34;6889:15;;;6868:19;;;6861:44;10663:15:0::1;6921:19:1::0;;;6914:35;6623:19;;10550:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10690:11:0::1;:18:::0;;-1:-1:-1;;;;10754:18:0;;-1:-1:-1;;;10754:18:0;;;;10821:15:::1;::::0;10783:71:::1;::::0;-1:-1:-1;;;10783:71:0;;-1:-1:-1;;;;;10821:15:0;;::::1;10783:71;::::0;::::1;7445:51:1::0;-1:-1:-1;;7512:18:1;;;7505:34;10790:13:0;;;-1:-1:-1;10783:29:0::1;::::0;7418:18:1;;10783:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;9707:164::-:0;2538:6;;-1:-1:-1;;;;;2538:6:0;209:10;2538:22;2530:67;;;;-1:-1:-1;;;2530:67:0;;;;;;;:::i;:::-;9781:6:::1;9776:88;9797:5;:12;9793:1;:16;9776:88;;;9848:4;9831;:14;9836:5;9842:1;9836:8;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;9831:14:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;9831:14:0;:21;;-1:-1:-1;;9831:21:0::1;::::0;::::1;;::::0;;;::::1;::::0;;9811:3;::::1;::::0;::::1;:::i;:::-;;;;9776:88;;7134:335:::0;-1:-1:-1;;;;;7227:19:0;;7219:68;;;;-1:-1:-1;;;7219:68:0;;8002:2:1;7219:68:0;;;7984:21:1;8041:2;8021:18;;;8014:30;8080:34;8060:18;;;8053:62;-1:-1:-1;;;8131:18:1;;;8124:34;8175:19;;7219:68:0;7800:400:1;7219:68:0;-1:-1:-1;;;;;7306:21:0;;7298:68;;;;-1:-1:-1;;;7298:68:0;;8407:2:1;7298:68:0;;;8389:21:1;8446:2;8426:18;;;8419:30;8485:34;8465:18;;;8458:62;-1:-1:-1;;;8536:18:1;;;8529:32;8578:19;;7298:68:0;8205:398:1;7298:68:0;-1:-1:-1;;;;;7377:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7429:32;;1500:25:1;;;7429:32:0;;1473:18:1;7429:32:0;;;;;;;7134:335;;;:::o;7477:1499::-;-1:-1:-1;;;;;7565:18:0;;7557:68;;;;-1:-1:-1;;;7557:68:0;;8810:2:1;7557:68:0;;;8792:21:1;8849:2;8829:18;;;8822:30;8888:34;8868:18;;;8861:62;-1:-1:-1;;;8939:18:1;;;8932:35;8984:19;;7557:68:0;8608:401:1;7557:68:0;-1:-1:-1;;;;;7644:16:0;;7636:64;;;;-1:-1:-1;;;7636:64:0;;9216:2:1;7636:64:0;;;9198:21:1;9255:2;9235:18;;;9228:30;9294:34;9274:18;;;9267:62;-1:-1:-1;;;9345:18:1;;;9338:33;9388:19;;7636:64:0;9014:399:1;7636:64:0;7728:1;7719:6;:10;7711:64;;;;-1:-1:-1;;;7711:64:0;;9620:2:1;7711:64:0;;;9602:21:1;9659:2;9639:18;;;9632:30;9698:34;9678:18;;;9671:62;-1:-1:-1;;;9749:18:1;;;9742:39;9798:19;;7711:64:0;9418:405:1;7711:64:0;2449:7;2476:6;-1:-1:-1;;;;;7794:15:0;;;2476:6;;7794:15;;;;:32;;-1:-1:-1;2449:7:0;2476:6;-1:-1:-1;;;;;7813:13:0;;;2476:6;;7813:13;;7794:32;7790:1136;;;-1:-1:-1;;;;;7852:10:0;;;;;;:4;:10;;;;;;;;7851:11;:24;;;;-1:-1:-1;;;;;;7867:8:0;;;;;;:4;:8;;;;;;;;7866:9;7851:24;7843:33;;;;;;7903:1;7891:9;:13;7932:19;;:22;7931:46;;7966:11;;7931:46;;;7956:9;;7931:46;7919:9;:58;8004:13;;-1:-1:-1;;;;;7996:21:0;;;8004:13;;7996:21;:55;;;;-1:-1:-1;8035:15:0;;-1:-1:-1;;;;;8021:30:0;;;8035:15;;8021:30;;7996:55;:83;;;;-1:-1:-1;;;;;;8057:22:0;;;;;;:18;:22;;;;;;;;8055:24;7996:83;:102;;;;-1:-1:-1;8083:15:0;;-1:-1:-1;;;8083:15:0;;;;7996:102;7992:397;;;8166:12;;8156:6;:22;;8148:60;;;;-1:-1:-1;;;8148:60:0;;10030:2:1;8148:60:0;;;10012:21:1;10069:2;10049:18;;;10042:30;10108:27;10088:18;;;10081:55;10153:18;;8148:60:0;9828:349:1;8148:60:0;8261:14;;8251:6;8235:13;8245:2;8235:9;:13::i;:::-;:22;;;;:::i;:::-;:40;;8227:79;;;;-1:-1:-1;;;8227:79:0;;10514:2:1;8227:79:0;;;10496:21:1;10553:2;10533:18;;;10526:30;10592:28;10572:18;;;10565:56;10638:18;;8227:79:0;10312:350:1;8227:79:0;8328:19;;:21;8325:49;;8351:19;:21;;;:19;:21;;;:::i;:::-;;;;;;8325:49;8407:28;8438:24;8456:4;8438:9;:24::i;:::-;8482:6;;8407:55;;-1:-1:-1;;;;8482:6:0;;;;8481:7;:32;;;;-1:-1:-1;8500:13:0;;-1:-1:-1;;;;;8492:21:0;;;8500:13;;8492:21;;8481:32;:47;;;;-1:-1:-1;8517:11:0;;-1:-1:-1;;;8517:11:0;;;;8481:47;:73;;;;;8553:1;8532:20;:22;8481:73;:99;;;;;8578:2;8558:19;;:22;8481:99;8477:370;;;8601:38;8618:20;8601:16;:38::i;:::-;8687:21;8730:22;;8727:105;;8777:35;8790:21;8777:12;:35::i;:::-;8582:265;8477:370;7828:1030;7790:1136;;;8887:1;8875:9;:13;;;8901:9;:13;7790:1136;8938:30;8953:4;8958:2;8961:6;8938:14;:30::i;:::-;7477:1499;;;:::o;1266:190::-;1352:7;1388:12;1380:6;;;;1372:29;;;;-1:-1:-1;;;1372:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1412:9:0;1424:5;1428:1;1424;:5;:::i;:::-;1412:17;1266:190;-1:-1:-1;;;;;1266:190:0:o;9603:96::-;9660:14;;:31;;-1:-1:-1;;;;;9660:14:0;;;;:31;;;;;9684:6;;9660:14;:31;:14;:31;9684:6;9660:14;:31;;;;;;;;;;;;;;;;;;;6872:254;6939:7;6978;;6967;:18;;6959:73;;;;-1:-1:-1;;;6959:73:0;;11143:2:1;6959:73:0;;;11125:21:1;11182:2;11162:18;;;11155:30;11221:34;11201:18;;;11194:62;-1:-1:-1;;;11272:18:1;;;11265:40;11322:19;;6959:73:0;10941:406:1;6959:73:0;7043:19;7066:10;:8;:10::i;:::-;7043:33;-1:-1:-1;7094:24:0;:7;7043:33;7094:11;:24::i;:::-;7087:31;6872:254;-1:-1:-1;;;6872:254:0:o;8984:483::-;4943:6;:13;;-1:-1:-1;;;;4943:13:0;-1:-1:-1;;;4943:13:0;;;9086:16:::1;::::0;;9100:1:::1;9086:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9086:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9086:16:0::1;9062:40;;9131:4;9113;9118:1;9113:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9113:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9157:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9157:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9113:7;;9157:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9147:4;9152:1;9147:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9147:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9222:15:::1;::::0;9190:62:::1;::::0;9207:4:::1;::::0;9222:15:::1;9240:11:::0;9190:8:::1;:62::i;:::-;9263:15;::::0;:196:::1;::::0;-1:-1:-1;;;9263:196:0;;-1:-1:-1;;;;;9263:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9344:11;;9263:15:::1;::::0;9386:4;;9413::::1;::::0;9433:15:::1;::::0;9263:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;4979:6:0;:14;;-1:-1:-1;;;;4979:14:0;;;-1:-1:-1;;;;8984:483:0:o;10870:146::-;10964:44;10982:6;10990:9;11001:6;10964:17;:44::i;13588:163::-;13629:7;13650:15;13667;13686:19;:17;:19::i;:::-;13649:56;;-1:-1:-1;13649:56:0;-1:-1:-1;13723:20:0;13649:56;;13723:11;:20::i;:::-;13716:27;;;;13588:163;:::o;1718:132::-;1776:7;1803:39;1807:1;1810;1803:39;;;;;;;;;;;;;;;;;:3;:39::i;11024:487::-;11123:15;11140:23;11165:12;11179:23;11204:12;11218:13;11235:19;11246:7;11235:10;:19::i;:::-;-1:-1:-1;;;;;11283:15:0;;;;;;:7;:15;;;;;;11122:132;;-1:-1:-1;11122:132:0;;-1:-1:-1;11122:132:0;;-1:-1:-1;11122:132:0;-1:-1:-1;11122:132:0;-1:-1:-1;11122:132:0;-1:-1:-1;11283:28:0;;11122:132;11283:19;:28::i;:::-;-1:-1:-1;;;;;11265:15:0;;;;;;;:7;:15;;;;;;:46;;;;11343:18;;;;;;;:39;;11366:15;11343:22;:39::i;:::-;-1:-1:-1;;;;;11322:18:0;;;;;;:7;:18;;;;;:60;11393:16;11403:5;11393:9;:16::i;:::-;11420:23;11432:4;11438;11420:11;:23::i;:::-;11476:9;-1:-1:-1;;;;;11459:44:0;11468:6;-1:-1:-1;;;;;11459:44:0;;11487:15;11459:44;;;;1500:25:1;;1488:2;1473:18;;1354:177;11459:44:0;;;;;;;;11111:400;;;;;;11024:487;;;:::o;13759:256::-;13856:7;;13809;;;;4045:18;13924:20;13856:7;4045:18;13924:11;:20::i;:::-;13914:7;:30;13910:61;;;-1:-1:-1;;13954:7:0;;;4045:18;;-1:-1:-1;13759:256:0;-1:-1:-1;13759:256:0:o;13910:61::-;13990:7;;13999;;-1:-1:-1;13759:256:0;-1:-1:-1;13759:256:0:o;1858:189::-;1944:7;1979:12;1972:5;1964:28;;;;-1:-1:-1;;;1964:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2003:9:0;2015:5;2019:1;2015;:5;:::i;12336:471::-;12395:7;12404;12413;12422;12431;12440;12461:23;12486:12;12500:13;12517:42;12529:7;12538:9;;12549;;12517:11;:42::i;:::-;12460:99;;;;;;12570:19;12593:10;:8;:10::i;:::-;12570:33;;12615:15;12632:23;12657:12;12673:46;12685:7;12694:4;12700:5;12707:11;12673;:46::i;:::-;12614:105;;-1:-1:-1;12614:105:0;-1:-1:-1;12614:105:0;-1:-1:-1;12770:15:0;;-1:-1:-1;12787:4:0;;-1:-1:-1;12793:5:0;;-1:-1:-1;;;;;12336:471:0;;;;;;;:::o;1122:136::-;1180:7;1207:43;1211:1;1214;1207:43;;;;;;;;;;;;;;;;;:3;:43::i;935:179::-;993:7;;1025:5;1029:1;1025;:5;:::i;:::-;1013:17;;1054:1;1049;:6;;1041:46;;;;-1:-1:-1;;;1041:46:0;;12761:2:1;1041:46:0;;;12743:21:1;12800:2;12780:18;;;12773:30;12839:29;12819:18;;;12812:57;12886:18;;1041:46:0;12559:351:1;11519:212:0;11572:19;11595:10;:8;:10::i;:::-;11572:33;-1:-1:-1;11616:13:0;11632:22;:5;11572:33;11632:9;:22::i;:::-;11706:4;11690:22;;;;:7;:22;;;;;;11616:38;;-1:-1:-1;11690:33:0;;11616:38;11690:26;:33::i;:::-;11681:4;11665:22;;;;:7;:22;;;;;:58;-1:-1:-1;;;11519:212:0:o;11739:147::-;11817:7;;:17;;11829:4;11817:11;:17::i;:::-;11807:7;:27;11858:10;;:20;;11873:4;11858:14;:20::i;:::-;11845:10;:33;-1:-1:-1;;11739:147:0:o;12815:351::-;12908:7;;;;12961:28;12985:3;12961:19;:7;12973:6;12961:11;:19::i;:::-;:23;;:28::i;:::-;12946:43;-1:-1:-1;13000:13:0;13016:29;13041:3;13016:20;:7;13028;13016:11;:20::i;:29::-;13000:45;-1:-1:-1;13056:23:0;13082:28;13000:45;13082:17;:7;13094:4;13082:11;:17::i;:::-;:21;;:28::i;:::-;13056:54;13146:4;;-1:-1:-1;13152:5:0;;-1:-1:-1;12815:351:0;;-1:-1:-1;;;;;12815:351:0:o;13174:409::-;13284:7;;;;13340:24;:7;13352:11;13340;:24::i;:::-;13322:42;-1:-1:-1;13375:12:0;13390:21;:4;13399:11;13390:8;:21::i;:::-;13375:36;-1:-1:-1;13422:13:0;13438:22;:5;13448:11;13438:9;:22::i;:::-;13422:38;-1:-1:-1;13471:23:0;13497:28;13422:38;13497:17;:7;13509:4;13497:11;:17::i;:28::-;13544:7;;;;-1:-1:-1;13570:4:0;;-1:-1:-1;13174:409:0;;-1:-1:-1;;;;;;;13174:409:0:o;1464:246::-;1522:7;1546:1;1551;1546:6;1542:47;;-1:-1:-1;1576:1:0;1569:8;;1542:47;1599:9;1611:5;1615:1;1611;:5;:::i;:::-;1599:17;-1:-1:-1;1644:1:0;1635:5;1639:1;1599:17;1635:5;:::i;:::-;:10;1627:56;;;;-1:-1:-1;;;1627:56:0;;13290:2:1;1627:56:0;;;13272:21:1;13329:2;13309:18;;;13302:30;13368:34;13348:18;;;13341:62;-1:-1:-1;;;13419:18:1;;;13412:31;13460:19;;1627:56:0;13088:397:1;14:548;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;703: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:118::-;3530:5;3523:13;3516:21;3509:5;3506:32;3496:60;;3552:1;3549;3542:12;3567:241;3623:6;3676:2;3664:9;3655:7;3651:23;3647:32;3644:52;;;3692:1;3689;3682:12;3644:52;3731:9;3718:23;3750:28;3772:5;3750:28;:::i;3813:247::-;3872:6;3925:2;3913:9;3904:7;3900:23;3896:32;3893:52;;;3941:1;3938;3931:12;3893:52;3980:9;3967:23;3999:31;4024:5;3999:31;:::i;4273:388::-;4341:6;4349;4402:2;4390:9;4381:7;4377:23;4373:32;4370:52;;;4418:1;4415;4408:12;4370:52;4457:9;4444:23;4476:31;4501:5;4476:31;:::i;:::-;4526:5;-1:-1:-1;4583:2:1;4568:18;;4555:32;4596:33;4555:32;4596:33;:::i;:::-;4648:7;4638:17;;;4273:388;;;;;:::o;4666:127::-;4727:10;4722:3;4718:20;4715:1;4708:31;4758:4;4755:1;4748:15;4782:4;4779:1;4772:15;4798:127;4859:10;4854:3;4850:20;4847:1;4840:31;4890:4;4887:1;4880:15;4914:4;4911:1;4904:15;4930:135;4969:3;4990:17;;;4987:43;;5010:18;;:::i;:::-;-1:-1:-1;5057:1:1;5046:13;;4930:135::o;5070:356::-;5272:2;5254:21;;;5291:18;;;5284:30;5350:34;5345:2;5330:18;;5323:62;5417:2;5402:18;;5070:356::o;5783:251::-;5853:6;5906:2;5894:9;5885:7;5881:23;5877:32;5874:52;;;5922:1;5919;5912:12;5874:52;5954:9;5948:16;5973:31;5998:5;5973:31;:::i;6960:306::-;7048:6;7056;7064;7117:2;7105:9;7096:7;7092:23;7088:32;7085:52;;;7133:1;7130;7123:12;7085:52;7162:9;7156:16;7146:26;;7212:2;7201:9;7197:18;7191:25;7181:35;;7256:2;7245:9;7241:18;7235:25;7225:35;;6960:306;;;;;:::o;7550:245::-;7617:6;7670:2;7658:9;7649:7;7645:23;7641:32;7638:52;;;7686:1;7683;7676:12;7638:52;7718:9;7712:16;7737:28;7759:5;7737:28;:::i;10182:125::-;10247:9;;;10268:10;;;10265:36;;;10281:18;;:::i;10667:136::-;10706:3;10734:5;10724:39;;10743:18;;:::i;:::-;-1:-1:-1;;;10779:18:1;;10667:136::o;10808:128::-;10875:9;;;10896:11;;;10893:37;;;10910:18;;:::i;11352:980::-;11614:4;11662:3;11651:9;11647:19;11693:6;11682:9;11675:25;11719:2;11757:6;11752:2;11741:9;11737:18;11730:34;11800:3;11795:2;11784:9;11780:18;11773:31;11824:6;11859;11853:13;11890:6;11882;11875:22;11928:3;11917:9;11913:19;11906:26;;11967:2;11959:6;11955:15;11941:29;;11988:1;11998:195;12012:6;12009:1;12006:13;11998:195;;;12077:13;;-1:-1:-1;;;;;12073:39:1;12061:52;;12168:15;;;;12133:12;;;;12109:1;12027:9;11998:195;;;-1:-1:-1;;;;;;;12249:32:1;;;;12244:2;12229:18;;12222:60;-1:-1:-1;;;12313:3:1;12298:19;12291:35;12210:3;11352:980;-1:-1:-1;;;11352:980:1:o;12337:217::-;12377:1;12403;12393:132;;12447:10;12442:3;12438:20;12435:1;12428:31;12482:4;12479:1;12472:15;12510:4;12507:1;12500:15;12393:132;-1:-1:-1;12539:9:1;;12337:217::o;12915:168::-;12955:7;13021:1;13017;13013:6;13009:14;13006:1;13003:21;12998:1;12991:9;12984:17;12980:45;12977:71;;;13028:18;;:::i;:::-;-1:-1:-1;13068:9:1;;12915:168::o

ipfs://800c5e0ceac248e662bebe471d79a1279c654806dac19f5270ab8d9a5f2165c3