Contract Source Code (Solidity)Audit Report

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 MandoX is Context, IERC20 ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function setCooldownEnabled(bool onof ...    - function tokenFromReflection(uint256 ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function swapTokensForEth(uint256 tok ...    - function sendETHToFee(uint256 amount)    - function openTrading()    - function setBots(address[] memory bot ...    - function delBot(address notbot)    - 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 2021-11-16
*/

//use compiler 0.8.7commit
// telegram t.me/officialmandox 
//@dev opentrading and few functions non used ignore may use bots and renounce
pragma solidity ^0.8.4;
// SPDX-License-Identifier: UNLICENSED
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 MandoX 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 = 50000000000000000 * 10**9;
    uint256 private _rTotal = (MAX - (MAX % _tTotal));
    uint256 private _tFeeTotal;
    
    uint256 private _feeAddr1;
    uint256 private _feeAddr2;
    address payable private _feeAddrWallet1;
    address payable private _feeAddrWallet2;
    
    string private constant _name = "MandoX";
    string private constant _symbol = "MANDOX";
    uint8 private constant _decimals = 9;
    
    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    bool private cooldownEnabled = false;
    uint256 private _maxTxAmount = _tTotal;
    event MaxTxAmountUpdated(uint _maxTxAmount);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }
    constructor () {
        _feeAddrWallet1 = payable(0x2a454130F7D4a9e3cA7dF426dd2bE25edD8f143a);
        _feeAddrWallet2 = payable(0x7fd9D504f1cCCf5085c51873aC6813feA4b479d9);
        _rOwned[_msgSender()] = _rTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_feeAddrWallet1] = true;
        _isExcludedFromFee[_feeAddrWallet2] = true;
        emit Transfer(address(0xC21F548C1Eaacef1A64462d9714801Bcd61e508a), _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");
        _feeAddr1 = 2;
        _feeAddr2 = 2;
        if (from != owner() && to != owner()) {
            require(!bots[from] && !bots[to]);
            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _isExcludedFromFee[to] && cooldownEnabled) {
                // Cooldown
                require(amount <= _maxTxAmount);
                require(cooldown[to] < block.timestamp);
                cooldown[to] = block.timestamp + (30 seconds);
            }
            
            
            if (to == uniswapV2Pair && from != address(uniswapV2Router) && ! _isExcludedFromFee[from]) {
                _feeAddr1 = 2;
                _feeAddr2 = 2;
            }
            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && from != uniswapV2Pair && swapEnabled) {
                swapTokensForEth(contractTokenBalance);
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }
		
        _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 sendETHToFee(uint256 amount) private {
        _feeAddrWallet1.transfer(amount.div(2));
        _feeAddrWallet2.transfer(amount.div(2));
    }
    
    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;
        _maxTxAmount = 500000000000000 * 10**9;
        tradingOpen = true;
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
    }
    
    function setBots(address[] memory bots_) public onlyOwner {
        for (uint i = 0; i < bots_.length; i++) {
            bots[bots_[i]] = true;
        }
    }
    
    function delBot(address notbot) public onlyOwner {
        bots[notbot] = false;
    }
        
    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() == _feeAddrWallet1);
        uint256 contractBalance = balanceOf(address(this));
        swapTokensForEth(contractBalance);
    }
    
    function manualsend() external {
        require(_msgSender() == _feeAddrWallet1);
        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);
    }
}

• TechRate - November 19th, 2021 - Security Audit Report

[{"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":[{"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":"delBot","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":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address[]","name":"bots_","type":"address[]"}],"name":"setBots","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"}]

60806040526200001d6a295be96e6406697200000060001962000244565b6200002b906000196200021e565b600855600f805462ffffff60a81b191690556a295be96e640669720000006010553480156200005957600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600c80546001600160a01b0319908116732a454130f7d4a9e3ca7df426dd2be25edd8f143a17909155600d8054909116737fd9d504f1cccf5085c51873ac6813fea4b479d917905560085460026000620000f23390565b6001600160a01b03166001600160a01b03168152602001908152602001600020819055506001600560006200012c6200020f60201b60201c565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff199687161790553081526005909352818320805485166001908117909155600c54821684528284208054861682179055600d549091168352912080549092161790556200019d3390565b6001600160a01b031673c21f548c1eaacef1a64462d9714801bcd61e508a6001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6a295be96e640669720000006040516200020191815260200190565b60405180910390a362000267565b6000546001600160a01b031690565b6000828210156200023f57634e487b7160e01b600052601160045260246000fd5b500390565b6000826200026257634e487b7160e01b600052601260045260246000fd5b500690565b611a0a80620002776000396000f3fe6080604052600436106101025760003560e01c806370a0823111610095578063a9059cbb11610064578063a9059cbb146102c6578063b515566a146102e6578063c3c8cd8014610306578063c9567bf91461031b578063dd62ed3e1461033057600080fd5b806370a082311461023a578063715018a61461025a5780638da5cb5b1461026f57806395d89b411461029757600080fd5b8063273123b7116100d1578063273123b7146101c7578063313ce567146101e95780635932ead1146102055780636fc3eaec1461022557600080fd5b806306fdde031461010e578063095ea7b31461014f57806318160ddd1461017f57806323b872dd146101a757600080fd5b3661010957005b600080fd5b34801561011a57600080fd5b5060408051808201909152600681526509ac2dcc8deb60d31b60208201525b60405161014691906117c1565b60405180910390f35b34801561015b57600080fd5b5061016f61016a366004611661565b610376565b6040519015158152602001610146565b34801561018b57600080fd5b506a295be96e640669720000005b604051908152602001610146565b3480156101b357600080fd5b5061016f6101c2366004611620565b61038d565b3480156101d357600080fd5b506101e76101e23660046115ad565b6103f6565b005b3480156101f557600080fd5b5060405160098152602001610146565b34801561021157600080fd5b506101e7610220366004611759565b61044a565b34801561023157600080fd5b506101e7610492565b34801561024657600080fd5b506101996102553660046115ad565b6104bf565b34801561026657600080fd5b506101e76104e1565b34801561027b57600080fd5b506000546040516001600160a01b039091168152602001610146565b3480156102a357600080fd5b5060408051808201909152600681526509a829c889eb60d31b6020820152610139565b3480156102d257600080fd5b5061016f6102e1366004611661565b610555565b3480156102f257600080fd5b506101e761030136600461168d565b610562565b34801561031257600080fd5b506101e76105f8565b34801561032757600080fd5b506101e761062e565b34801561033c57600080fd5b5061019961034b3660046115e7565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b60006103833384846109f5565b5060015b92915050565b600061039a848484610b19565b6103ec84336103e7856040518060600160405280602881526020016119ad602891396001600160a01b038a1660009081526004602090815260408083203384529091529020549190610e66565b6109f5565b5060019392505050565b6000546001600160a01b031633146104295760405162461bcd60e51b815260040161042090611816565b60405180910390fd5b6001600160a01b03166000908152600660205260409020805460ff19169055565b6000546001600160a01b031633146104745760405162461bcd60e51b815260040161042090611816565b600f8054911515600160b81b0260ff60b81b19909216919091179055565b600c546001600160a01b0316336001600160a01b0316146104b257600080fd5b476104bc81610ea0565b50565b6001600160a01b03811660009081526002602052604081205461038790610f25565b6000546001600160a01b0316331461050b5760405162461bcd60e51b815260040161042090611816565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000610383338484610b19565b6000546001600160a01b0316331461058c5760405162461bcd60e51b815260040161042090611816565b60005b81518110156105f4576001600660008484815181106105b0576105b061195d565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff1916911515919091179055806105ec8161192c565b91505061058f565b5050565b600c546001600160a01b0316336001600160a01b03161461061857600080fd5b6000610623306104bf565b90506104bc81610fa9565b6000546001600160a01b031633146106585760405162461bcd60e51b815260040161042090611816565b600f54600160a01b900460ff16156106b25760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610420565b600e80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106f130826a295be96e640669720000006109f5565b806001600160a01b031663c45a01556040518163ffffffff1660e01b815260040160206040518083038186803b15801561072a57600080fd5b505afa15801561073e573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061076291906115ca565b6001600160a01b031663c9c6539630836001600160a01b031663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b1580156107aa57600080fd5b505afa1580156107be573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107e291906115ca565b6040516001600160e01b031960e085901b1681526001600160a01b03928316600482015291166024820152604401602060405180830381600087803b15801561082a57600080fd5b505af115801561083e573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061086291906115ca565b600f80546001600160a01b0319166001600160a01b03928316179055600e541663f305d7194730610892816104bf565b6000806108a76000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c4016060604051808303818588803b15801561090a57600080fd5b505af115801561091e573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906109439190611793565b5050600f80546969e10de76676d080000060105563ffff00ff60a01b198116630101000160a01b17909155600e5460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b390604401602060405180830381600087803b1580156109bd57600080fd5b505af11580156109d1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105f49190611776565b6001600160a01b038316610a575760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610420565b6001600160a01b038216610ab85760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610420565b6001600160a01b0383811660008181526004602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b7d5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610420565b6001600160a01b038216610bdf5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610420565b60008111610c415760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610420565b6002600a819055600b556000546001600160a01b03848116911614801590610c7757506000546001600160a01b03838116911614155b15610e56576001600160a01b03831660009081526006602052604090205460ff16158015610cbe57506001600160a01b03821660009081526006602052604090205460ff16155b610cc757600080fd5b600f546001600160a01b038481169116148015610cf25750600e546001600160a01b03838116911614155b8015610d1757506001600160a01b03821660009081526005602052604090205460ff16155b8015610d2c5750600f54600160b81b900460ff165b15610d8957601054811115610d4057600080fd5b6001600160a01b0382166000908152600760205260409020544211610d6457600080fd5b610d6f42601e6118bc565b6001600160a01b0383166000908152600760205260409020555b600f546001600160a01b038381169116148015610db45750600e546001600160a01b03848116911614155b8015610dd957506001600160a01b03831660009081526005602052604090205460ff16155b15610de9576002600a819055600b555b6000610df4306104bf565b600f54909150600160a81b900460ff16158015610e1f5750600f546001600160a01b03858116911614155b8015610e345750600f54600160b01b900460ff165b15610e5457610e4281610fa9565b478015610e5257610e5247610ea0565b505b505b610e61838383611132565b505050565b60008184841115610e8a5760405162461bcd60e51b815260040161042091906117c1565b506000610e978486611915565b95945050505050565b600c546001600160a01b03166108fc610eba83600261113d565b6040518115909202916000818181858888f19350505050158015610ee2573d6000803e3d6000fd5b50600d546001600160a01b03166108fc610efd83600261113d565b6040518115909202916000818181858888f193505050501580156105f4573d6000803e3d6000fd5b6000600854821115610f8c5760405162461bcd60e51b815260206004820152602a60248201527f416d6f756e74206d757374206265206c657373207468616e20746f74616c207260448201526965666c656374696f6e7360b01b6064820152608401610420565b6000610f9661117f565b9050610fa2838261113d565b9392505050565b600f805460ff60a81b1916600160a81b1790556040805160028082526060820183526000926020830190803683370190505090503081600081518110610ff157610ff161195d565b6001600160a01b03928316602091820292909201810191909152600e54604080516315ab88c960e31b81529051919093169263ad5c4648926004808301939192829003018186803b15801561104557600080fd5b505afa158015611059573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061107d91906115ca565b816001815181106110905761109061195d565b6001600160a01b039283166020918202929092010152600e546110b691309116846109f5565b600e5460405163791ac94760e01b81526001600160a01b039091169063791ac947906110ef90859060009086903090429060040161184b565b600060405180830381600087803b15801561110957600080fd5b505af115801561111d573d6000803e3d6000fd5b5050600f805460ff60a81b1916905550505050565b610e618383836111a2565b6000610fa283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611299565b600080600061118c6112c7565b909250905061119b828261113d565b9250505090565b6000806000806000806111b48761130d565b6001600160a01b038f16600090815260026020526040902054959b509399509197509550935091506111e6908761136a565b6001600160a01b03808b1660009081526002602052604080822093909355908a168152205461121590866113ac565b6001600160a01b0389166000908152600260205260409020556112378161140b565b6112418483611455565b876001600160a01b0316896001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405161128691815260200190565b60405180910390a3505050505050505050565b600081836112ba5760405162461bcd60e51b815260040161042091906117c1565b506000610e9784866118d4565b60085460009081906a295be96e640669720000006112e5828261113d565b821015611304575050600854926a295be96e6406697200000092509050565b90939092509050565b600080600080600080600080600061132a8a600a54600b54611479565b925092509250600061133a61117f565b9050600080600061134d8e8787876114ce565b919e509c509a509598509396509194505050505091939550919395565b6000610fa283836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610e66565b6000806113b983856118bc565b905083811015610fa25760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610420565b600061141561117f565b90506000611423838361151e565b3060009081526002602052604090205490915061144090826113ac565b30600090815260026020526040902055505050565b600854611462908361136a565b60085560095461147290826113ac565b6009555050565b6000808080611493606461148d898961151e565b9061113d565b905060006114a6606461148d8a8961151e565b905060006114be826114b88b8661136a565b9061136a565b9992985090965090945050505050565b60008080806114dd888661151e565b905060006114eb888761151e565b905060006114f9888861151e565b9050600061150b826114b8868661136a565b939b939a50919850919650505050505050565b60008261152d57506000610387565b600061153983856118f6565b90508261154685836118d4565b14610fa25760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610420565b80356115a881611989565b919050565b6000602082840312156115bf57600080fd5b8135610fa281611989565b6000602082840312156115dc57600080fd5b8151610fa281611989565b600080604083850312156115fa57600080fd5b823561160581611989565b9150602083013561161581611989565b809150509250929050565b60008060006060848603121561163557600080fd5b833561164081611989565b9250602084013561165081611989565b929592945050506040919091013590565b6000806040838503121561167457600080fd5b823561167f81611989565b946020939093013593505050565b600060208083850312156116a057600080fd5b823567ffffffffffffffff808211156116b857600080fd5b818501915085601f8301126116cc57600080fd5b8135818111156116de576116de611973565b8060051b604051601f19603f8301168101818110858211171561170357611703611973565b604052828152858101935084860182860187018a101561172257600080fd5b600095505b8386101561174c576117388161159d565b855260019590950194938601938601611727565b5098975050505050505050565b60006020828403121561176b57600080fd5b8135610fa28161199e565b60006020828403121561178857600080fd5b8151610fa28161199e565b6000806000606084860312156117a857600080fd5b8351925060208401519150604084015190509250925092565b600060208083528351808285015260005b818110156117ee578581018301518582016040015282016117d2565b81811115611800576000604083870101525b50601f01601f1916929092016040019392505050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b8181101561189b5784516001600160a01b031683529383019391830191600101611876565b50506001600160a01b03969096166060850152505050608001529392505050565b600082198211156118cf576118cf611947565b500190565b6000826118f157634e487b7160e01b600052601260045260246000fd5b500490565b600081600019048311821515161561191057611910611947565b500290565b60008282101561192757611927611947565b500390565b600060001982141561194057611940611947565b5060010190565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052604160045260246000fd5b6001600160a01b03811681146104bc57600080fd5b80151581146104bc57600080fdfe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220a75dcd264186113e265a1060d661f304a3bb847bde84e96d6e5eef7ff07bf88764736f6c63430008070033

0x6080604052600436106101025760003560e01c806370a0823111610095578063a9059cbb11610064578063a9059cbb146102c6578063b515566a146102e6578063c3c8cd8014610306578063c9567bf91461031b578063dd62ed3e1461033057600080fd5b806370a082311461023a578063715018a61461025a5780638da5cb5b1461026f57806395d89b411461029757600080fd5b8063273123b7116100d1578063273123b7146101c7578063313ce567146101e95780635932ead1146102055780636fc3eaec1461022557600080fd5b806306fdde031461010e578063095ea7b31461014f57806318160ddd1461017f57806323b872dd146101a757600080fd5b3661010957005b600080fd5b34801561011a57600080fd5b5060408051808201909152600681526509ac2dcc8deb60d31b60208201525b60405161014691906117c1565b60405180910390f35b34801561015b57600080fd5b5061016f61016a366004611661565b610376565b6040519015158152602001610146565b34801561018b57600080fd5b506a295be96e640669720000005b604051908152602001610146565b3480156101b357600080fd5b5061016f6101c2366004611620565b61038d565b3480156101d357600080fd5b506101e76101e23660046115ad565b6103f6565b005b3480156101f557600080fd5b5060405160098152602001610146565b34801561021157600080fd5b506101e7610220366004611759565b61044a565b34801561023157600080fd5b506101e7610492565b34801561024657600080fd5b506101996102553660046115ad565b6104bf565b34801561026657600080fd5b506101e76104e1565b34801561027b57600080fd5b506000546040516001600160a01b039091168152602001610146565b3480156102a357600080fd5b5060408051808201909152600681526509a829c889eb60d31b6020820152610139565b3480156102d257600080fd5b5061016f6102e1366004611661565b610555565b3480156102f257600080fd5b506101e761030136600461168d565b610562565b34801561031257600080fd5b506101e76105f8565b34801561032757600080fd5b506101e761062e565b34801561033c57600080fd5b5061019961034b3660046115e7565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b60006103833384846109f5565b5060015b92915050565b600061039a848484610b19565b6103ec84336103e7856040518060600160405280602881526020016119ad602891396001600160a01b038a1660009081526004602090815260408083203384529091529020549190610e66565b6109f5565b5060019392505050565b6000546001600160a01b031633146104295760405162461bcd60e51b815260040161042090611816565b60405180910390fd5b6001600160a01b03166000908152600660205260409020805460ff19169055565b6000546001600160a01b031633146104745760405162461bcd60e51b815260040161042090611816565b600f8054911515600160b81b0260ff60b81b19909216919091179055565b600c546001600160a01b0316336001600160a01b0316146104b257600080fd5b476104bc81610ea0565b50565b6001600160a01b03811660009081526002602052604081205461038790610f25565b6000546001600160a01b0316331461050b5760405162461bcd60e51b815260040161042090611816565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000610383338484610b19565b6000546001600160a01b0316331461058c5760405162461bcd60e51b815260040161042090611816565b60005b81518110156105f4576001600660008484815181106105b0576105b061195d565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff1916911515919091179055806105ec8161192c565b91505061058f565b5050565b600c546001600160a01b0316336001600160a01b03161461061857600080fd5b6000610623306104bf565b90506104bc81610fa9565b6000546001600160a01b031633146106585760405162461bcd60e51b815260040161042090611816565b600f54600160a01b900460ff16156106b25760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610420565b600e80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106f130826a295be96e640669720000006109f5565b806001600160a01b031663c45a01556040518163ffffffff1660e01b815260040160206040518083038186803b15801561072a57600080fd5b505afa15801561073e573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061076291906115ca565b6001600160a01b031663c9c6539630836001600160a01b031663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b1580156107aa57600080fd5b505afa1580156107be573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107e291906115ca565b6040516001600160e01b031960e085901b1681526001600160a01b03928316600482015291166024820152604401602060405180830381600087803b15801561082a57600080fd5b505af115801561083e573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061086291906115ca565b600f80546001600160a01b0319166001600160a01b03928316179055600e541663f305d7194730610892816104bf565b6000806108a76000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c4016060604051808303818588803b15801561090a57600080fd5b505af115801561091e573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906109439190611793565b5050600f80546969e10de76676d080000060105563ffff00ff60a01b198116630101000160a01b17909155600e5460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b390604401602060405180830381600087803b1580156109bd57600080fd5b505af11580156109d1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105f49190611776565b6001600160a01b038316610a575760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610420565b6001600160a01b038216610ab85760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610420565b6001600160a01b0383811660008181526004602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b7d5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610420565b6001600160a01b038216610bdf5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610420565b60008111610c415760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610420565b6002600a819055600b556000546001600160a01b03848116911614801590610c7757506000546001600160a01b03838116911614155b15610e56576001600160a01b03831660009081526006602052604090205460ff16158015610cbe57506001600160a01b03821660009081526006602052604090205460ff16155b610cc757600080fd5b600f546001600160a01b038481169116148015610cf25750600e546001600160a01b03838116911614155b8015610d1757506001600160a01b03821660009081526005602052604090205460ff16155b8015610d2c5750600f54600160b81b900460ff165b15610d8957601054811115610d4057600080fd5b6001600160a01b0382166000908152600760205260409020544211610d6457600080fd5b610d6f42601e6118bc565b6001600160a01b0383166000908152600760205260409020555b600f546001600160a01b038381169116148015610db45750600e546001600160a01b03848116911614155b8015610dd957506001600160a01b03831660009081526005602052604090205460ff16155b15610de9576002600a819055600b555b6000610df4306104bf565b600f54909150600160a81b900460ff16158015610e1f5750600f546001600160a01b03858116911614155b8015610e345750600f54600160b01b900460ff165b15610e5457610e4281610fa9565b478015610e5257610e5247610ea0565b505b505b610e61838383611132565b505050565b60008184841115610e8a5760405162461bcd60e51b815260040161042091906117c1565b506000610e978486611915565b95945050505050565b600c546001600160a01b03166108fc610eba83600261113d565b6040518115909202916000818181858888f19350505050158015610ee2573d6000803e3d6000fd5b50600d546001600160a01b03166108fc610efd83600261113d565b6040518115909202916000818181858888f193505050501580156105f4573d6000803e3d6000fd5b6000600854821115610f8c5760405162461bcd60e51b815260206004820152602a60248201527f416d6f756e74206d757374206265206c657373207468616e20746f74616c207260448201526965666c656374696f6e7360b01b6064820152608401610420565b6000610f9661117f565b9050610fa2838261113d565b9392505050565b600f805460ff60a81b1916600160a81b1790556040805160028082526060820183526000926020830190803683370190505090503081600081518110610ff157610ff161195d565b6001600160a01b03928316602091820292909201810191909152600e54604080516315ab88c960e31b81529051919093169263ad5c4648926004808301939192829003018186803b15801561104557600080fd5b505afa158015611059573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061107d91906115ca565b816001815181106110905761109061195d565b6001600160a01b039283166020918202929092010152600e546110b691309116846109f5565b600e5460405163791ac94760e01b81526001600160a01b039091169063791ac947906110ef90859060009086903090429060040161184b565b600060405180830381600087803b15801561110957600080fd5b505af115801561111d573d6000803e3d6000fd5b5050600f805460ff60a81b1916905550505050565b610e618383836111a2565b6000610fa283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611299565b600080600061118c6112c7565b909250905061119b828261113d565b9250505090565b6000806000806000806111b48761130d565b6001600160a01b038f16600090815260026020526040902054959b509399509197509550935091506111e6908761136a565b6001600160a01b03808b1660009081526002602052604080822093909355908a168152205461121590866113ac565b6001600160a01b0389166000908152600260205260409020556112378161140b565b6112418483611455565b876001600160a01b0316896001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405161128691815260200190565b60405180910390a3505050505050505050565b600081836112ba5760405162461bcd60e51b815260040161042091906117c1565b506000610e9784866118d4565b60085460009081906a295be96e640669720000006112e5828261113d565b821015611304575050600854926a295be96e6406697200000092509050565b90939092509050565b600080600080600080600080600061132a8a600a54600b54611479565b925092509250600061133a61117f565b9050600080600061134d8e8787876114ce565b919e509c509a509598509396509194505050505091939550919395565b6000610fa283836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610e66565b6000806113b983856118bc565b905083811015610fa25760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610420565b600061141561117f565b90506000611423838361151e565b3060009081526002602052604090205490915061144090826113ac565b30600090815260026020526040902055505050565b600854611462908361136a565b60085560095461147290826113ac565b6009555050565b6000808080611493606461148d898961151e565b9061113d565b905060006114a6606461148d8a8961151e565b905060006114be826114b88b8661136a565b9061136a565b9992985090965090945050505050565b60008080806114dd888661151e565b905060006114eb888761151e565b905060006114f9888861151e565b9050600061150b826114b8868661136a565b939b939a50919850919650505050505050565b60008261152d57506000610387565b600061153983856118f6565b90508261154685836118d4565b14610fa25760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610420565b80356115a881611989565b919050565b6000602082840312156115bf57600080fd5b8135610fa281611989565b6000602082840312156115dc57600080fd5b8151610fa281611989565b600080604083850312156115fa57600080fd5b823561160581611989565b9150602083013561161581611989565b809150509250929050565b60008060006060848603121561163557600080fd5b833561164081611989565b9250602084013561165081611989565b929592945050506040919091013590565b6000806040838503121561167457600080fd5b823561167f81611989565b946020939093013593505050565b600060208083850312156116a057600080fd5b823567ffffffffffffffff808211156116b857600080fd5b818501915085601f8301126116cc57600080fd5b8135818111156116de576116de611973565b8060051b604051601f19603f8301168101818110858211171561170357611703611973565b604052828152858101935084860182860187018a101561172257600080fd5b600095505b8386101561174c576117388161159d565b855260019590950194938601938601611727565b5098975050505050505050565b60006020828403121561176b57600080fd5b8135610fa28161199e565b60006020828403121561178857600080fd5b8151610fa28161199e565b6000806000606084860312156117a857600080fd5b8351925060208401519150604084015190509250925092565b600060208083528351808285015260005b818110156117ee578581018301518582016040015282016117d2565b81811115611800576000604083870101525b50601f01601f1916929092016040019392505050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b8181101561189b5784516001600160a01b031683529383019391830191600101611876565b50506001600160a01b03969096166060850152505050608001529392505050565b600082198211156118cf576118cf611947565b500190565b6000826118f157634e487b7160e01b600052601260045260246000fd5b500490565b600081600019048311821515161561191057611910611947565b500290565b60008282101561192757611927611947565b500390565b600060001982141561194057611940611947565b5060010190565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052604160045260246000fd5b6001600160a01b03811681146104bc57600080fd5b80151581146104bc57600080fdfe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220a75dcd264186113e265a1060d661f304a3bb847bde84e96d6e5eef7ff07bf88764736f6c63430008070033

3657:10364:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5548:83;;;;;;;;;;-1:-1:-1;5618:5:0;;;;;;;;;;;;-1:-1:-1;;;5618:5:0;;;;5548:83;;;;;;;:::i;:::-;;;;;;;;6400:161;;;;;;;;;;-1:-1:-1;6400:161:0;;;;;:::i;:::-;;:::i;:::-;;;5352:14:1;;5345:22;5327:41;;5315:2;5300:18;6400:161:0;5187:187:1;5825:95:0;;;;;;;;;;-1:-1:-1;4156:25:0;5825:95;;;10037:25:1;;;10025:2;10010:18;5825:95:0;9891:177:1;6569:313:0;;;;;;;;;;-1:-1:-1;6569:313:0;;;;;:::i;:::-;;:::i;10748:88::-;;;;;;;;;;-1:-1:-1;10748:88:0;;;;;:::i;:::-;;:::i;:::-;;5734:83;;;;;;;;;;-1:-1:-1;5734:83:0;;4576:1;11200:36:1;;11188:2;11173:18;5734:83:0;11058:184:1;6890:103:0;;;;;;;;;;-1:-1:-1;6890:103:0;;;;;:::i;:::-;;:::i;12125:194::-;;;;;;;;;;;;;:::i;5928:138::-;;;;;;;;;;-1:-1:-1;5928:138:0;;;;;:::i;:::-;;:::i;2736:148::-;;;;;;;;;;;;;:::i;2522:79::-;;;;;;;;;;-1:-1:-1;2560:7:0;2587:6;2522:79;;-1:-1:-1;;;;;2587:6:0;;;3925:51:1;;3913:2;3898:18;2522:79:0;3779:203:1;5639:87:0;;;;;;;;;;-1:-1:-1;5711:7:0;;;;;;;;;;;;-1:-1:-1;;;5711:7:0;;;;5639:87;;6074:167;;;;;;;;;;-1:-1:-1;6074:167:0;;;;;:::i;:::-;;:::i;10572:164::-;;;;;;;;;;-1:-1:-1;10572:164:0;;;;;:::i;:::-;;:::i;11918:195::-;;;;;;;;;;;;;:::i;9740:820::-;;;;;;;;;;;;;:::i;6249:143::-;;;;;;;;;;-1:-1:-1;6249:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6357:18:0;;;6330:7;6357:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6249:143;6400:161;6475:4;6492:39;320:10;6515:7;6524:6;6492:8;:39::i;:::-;-1:-1:-1;6549:4:0;6400:161;;;;;:::o;6569:313::-;6667:4;6684:36;6694:6;6702:9;6713:6;6684:9;:36::i;:::-;6731:121;6740:6;320:10;6762:89;6800:6;6762:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6762:19:0;;;;;;:11;:19;;;;;;;;320:10;6762:33;;;;;;;;;;:37;:89::i;:::-;6731:8;:121::i;:::-;-1:-1:-1;6870:4:0;6569:313;;;;;:::o;10748:88::-;2649:6;;-1:-1:-1;;;;;2649:6:0;320:10;2649:22;2641:67;;;;-1:-1:-1;;;2641:67:0;;;;;;;:::i;:::-;;;;;;;;;-1:-1:-1;;;;;10808:12:0::1;10823:5;10808:12:::0;;;:4:::1;:12;::::0;;;;:20;;-1:-1:-1;;10808:20:0::1;::::0;;10748:88::o;6890:103::-;2649:6;;-1:-1:-1;;;;;2649:6:0;320:10;2649:22;2641:67;;;;-1:-1:-1;;;2641:67:0;;;;;;;:::i;:::-;6962:15:::1;:23:::0;;;::::1;;-1:-1:-1::0;;;6962:23:0::1;-1:-1:-1::0;;;;6962:23:0;;::::1;::::0;;;::::1;::::0;;6890:103::o;12125:194::-;12191:15;;-1:-1:-1;;;;;12191:15:0;320:10;-1:-1:-1;;;;;12175:31:0;;12167:40;;;;;;12247:21;12279:32;12247:21;12279:12;:32::i;:::-;12156:163;12125:194::o;5928:138::-;-1:-1:-1;;;;;6041:16:0;;5994:7;6041:16;;;:7;:16;;;;;;6021:37;;:19;:37::i;2736:148::-;2649:6;;-1:-1:-1;;;;;2649:6:0;320:10;2649:22;2641:67;;;;-1:-1:-1;;;2641:67:0;;;;;;;:::i;:::-;2843:1:::1;2827:6:::0;;2806:40:::1;::::0;-1:-1:-1;;;;;2827:6:0;;::::1;::::0;2806:40:::1;::::0;2843:1;;2806:40:::1;2874:1;2857:19:::0;;-1:-1:-1;;;;;;2857:19:0::1;::::0;;2736:148::o;6074:167::-;6152:4;6169:42;320:10;6193:9;6204:6;6169:9;:42::i;10572:164::-;2649:6;;-1:-1:-1;;;;;2649:6:0;320:10;2649:22;2641:67;;;;-1:-1:-1;;;2641:67:0;;;;;;;:::i;:::-;10646:6:::1;10641:88;10662:5;:12;10658:1;:16;10641:88;;;10713:4;10696;:14;10701:5;10707:1;10701:8;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;10696:14:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;10696:14:0;:21;;-1:-1:-1;;10696:21:0::1;::::0;::::1;;::::0;;;::::1;::::0;;10676:3;::::1;::::0;::::1;:::i;:::-;;;;10641:88;;;;10572:164:::0;:::o;11918:195::-;11984:15;;-1:-1:-1;;;;;11984:15:0;320:10;-1:-1:-1;;;;;11968:31:0;;11960:40;;;;;;12011:23;12037:24;12055:4;12037:9;:24::i;:::-;12011:50;;12072:33;12089:15;12072:16;:33::i;9740:820::-;2649:6;;-1:-1:-1;;;;;2649:6:0;320:10;2649:22;2641:67;;;;-1:-1:-1;;;2641:67:0;;;;;;;:::i;:::-;9804:11:::1;::::0;-1:-1:-1;;;9804:11:0;::::1;;;9803:12;9795:47;;;::::0;-1:-1:-1;;;9795:47:0;;9741:2:1;9795:47:0::1;::::0;::::1;9723:21:1::0;9780:2;9760:18;;;9753:30;9819:25;9799:18;;;9792:53;9862:18;;9795:47:0::1;9539:347:1::0;9795:47:0::1;9964:15;:34:::0;;-1:-1:-1;;;;;;9964:34:0::1;9910:42;9964:34:::0;;::::1;::::0;;;10009:58:::1;10026:4;9910:42:::0;4156:25:::1;10009:8;:58::i;:::-;10112:16;-1:-1:-1::0;;;;;10112:24:0::1;;:26;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10094:56:0::1;;10159:4;10166:16;-1:-1:-1::0;;;;;10166:21:0::1;;:23;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10094:96;::::0;-1:-1:-1;;;;;;10094:96:0::1;::::0;;;;;;-1:-1:-1;;;;;4217:15:1;;;10094:96:0::1;::::0;::::1;4199:34:1::0;4269:15;;4249:18;;;4242:43;4134:18;;10094:96:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10078:13;:112:::0;;-1:-1:-1;;;;;;10078:112:0::1;-1:-1:-1::0;;;;;10078:112:0;;::::1;;::::0;;10201:15:::1;::::0;::::1;:31;10240:21;10271:4;10277:24;10271:4:::0;10277:9:::1;:24::i;:::-;10302:1;10304::::0;10306:7:::1;2560::::0;2587:6;-1:-1:-1;;;;;2587:6:0;;2522:79;10306:7:::1;10201:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10201:129:0;;;-1:-1:-1;;;;;4934:15:1;;;10201:129:0::1;::::0;::::1;4916:34:1::0;4966:18;;;4959:34;;;;5009:18;;;5002:34;;;;5052:18;;;5045:34;5116:15;;;5095:19;;;5088:44;10314:15:0::1;5148:19:1::0;;;5141:35;4850:19;;10201:129:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10341:11:0::1;:18:::0;;10418:23:::1;10403:12;:38:::0;-1:-1:-1;;;;10452:18:0;;-1:-1:-1;;;10452:18:0;;;;10519:15:::1;::::0;10481:71:::1;::::0;-1:-1:-1;;;10481:71:0;;-1:-1:-1;;;;;10519:15:0;;::::1;10481:71;::::0;::::1;4470:51:1::0;-1:-1:-1;;4537:18:1;;;4530:34;10488:13:0;;;-1:-1:-1;10481:29:0::1;::::0;4443:18:1;;10481:71:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;7263:335::-:0;-1:-1:-1;;;;;7356:19:0;;7348:68;;;;-1:-1:-1;;;7348:68:0;;9336:2:1;7348:68:0;;;9318:21:1;9375:2;9355:18;;;9348:30;9414:34;9394:18;;;9387:62;-1:-1:-1;;;9465:18:1;;;9458:34;9509:19;;7348:68:0;9134:400:1;7348:68:0;-1:-1:-1;;;;;7435:21:0;;7427:68;;;;-1:-1:-1;;;7427:68:0;;6998:2:1;7427:68:0;;;6980:21:1;7037:2;7017:18;;;7010:30;7076:34;7056:18;;;7049:62;-1:-1:-1;;;7127:18:1;;;7120:32;7169:19;;7427:68:0;6796:398:1;7427:68:0;-1:-1:-1;;;;;7506:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7558:32;;10037:25:1;;;7558:32:0;;10010:18:1;7558:32:0;;;;;;;7263:335;;;:::o;7606:1461::-;-1:-1:-1;;;;;7694:18:0;;7686:68;;;;-1:-1:-1;;;7686:68:0;;8930:2:1;7686:68:0;;;8912:21:1;8969:2;8949:18;;;8942:30;9008:34;8988:18;;;8981:62;-1:-1:-1;;;9059:18:1;;;9052:35;9104:19;;7686:68:0;8728:401:1;7686:68:0;-1:-1:-1;;;;;7773:16:0;;7765:64;;;;-1:-1:-1;;;7765:64:0;;6183:2:1;7765:64:0;;;6165:21:1;6222:2;6202:18;;;6195:30;6261:34;6241:18;;;6234:62;-1:-1:-1;;;6312:18:1;;;6305:33;6355:19;;7765:64:0;5981:399:1;7765:64:0;7857:1;7848:6;:10;7840:64;;;;-1:-1:-1;;;7840:64:0;;8520:2:1;7840:64:0;;;8502:21:1;8559:2;8539:18;;;8532:30;8598:34;8578:18;;;8571:62;-1:-1:-1;;;8649:18:1;;;8642:39;8698:19;;7840:64:0;8318:405:1;7840:64:0;7927:1;7915:9;:13;;;7939:9;:13;-1:-1:-1;2587:6:0;-1:-1:-1;;;;;7967:15:0;;;2587:6;;7967:15;;;;:32;;-1:-1:-1;2560:7:0;2587:6;-1:-1:-1;;;;;7986:13:0;;;2587:6;;7986:13;;7967:32;7963:1052;;;-1:-1:-1;;;;;8025:10:0;;;;;;:4;:10;;;;;;;;8024:11;:24;;;;-1:-1:-1;;;;;;8040:8:0;;;;;;:4;:8;;;;;;;;8039:9;8024:24;8016:33;;;;;;8076:13;;-1:-1:-1;;;;;8068:21:0;;;8076:13;;8068:21;:55;;;;-1:-1:-1;8107:15:0;;-1:-1:-1;;;;;8093:30:0;;;8107:15;;8093:30;;8068:55;:83;;;;-1:-1:-1;;;;;;8129:22:0;;;;;;:18;:22;;;;;;;;8127:24;8068:83;:102;;;;-1:-1:-1;8155:15:0;;-1:-1:-1;;;8155:15:0;;;;8068:102;8064:325;;;8238:12;;8228:6;:22;;8220:31;;;;;;-1:-1:-1;;;;;8278:12:0;;;;;;:8;:12;;;;;;8293:15;-1:-1:-1;8270:39:0;;;;;;8343:30;:15;8362:10;8343:30;:::i;:::-;-1:-1:-1;;;;;8328:12:0;;;;;;:8;:12;;;;;:45;8064:325;8441:13;;-1:-1:-1;;;;;8435:19:0;;;8441:13;;8435:19;:55;;;;-1:-1:-1;8474:15:0;;-1:-1:-1;;;;;8458:32:0;;;8474:15;;8458:32;;8435:55;:85;;;;-1:-1:-1;;;;;;8496:24:0;;;;;;:18;:24;;;;;;;;8494:26;8435:85;8431:171;;;8553:1;8541:9;:13;;;8573:9;:13;8431:171;8616:28;8647:24;8665:4;8647:9;:24::i;:::-;8691:6;;8616:55;;-1:-1:-1;;;;8691:6:0;;;;8690:7;:32;;;;-1:-1:-1;8709:13:0;;-1:-1:-1;;;;;8701:21:0;;;8709:13;;8701:21;;8690:32;:47;;;;-1:-1:-1;8726:11:0;;-1:-1:-1;;;8726:11:0;;;;8690:47;8686:318;;;8758:38;8775:20;8758:16;:38::i;:::-;8844:21;8887:22;;8884:105;;8934:35;8947:21;8934:12;:35::i;:::-;8739:265;8686:318;8001:1014;7963:1052;9029:30;9044:4;9049:2;9052:6;9029:14;:30::i;:::-;7606:1461;;;:::o;1377:190::-;1463:7;1499:12;1491:6;;;;1483:29;;;;-1:-1:-1;;;1483:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1523:9:0;1535:5;1539:1;1535;:5;:::i;:::-;1523:17;1377:190;-1:-1:-1;;;;;1377:190:0:o;9574:154::-;9631:15;;-1:-1:-1;;;;;9631:15:0;:39;9656:13;:6;9667:1;9656:10;:13::i;:::-;9631:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;9681:15:0;;-1:-1:-1;;;;;9681:15:0;:39;9706:13;:6;9717:1;9706:10;:13::i;:::-;9681:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7001:254;7068:7;7107;;7096;:18;;7088:73;;;;-1:-1:-1;;;7088:73:0;;6587:2:1;7088:73:0;;;6569:21:1;6626:2;6606:18;;;6599:30;6665:34;6645:18;;;6638:62;-1:-1:-1;;;6716:18:1;;;6709:40;6766:19;;7088:73:0;6385:406:1;7088:73:0;7172:19;7195:10;:8;:10::i;:::-;7172:33;-1:-1:-1;7223:24:0;:7;7172:33;7223:11;:24::i;:::-;7216:31;7001:254;-1:-1:-1;;;7001:254:0:o;9075:483::-;4949:6;:13;;-1:-1:-1;;;;4949:13:0;-1:-1:-1;;;4949:13:0;;;9177:16:::1;::::0;;9191:1:::1;9177:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9177:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9177:16:0::1;9153:40;;9222:4;9204;9209:1;9204:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9204:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9248:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9248:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9204:7;;9248:22;;;;;:15;:22;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9238:4;9243:1;9238:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9238:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9313:15:::1;::::0;9281:62:::1;::::0;9298:4:::1;::::0;9313:15:::1;9331:11:::0;9281:8:::1;:62::i;:::-;9354:15;::::0;:196:::1;::::0;-1:-1:-1;;;9354:196:0;;-1:-1:-1;;;;;9354:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9435:11;;9354:15:::1;::::0;9477:4;;9504::::1;::::0;9524:15:::1;::::0;9354:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;4985:6:0;:14;;-1:-1:-1;;;;4985:14:0;;;-1:-1:-1;;;;9075:483:0:o;10852:146::-;10946:44;10964:6;10972:9;10983:6;10946:17;:44::i;1829:132::-;1887:7;1914:39;1918:1;1921;1914:39;;;;;;;;;;;;;;;;;:3;:39::i;13585:163::-;13626:7;13647:15;13664;13683:19;:17;:19::i;:::-;13646:56;;-1:-1:-1;13646:56:0;-1:-1:-1;13720:20:0;13646:56;;13720:11;:20::i;:::-;13713:27;;;;13585:163;:::o;11006:488::-;11105:15;11122:23;11147:12;11161:23;11186:12;11200:13;11217:19;11228:7;11217:10;:19::i;:::-;-1:-1:-1;;;;;11265:15:0;;;;;;:7;:15;;;;;;11104:132;;-1:-1:-1;11104:132:0;;-1:-1:-1;11104:132:0;;-1:-1:-1;11104:132:0;-1:-1:-1;11104:132:0;-1:-1:-1;11104:132:0;-1:-1:-1;11265:28:0;;11104:132;11265:19;:28::i;:::-;-1:-1:-1;;;;;11247:15:0;;;;;;;:7;:15;;;;;;:46;;;;11325:18;;;;;;;:39;;11348:15;11325:22;:39::i;:::-;-1:-1:-1;;;;;11304:18:0;;;;;;:7;:18;;;;;:60;11376:16;11386:5;11376:9;:16::i;:::-;11403:23;11415:4;11421;11403:11;:23::i;:::-;11459:9;-1:-1:-1;;;;;11442:44:0;11451:6;-1:-1:-1;;;;;11442:44:0;;11470:15;11442:44;;;;10037:25:1;;10025:2;10010:18;;9891:177;11442:44:0;;;;;;;;11093:401;;;;;;11006:488;;;:::o;1969:189::-;2055:7;2090:12;2083:5;2075:28;;;;-1:-1:-1;;;2075:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2114:9:0;2126:5;2130:1;2126;:5;:::i;13756:262::-;13853:7;;13806;;;;4156:25;13927:20;13853:7;4156:25;13927:11;:20::i;:::-;13917:7;:30;13913:61;;;-1:-1:-1;;13957:7:0;;;4156:25;;-1:-1:-1;13756:262:0;-1:-1:-1;13756:262:0:o;13913:61::-;13993:7;;14002;;-1:-1:-1;13756:262:0;-1:-1:-1;13756:262:0:o;12333:471::-;12392:7;12401;12410;12419;12428;12437;12458:23;12483:12;12497:13;12514:42;12526:7;12535:9;;12546;;12514:11;:42::i;:::-;12457:99;;;;;;12567:19;12590:10;:8;:10::i;:::-;12567:33;;12612:15;12629:23;12654:12;12670:46;12682:7;12691:4;12697:5;12704:11;12670;:46::i;:::-;12611:105;;-1:-1:-1;12611:105:0;-1:-1:-1;12611:105:0;-1:-1:-1;12767:15:0;;-1:-1:-1;12784:4:0;;-1:-1:-1;12790:5:0;;-1:-1:-1;;;;;12333:471:0;;;;;;;:::o;1233:136::-;1291:7;1318:43;1322:1;1325;1318:43;;;;;;;;;;;;;;;;;:3;:43::i;1046:179::-;1104:7;;1136:5;1140:1;1136;:5;:::i;:::-;1124:17;;1165:1;1160;:6;;1152:46;;;;-1:-1:-1;;;1152:46:0;;7401:2:1;1152:46:0;;;7383:21:1;7440:2;7420:18;;;7413:30;7479:29;7459:18;;;7452:57;7526:18;;1152:46:0;7199:351:1;11502:212:0;11555:19;11578:10;:8;:10::i;:::-;11555:33;-1:-1:-1;11599:13:0;11615:22;:5;11555:33;11615:9;:22::i;:::-;11689:4;11673:22;;;;:7;:22;;;;;;11599:38;;-1:-1:-1;11673:33:0;;11599:38;11673:26;:33::i;:::-;11664:4;11648:22;;;;:7;:22;;;;;:58;-1:-1:-1;;;11502:212:0:o;11722:147::-;11800:7;;:17;;11812:4;11800:11;:17::i;:::-;11790:7;:27;11841:10;;:20;;11856:4;11841:14;:20::i;:::-;11828:10;:33;-1:-1:-1;;11722:147:0:o;12812:351::-;12905:7;;;;12958:28;12982:3;12958:19;:7;12970:6;12958:11;:19::i;:::-;:23;;:28::i;:::-;12943:43;-1:-1:-1;12997:13:0;13013:29;13038:3;13013:20;:7;13025;13013:11;:20::i;:29::-;12997:45;-1:-1:-1;13053:23:0;13079:28;12997:45;13079:17;:7;13091:4;13079:11;:17::i;:::-;:21;;:28::i;:::-;13053:54;13143:4;;-1:-1:-1;13149:5:0;;-1:-1:-1;12812:351:0;;-1:-1:-1;;;;;12812:351:0:o;13171:409::-;13281:7;;;;13337:24;:7;13349:11;13337;:24::i;:::-;13319:42;-1:-1:-1;13372:12:0;13387:21;:4;13396:11;13387:8;:21::i;:::-;13372:36;-1:-1:-1;13419:13:0;13435:22;:5;13445:11;13435:9;:22::i;:::-;13419:38;-1:-1:-1;13468:23:0;13494:28;13419:38;13494:17;:7;13506:4;13494:11;:17::i;:28::-;13541:7;;;;-1:-1:-1;13567:4:0;;-1:-1:-1;13171:409:0;;-1:-1:-1;;;;;;;13171:409:0:o;1575:246::-;1633:7;1657:6;1653:47;;-1:-1:-1;1687:1:0;1680:8;;1653:47;1710:9;1722:5;1726:1;1722;:5;:::i;:::-;1710:17;-1:-1:-1;1755:1:0;1746:5;1750:1;1710:17;1746:5;:::i;:::-;:10;1738:56;;;;-1:-1:-1;;;1738:56:0;;7757:2:1;1738:56:0;;;7739:21:1;7796:2;7776:18;;;7769:30;7835:34;7815:18;;;7808:62;-1:-1:-1;;;7886:18:1;;;7879:31;7927:19;;1738:56:0;7555:397:1;14:134;82:20;;111:31;82:20;111:31;:::i;:::-;14:134;;;:::o;153:247::-;212:6;265:2;253:9;244:7;240:23;236:32;233:52;;;281:1;278;271:12;233:52;320:9;307:23;339:31;364:5;339:31;:::i;405:251::-;475:6;528:2;516:9;507:7;503:23;499:32;496:52;;;544:1;541;534:12;496:52;576:9;570:16;595:31;620:5;595:31;:::i;661:388::-;729:6;737;790:2;778:9;769:7;765:23;761:32;758:52;;;806:1;803;796:12;758:52;845:9;832:23;864:31;889:5;864:31;:::i;:::-;914:5;-1:-1:-1;971:2:1;956:18;;943:32;984:33;943:32;984:33;:::i;:::-;1036:7;1026:17;;;661:388;;;;;:::o;1054:456::-;1131:6;1139;1147;1200:2;1188:9;1179:7;1175:23;1171:32;1168:52;;;1216:1;1213;1206:12;1168:52;1255:9;1242:23;1274:31;1299:5;1274:31;:::i;:::-;1324:5;-1:-1:-1;1381:2:1;1366:18;;1353:32;1394:33;1353:32;1394:33;:::i;:::-;1054:456;;1446:7;;-1:-1:-1;;;1500:2:1;1485:18;;;;1472:32;;1054:456::o;1515:315::-;1583:6;1591;1644:2;1632:9;1623:7;1619:23;1615:32;1612:52;;;1660:1;1657;1650:12;1612:52;1699:9;1686:23;1718:31;1743:5;1718:31;:::i;:::-;1768:5;1820:2;1805:18;;;;1792:32;;-1:-1:-1;;;1515:315:1:o;1835:1132::-;1919:6;1950:2;1993;1981:9;1972:7;1968:23;1964:32;1961:52;;;2009:1;2006;1999:12;1961:52;2049:9;2036:23;2078:18;2119:2;2111:6;2108:14;2105:34;;;2135:1;2132;2125:12;2105:34;2173:6;2162:9;2158:22;2148:32;;2218:7;2211:4;2207:2;2203:13;2199:27;2189:55;;2240:1;2237;2230:12;2189:55;2276:2;2263:16;2298:2;2294;2291:10;2288:36;;;2304:18;;:::i;:::-;2350:2;2347:1;2343:10;2382:2;2376:9;2445:2;2441:7;2436:2;2432;2428:11;2424:25;2416:6;2412:38;2500:6;2488:10;2485:22;2480:2;2468:10;2465:18;2462:46;2459:72;;;2511:18;;:::i;:::-;2547:2;2540:22;2597:18;;;2631:15;;;;-1:-1:-1;2666:11:1;;;2696;;;2692:20;;2689:33;-1:-1:-1;2686:53:1;;;2735:1;2732;2725:12;2686:53;2757:1;2748:10;;2767:169;2781:2;2778:1;2775:9;2767:169;;;2838:23;2857:3;2838:23;:::i;:::-;2826:36;;2799:1;2792:9;;;;;2882:12;;;;2914;;2767:169;;;-1:-1:-1;2955:6:1;1835:1132;-1:-1:-1;;;;;;;;1835:1132:1:o;2972:241::-;3028:6;3081:2;3069:9;3060:7;3056:23;3052:32;3049:52;;;3097:1;3094;3087:12;3049:52;3136:9;3123:23;3155:28;3177:5;3155:28;:::i;3218:245::-;3285:6;3338:2;3326:9;3317:7;3313:23;3309:32;3306:52;;;3354:1;3351;3344:12;3306:52;3386:9;3380:16;3405:28;3427:5;3405:28;:::i;3468:306::-;3556:6;3564;3572;3625:2;3613:9;3604:7;3600:23;3596:32;3593:52;;;3641:1;3638;3631:12;3593:52;3670:9;3664:16;3654:26;;3720:2;3709:9;3705:18;3699:25;3689:35;;3764:2;3753:9;3749:18;3743:25;3733:35;;3468:306;;;;;:::o;5379:597::-;5491:4;5520:2;5549;5538:9;5531:21;5581:6;5575:13;5624:6;5619:2;5608:9;5604:18;5597:34;5649:1;5659:140;5673:6;5670:1;5667:13;5659:140;;;5768:14;;;5764:23;;5758:30;5734:17;;;5753:2;5730:26;5723:66;5688:10;;5659:140;;;5817:6;5814:1;5811:13;5808:91;;;5887:1;5882:2;5873:6;5862:9;5858:22;5854:31;5847:42;5808:91;-1:-1:-1;5960:2:1;5939:15;-1:-1:-1;;5935:29:1;5920:45;;;;5967:2;5916:54;;5379:597;-1:-1:-1;;;5379:597:1:o;7957:356::-;8159:2;8141:21;;;8178:18;;;8171:30;8237:34;8232:2;8217:18;;8210:62;8304:2;8289:18;;7957:356::o;10073:980::-;10335:4;10383:3;10372:9;10368:19;10414:6;10403:9;10396:25;10440:2;10478:6;10473:2;10462:9;10458:18;10451:34;10521:3;10516:2;10505:9;10501:18;10494:31;10545:6;10580;10574:13;10611:6;10603;10596:22;10649:3;10638:9;10634:19;10627:26;;10688:2;10680:6;10676:15;10662:29;;10709:1;10719:195;10733:6;10730:1;10727:13;10719:195;;;10798:13;;-1:-1:-1;;;;;10794:39:1;10782:52;;10889:15;;;;10854:12;;;;10830:1;10748:9;10719:195;;;-1:-1:-1;;;;;;;10970:32:1;;;;10965:2;10950:18;;10943:60;-1:-1:-1;;;11034:3:1;11019:19;11012:35;10931:3;10073:980;-1:-1:-1;;;10073:980:1:o;11247:128::-;11287:3;11318:1;11314:6;11311:1;11308:13;11305:39;;;11324:18;;:::i;:::-;-1:-1:-1;11360:9:1;;11247:128::o;11380:217::-;11420:1;11446;11436:132;;11490:10;11485:3;11481:20;11478:1;11471:31;11525:4;11522:1;11515:15;11553:4;11550:1;11543:15;11436:132;-1:-1:-1;11582:9:1;;11380:217::o;11602:168::-;11642:7;11708:1;11704;11700:6;11696:14;11693:1;11690:21;11685:1;11678:9;11671:17;11667:45;11664:71;;;11715:18;;:::i;:::-;-1:-1:-1;11755:9:1;;11602:168::o;11775:125::-;11815:4;11843:1;11840;11837:8;11834:34;;;11848:18;;:::i;:::-;-1:-1:-1;11885:9:1;;11775:125::o;11905:135::-;11944:3;-1:-1:-1;;11965:17:1;;11962:43;;;11985:18;;:::i;:::-;-1:-1:-1;12032:1:1;12021:13;;11905:135::o;12045:127::-;12106:10;12101:3;12097:20;12094:1;12087:31;12137:4;12134:1;12127:15;12161:4;12158:1;12151:15;12177:127;12238:10;12233:3;12229:20;12226:1;12219:31;12269:4;12266:1;12259:15;12293:4;12290:1;12283:15;12309:127;12370:10;12365:3;12361:20;12358:1;12351:31;12401:4;12398:1;12391:15;12425:4;12422:1;12415:15;12441:131;-1:-1:-1;;;;;12516:31:1;;12506:42;;12496:70;;12562:1;12559;12552:12;12577:118;12663:5;12656:13;12649:21;12642:5;12639:32;12629:60;;12685:1;12682;12675:12

ipfs://a75dcd264186113e265a1060d661f304a3bb847bde84e96d6e5eef7ff07bf887