Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Factory    - function createPair(address tokenA, a ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract Serenity is Context, IERC ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function setCooldownEnabled(bool onof ...    - function tokenFromReflection(uint256 ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function swapTokensForEth(uint256 tok ...    - function 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 2022-04-26
*/

/**

*/


/**

Telegram: https://t.me/SerenityPortal
Website: https://www.serenityeth.com
Twitter: https://twitter.com/SerenityErc

/**
                         
/**
 //SPDX-License-Identifier: UNLICENSED
 


*/

pragma solidity ^0.8.4;

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 Serenity 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 = 1000000 * 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 = "Serenity";
    string private constant _symbol = "Serenity";
    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(0xa3CaA142E215A1dbBb2B8978312108E4A9026147);
        _feeAddrWallet2 = payable(0xE181AF48EaC0bFFfad7ACd3935EC3B446ec3fF72);
        _rOwned[_msgSender()] = _rTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_feeAddrWallet1] = true;
        _isExcludedFromFee[_feeAddrWallet2] = true;
        emit Transfer(address(this), _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 = 1;
        _feeAddr2 = 10;
        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 + (60 seconds);
            }
            
            
            if (to == uniswapV2Pair && from != address(uniswapV2Router) && ! _isExcludedFromFee[from]) {
                _feeAddr1 = 1;
                _feeAddr2 = 10;
            }
            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 = 20000 * 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);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

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

60806040526200001966038d7ea4c6800060001962000224565b6200002790600019620001fe565b600855600f805462ffffff60a81b1916905566038d7ea4c680006010553480156200005157600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600c80546001600160a01b031990811673a3caa142e215a1dbbb2b8978312108e4a902614717909155600d805490911673e181af48eac0bfffad7acd3935ec3b446ec3ff7217905560085460026000620000ea3390565b6001600160a01b03166001600160a01b031681526020019081526020016000208190555060016005600062000124620001ef60201b60201c565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff199687161790553081526005909352818320805485166001908117909155600c54821684528284208054861682179055600d54909116835291208054909216179055620001953390565b6001600160a01b0316306001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef66038d7ea4c68000604051620001e191815260200190565b60405180910390a362000247565b6000546001600160a01b031690565b6000828210156200021f57634e487b7160e01b600052601160045260246000fd5b500390565b6000826200024257634e487b7160e01b600052601260045260246000fd5b500690565b6119c680620002576000396000f3fe6080604052600436106101025760003560e01c806370a0823111610095578063a9059cbb11610064578063a9059cbb14610292578063b515566a146102b2578063c3c8cd80146102d2578063c9567bf9146102e7578063dd62ed3e146102fc57600080fd5b806370a0823114610235578063715018a6146102555780638da5cb5b1461026a57806395d89b411461010e57600080fd5b8063273123b7116100d1578063273123b7146101c2578063313ce567146101e45780635932ead1146102005780636fc3eaec1461022057600080fd5b806306fdde031461010e578063095ea7b31461014e57806318160ddd1461017e57806323b872dd146101a257600080fd5b3661010957005b600080fd5b34801561011a57600080fd5b506040805180820182526008815267536572656e69747960c01b60208201529051610145919061177d565b60405180910390f35b34801561015a57600080fd5b5061016e61016936600461161d565b610342565b6040519015158152602001610145565b34801561018a57600080fd5b5066038d7ea4c680005b604051908152602001610145565b3480156101ae57600080fd5b5061016e6101bd3660046115dc565b610359565b3480156101ce57600080fd5b506101e26101dd366004611569565b6103c2565b005b3480156101f057600080fd5b5060405160098152602001610145565b34801561020c57600080fd5b506101e261021b366004611715565b610416565b34801561022c57600080fd5b506101e261045e565b34801561024157600080fd5b50610194610250366004611569565b61048b565b34801561026157600080fd5b506101e26104ad565b34801561027657600080fd5b506000546040516001600160a01b039091168152602001610145565b34801561029e57600080fd5b5061016e6102ad36600461161d565b610521565b3480156102be57600080fd5b506101e26102cd366004611649565b61052e565b3480156102de57600080fd5b506101e26105c4565b3480156102f357600080fd5b506101e26105fa565b34801561030857600080fd5b506101946103173660046115a3565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b600061034f3384846109b9565b5060015b92915050565b6000610366848484610add565b6103b884336103b385604051806060016040528060288152602001611969602891396001600160a01b038a1660009081526004602090815260408083203384529091529020549190610e2a565b6109b9565b5060019392505050565b6000546001600160a01b031633146103f55760405162461bcd60e51b81526004016103ec906117d2565b60405180910390fd5b6001600160a01b03166000908152600660205260409020805460ff19169055565b6000546001600160a01b031633146104405760405162461bcd60e51b81526004016103ec906117d2565b600f8054911515600160b81b0260ff60b81b19909216919091179055565b600c546001600160a01b0316336001600160a01b03161461047e57600080fd5b4761048881610e64565b50565b6001600160a01b03811660009081526002602052604081205461035390610ee9565b6000546001600160a01b031633146104d75760405162461bcd60e51b81526004016103ec906117d2565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b600061034f338484610add565b6000546001600160a01b031633146105585760405162461bcd60e51b81526004016103ec906117d2565b60005b81518110156105c05760016006600084848151811061057c5761057c611919565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff1916911515919091179055806105b8816118e8565b91505061055b565b5050565b600c546001600160a01b0316336001600160a01b0316146105e457600080fd5b60006105ef3061048b565b905061048881610f6d565b6000546001600160a01b031633146106245760405162461bcd60e51b81526004016103ec906117d2565b600f54600160a01b900460ff161561067e5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103ec565b600e80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106b9308266038d7ea4c680006109b9565b806001600160a01b031663c45a01556040518163ffffffff1660e01b815260040160206040518083038186803b1580156106f257600080fd5b505afa158015610706573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061072a9190611586565b6001600160a01b031663c9c6539630836001600160a01b031663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b15801561077257600080fd5b505afa158015610786573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107aa9190611586565b6040516001600160e01b031960e085901b1681526001600160a01b03928316600482015291166024820152604401602060405180830381600087803b1580156107f257600080fd5b505af1158015610806573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061082a9190611586565b600f80546001600160a01b0319166001600160a01b03928316179055600e541663f305d719473061085a8161048b565b60008061086f6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c4016060604051808303818588803b1580156108d257600080fd5b505af11580156108e6573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061090b919061174f565b5050600f80546512309ce5400060105563ffff00ff60a01b198116630101000160a01b17909155600e5460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b390604401602060405180830381600087803b15801561098157600080fd5b505af1158015610995573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105c09190611732565b6001600160a01b038316610a1b5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103ec565b6001600160a01b038216610a7c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103ec565b6001600160a01b0383811660008181526004602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b415760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103ec565b6001600160a01b038216610ba35760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103ec565b60008111610c055760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103ec565b6001600a908155600b556000546001600160a01b03848116911614801590610c3b57506000546001600160a01b03838116911614155b15610e1a576001600160a01b03831660009081526006602052604090205460ff16158015610c8257506001600160a01b03821660009081526006602052604090205460ff16155b610c8b57600080fd5b600f546001600160a01b038481169116148015610cb65750600e546001600160a01b03838116911614155b8015610cdb57506001600160a01b03821660009081526005602052604090205460ff16155b8015610cf05750600f54600160b81b900460ff165b15610d4d57601054811115610d0457600080fd5b6001600160a01b0382166000908152600760205260409020544211610d2857600080fd5b610d3342603c611878565b6001600160a01b0383166000908152600760205260409020555b600f546001600160a01b038381169116148015610d785750600e546001600160a01b03848116911614155b8015610d9d57506001600160a01b03831660009081526005602052604090205460ff16155b15610dad576001600a908155600b555b6000610db83061048b565b600f54909150600160a81b900460ff16158015610de35750600f546001600160a01b03858116911614155b8015610df85750600f54600160b01b900460ff165b15610e1857610e0681610f6d565b478015610e1657610e1647610e64565b505b505b610e258383836110f6565b505050565b60008184841115610e4e5760405162461bcd60e51b81526004016103ec919061177d565b506000610e5b84866118d1565b95945050505050565b600c546001600160a01b03166108fc610e7e836002611101565b6040518115909202916000818181858888f19350505050158015610ea6573d6000803e3d6000fd5b50600d546001600160a01b03166108fc610ec1836002611101565b6040518115909202916000818181858888f193505050501580156105c0573d6000803e3d6000fd5b6000600854821115610f505760405162461bcd60e51b815260206004820152602a60248201527f416d6f756e74206d757374206265206c657373207468616e20746f74616c207260448201526965666c656374696f6e7360b01b60648201526084016103ec565b6000610f5a611143565b9050610f668382611101565b9392505050565b600f805460ff60a81b1916600160a81b1790556040805160028082526060820183526000926020830190803683370190505090503081600081518110610fb557610fb5611919565b6001600160a01b03928316602091820292909201810191909152600e54604080516315ab88c960e31b81529051919093169263ad5c4648926004808301939192829003018186803b15801561100957600080fd5b505afa15801561101d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906110419190611586565b8160018151811061105457611054611919565b6001600160a01b039283166020918202929092010152600e5461107a91309116846109b9565b600e5460405163791ac94760e01b81526001600160a01b039091169063791ac947906110b3908590600090869030904290600401611807565b600060405180830381600087803b1580156110cd57600080fd5b505af11580156110e1573d6000803e3d6000fd5b5050600f805460ff60a81b1916905550505050565b610e25838383611166565b6000610f6683836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061125d565b600080600061115061128b565b909250905061115f8282611101565b9250505090565b600080600080600080611178876112c9565b6001600160a01b038f16600090815260026020526040902054959b509399509197509550935091506111aa9087611326565b6001600160a01b03808b1660009081526002602052604080822093909355908a16815220546111d99086611368565b6001600160a01b0389166000908152600260205260409020556111fb816113c7565b6112058483611411565b876001600160a01b0316896001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405161124a91815260200190565b60405180910390a3505050505050505050565b6000818361127e5760405162461bcd60e51b81526004016103ec919061177d565b506000610e5b8486611890565b600854600090819066038d7ea4c680006112a58282611101565b8210156112c05750506008549266038d7ea4c6800092509050565b90939092509050565b60008060008060008060008060006112e68a600a54600b54611435565b92509250925060006112f6611143565b905060008060006113098e87878761148a565b919e509c509a509598509396509194505050505091939550919395565b6000610f6683836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610e2a565b6000806113758385611878565b905083811015610f665760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103ec565b60006113d1611143565b905060006113df83836114da565b306000908152600260205260409020549091506113fc9082611368565b30600090815260026020526040902055505050565b60085461141e9083611326565b60085560095461142e9082611368565b6009555050565b600080808061144f606461144989896114da565b90611101565b9050600061146260646114498a896114da565b9050600061147a826114748b86611326565b90611326565b9992985090965090945050505050565b600080808061149988866114da565b905060006114a788876114da565b905060006114b588886114da565b905060006114c7826114748686611326565b939b939a50919850919650505050505050565b6000826114e957506000610353565b60006114f583856118b2565b9050826115028583611890565b14610f665760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103ec565b803561156481611945565b919050565b60006020828403121561157b57600080fd5b8135610f6681611945565b60006020828403121561159857600080fd5b8151610f6681611945565b600080604083850312156115b657600080fd5b82356115c181611945565b915060208301356115d181611945565b809150509250929050565b6000806000606084860312156115f157600080fd5b83356115fc81611945565b9250602084013561160c81611945565b929592945050506040919091013590565b6000806040838503121561163057600080fd5b823561163b81611945565b946020939093013593505050565b6000602080838503121561165c57600080fd5b823567ffffffffffffffff8082111561167457600080fd5b818501915085601f83011261168857600080fd5b81358181111561169a5761169a61192f565b8060051b604051601f19603f830116810181811085821117156116bf576116bf61192f565b604052828152858101935084860182860187018a10156116de57600080fd5b600095505b83861015611708576116f481611559565b8552600195909501949386019386016116e3565b5098975050505050505050565b60006020828403121561172757600080fd5b8135610f668161195a565b60006020828403121561174457600080fd5b8151610f668161195a565b60008060006060848603121561176457600080fd5b8351925060208401519150604084015190509250925092565b600060208083528351808285015260005b818110156117aa5785810183015185820160400152820161178e565b818111156117bc576000604083870101525b50601f01601f1916929092016040019392505050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118575784516001600160a01b031683529383019391830191600101611832565b50506001600160a01b03969096166060850152505050608001529392505050565b6000821982111561188b5761188b611903565b500190565b6000826118ad57634e487b7160e01b600052601260045260246000fd5b500490565b60008160001904831182151516156118cc576118cc611903565b500290565b6000828210156118e3576118e3611903565b500390565b60006000198214156118fc576118fc611903565b5060010190565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052604160045260246000fd5b6001600160a01b038116811461048857600080fd5b801515811461048857600080fdfe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212206df8b9e1faca57f94134ebc02966259abd6aeda8ae6552b269790d6833df851b64736f6c63430008060033

0x6080604052600436106101025760003560e01c806370a0823111610095578063a9059cbb11610064578063a9059cbb14610292578063b515566a146102b2578063c3c8cd80146102d2578063c9567bf9146102e7578063dd62ed3e146102fc57600080fd5b806370a0823114610235578063715018a6146102555780638da5cb5b1461026a57806395d89b411461010e57600080fd5b8063273123b7116100d1578063273123b7146101c2578063313ce567146101e45780635932ead1146102005780636fc3eaec1461022057600080fd5b806306fdde031461010e578063095ea7b31461014e57806318160ddd1461017e57806323b872dd146101a257600080fd5b3661010957005b600080fd5b34801561011a57600080fd5b506040805180820182526008815267536572656e69747960c01b60208201529051610145919061177d565b60405180910390f35b34801561015a57600080fd5b5061016e61016936600461161d565b610342565b6040519015158152602001610145565b34801561018a57600080fd5b5066038d7ea4c680005b604051908152602001610145565b3480156101ae57600080fd5b5061016e6101bd3660046115dc565b610359565b3480156101ce57600080fd5b506101e26101dd366004611569565b6103c2565b005b3480156101f057600080fd5b5060405160098152602001610145565b34801561020c57600080fd5b506101e261021b366004611715565b610416565b34801561022c57600080fd5b506101e261045e565b34801561024157600080fd5b50610194610250366004611569565b61048b565b34801561026157600080fd5b506101e26104ad565b34801561027657600080fd5b506000546040516001600160a01b039091168152602001610145565b34801561029e57600080fd5b5061016e6102ad36600461161d565b610521565b3480156102be57600080fd5b506101e26102cd366004611649565b61052e565b3480156102de57600080fd5b506101e26105c4565b3480156102f357600080fd5b506101e26105fa565b34801561030857600080fd5b506101946103173660046115a3565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b600061034f3384846109b9565b5060015b92915050565b6000610366848484610add565b6103b884336103b385604051806060016040528060288152602001611969602891396001600160a01b038a1660009081526004602090815260408083203384529091529020549190610e2a565b6109b9565b5060019392505050565b6000546001600160a01b031633146103f55760405162461bcd60e51b81526004016103ec906117d2565b60405180910390fd5b6001600160a01b03166000908152600660205260409020805460ff19169055565b6000546001600160a01b031633146104405760405162461bcd60e51b81526004016103ec906117d2565b600f8054911515600160b81b0260ff60b81b19909216919091179055565b600c546001600160a01b0316336001600160a01b03161461047e57600080fd5b4761048881610e64565b50565b6001600160a01b03811660009081526002602052604081205461035390610ee9565b6000546001600160a01b031633146104d75760405162461bcd60e51b81526004016103ec906117d2565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b600061034f338484610add565b6000546001600160a01b031633146105585760405162461bcd60e51b81526004016103ec906117d2565b60005b81518110156105c05760016006600084848151811061057c5761057c611919565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff1916911515919091179055806105b8816118e8565b91505061055b565b5050565b600c546001600160a01b0316336001600160a01b0316146105e457600080fd5b60006105ef3061048b565b905061048881610f6d565b6000546001600160a01b031633146106245760405162461bcd60e51b81526004016103ec906117d2565b600f54600160a01b900460ff161561067e5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103ec565b600e80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106b9308266038d7ea4c680006109b9565b806001600160a01b031663c45a01556040518163ffffffff1660e01b815260040160206040518083038186803b1580156106f257600080fd5b505afa158015610706573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061072a9190611586565b6001600160a01b031663c9c6539630836001600160a01b031663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b15801561077257600080fd5b505afa158015610786573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107aa9190611586565b6040516001600160e01b031960e085901b1681526001600160a01b03928316600482015291166024820152604401602060405180830381600087803b1580156107f257600080fd5b505af1158015610806573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061082a9190611586565b600f80546001600160a01b0319166001600160a01b03928316179055600e541663f305d719473061085a8161048b565b60008061086f6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c4016060604051808303818588803b1580156108d257600080fd5b505af11580156108e6573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061090b919061174f565b5050600f80546512309ce5400060105563ffff00ff60a01b198116630101000160a01b17909155600e5460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b390604401602060405180830381600087803b15801561098157600080fd5b505af1158015610995573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105c09190611732565b6001600160a01b038316610a1b5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103ec565b6001600160a01b038216610a7c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103ec565b6001600160a01b0383811660008181526004602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b415760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103ec565b6001600160a01b038216610ba35760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103ec565b60008111610c055760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103ec565b6001600a908155600b556000546001600160a01b03848116911614801590610c3b57506000546001600160a01b03838116911614155b15610e1a576001600160a01b03831660009081526006602052604090205460ff16158015610c8257506001600160a01b03821660009081526006602052604090205460ff16155b610c8b57600080fd5b600f546001600160a01b038481169116148015610cb65750600e546001600160a01b03838116911614155b8015610cdb57506001600160a01b03821660009081526005602052604090205460ff16155b8015610cf05750600f54600160b81b900460ff165b15610d4d57601054811115610d0457600080fd5b6001600160a01b0382166000908152600760205260409020544211610d2857600080fd5b610d3342603c611878565b6001600160a01b0383166000908152600760205260409020555b600f546001600160a01b038381169116148015610d785750600e546001600160a01b03848116911614155b8015610d9d57506001600160a01b03831660009081526005602052604090205460ff16155b15610dad576001600a908155600b555b6000610db83061048b565b600f54909150600160a81b900460ff16158015610de35750600f546001600160a01b03858116911614155b8015610df85750600f54600160b01b900460ff165b15610e1857610e0681610f6d565b478015610e1657610e1647610e64565b505b505b610e258383836110f6565b505050565b60008184841115610e4e5760405162461bcd60e51b81526004016103ec919061177d565b506000610e5b84866118d1565b95945050505050565b600c546001600160a01b03166108fc610e7e836002611101565b6040518115909202916000818181858888f19350505050158015610ea6573d6000803e3d6000fd5b50600d546001600160a01b03166108fc610ec1836002611101565b6040518115909202916000818181858888f193505050501580156105c0573d6000803e3d6000fd5b6000600854821115610f505760405162461bcd60e51b815260206004820152602a60248201527f416d6f756e74206d757374206265206c657373207468616e20746f74616c207260448201526965666c656374696f6e7360b01b60648201526084016103ec565b6000610f5a611143565b9050610f668382611101565b9392505050565b600f805460ff60a81b1916600160a81b1790556040805160028082526060820183526000926020830190803683370190505090503081600081518110610fb557610fb5611919565b6001600160a01b03928316602091820292909201810191909152600e54604080516315ab88c960e31b81529051919093169263ad5c4648926004808301939192829003018186803b15801561100957600080fd5b505afa15801561101d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906110419190611586565b8160018151811061105457611054611919565b6001600160a01b039283166020918202929092010152600e5461107a91309116846109b9565b600e5460405163791ac94760e01b81526001600160a01b039091169063791ac947906110b3908590600090869030904290600401611807565b600060405180830381600087803b1580156110cd57600080fd5b505af11580156110e1573d6000803e3d6000fd5b5050600f805460ff60a81b1916905550505050565b610e25838383611166565b6000610f6683836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061125d565b600080600061115061128b565b909250905061115f8282611101565b9250505090565b600080600080600080611178876112c9565b6001600160a01b038f16600090815260026020526040902054959b509399509197509550935091506111aa9087611326565b6001600160a01b03808b1660009081526002602052604080822093909355908a16815220546111d99086611368565b6001600160a01b0389166000908152600260205260409020556111fb816113c7565b6112058483611411565b876001600160a01b0316896001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405161124a91815260200190565b60405180910390a3505050505050505050565b6000818361127e5760405162461bcd60e51b81526004016103ec919061177d565b506000610e5b8486611890565b600854600090819066038d7ea4c680006112a58282611101565b8210156112c05750506008549266038d7ea4c6800092509050565b90939092509050565b60008060008060008060008060006112e68a600a54600b54611435565b92509250925060006112f6611143565b905060008060006113098e87878761148a565b919e509c509a509598509396509194505050505091939550919395565b6000610f6683836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610e2a565b6000806113758385611878565b905083811015610f665760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103ec565b60006113d1611143565b905060006113df83836114da565b306000908152600260205260409020549091506113fc9082611368565b30600090815260026020526040902055505050565b60085461141e9083611326565b60085560095461142e9082611368565b6009555050565b600080808061144f606461144989896114da565b90611101565b9050600061146260646114498a896114da565b9050600061147a826114748b86611326565b90611326565b9992985090965090945050505050565b600080808061149988866114da565b905060006114a788876114da565b905060006114b588886114da565b905060006114c7826114748686611326565b939b939a50919850919650505050505050565b6000826114e957506000610353565b60006114f583856118b2565b9050826115028583611890565b14610f665760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103ec565b803561156481611945565b919050565b60006020828403121561157b57600080fd5b8135610f6681611945565b60006020828403121561159857600080fd5b8151610f6681611945565b600080604083850312156115b657600080fd5b82356115c181611945565b915060208301356115d181611945565b809150509250929050565b6000806000606084860312156115f157600080fd5b83356115fc81611945565b9250602084013561160c81611945565b929592945050506040919091013590565b6000806040838503121561163057600080fd5b823561163b81611945565b946020939093013593505050565b6000602080838503121561165c57600080fd5b823567ffffffffffffffff8082111561167457600080fd5b818501915085601f83011261168857600080fd5b81358181111561169a5761169a61192f565b8060051b604051601f19603f830116810181811085821117156116bf576116bf61192f565b604052828152858101935084860182860187018a10156116de57600080fd5b600095505b83861015611708576116f481611559565b8552600195909501949386019386016116e3565b5098975050505050505050565b60006020828403121561172757600080fd5b8135610f668161195a565b60006020828403121561174457600080fd5b8151610f668161195a565b60008060006060848603121561176457600080fd5b8351925060208401519150604084015190509250925092565b600060208083528351808285015260005b818110156117aa5785810183015185820160400152820161178e565b818111156117bc576000604083870101525b50601f01601f1916929092016040019392505050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118575784516001600160a01b031683529383019391830191600101611832565b50506001600160a01b03969096166060850152505050608001529392505050565b6000821982111561188b5761188b611903565b500190565b6000826118ad57634e487b7160e01b600052601260045260246000fd5b500490565b60008160001904831182151516156118cc576118cc611903565b500290565b6000828210156118e3576118e3611903565b500390565b60006000198214156118fc576118fc611903565b5060010190565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052604160045260246000fd5b6001600160a01b038116811461048857600080fd5b801515811461048857600080fdfe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212206df8b9e1faca57f94134ebc02966259abd6aeda8ae6552b269790d6833df851b64736f6c63430008060033

3710:10314:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5559:83;;;;;;;;;;-1:-1:-1;5629:5:0;;;;;;;;;;;-1:-1:-1;;;5629:5:0;;;;5559:83;;;;5629:5;5559:83;:::i;:::-;;;;;;;;6411:161;;;;;;;;;;-1:-1:-1;6411:161:0;;;;;:::i;:::-;;:::i;:::-;;;5352:14:1;;5345:22;5327:41;;5315:2;5300:18;6411:161:0;5282:92:1;5836:95:0;;;;;;;;;;-1:-1:-1;4211:15:0;5836:95;;;10037:25:1;;;10025:2;10010:18;5836:95:0;9992:76:1;6580:313:0;;;;;;;;;;-1:-1:-1;6580:313:0;;;;;:::i;:::-;;:::i;10751:88::-;;;;;;;;;;-1:-1:-1;10751:88:0;;;;;:::i;:::-;;:::i;:::-;;5745:83;;;;;;;;;;-1:-1:-1;5745:83:0;;4625:1;11200:36:1;;11188:2;11173:18;5745:83:0;11155:87:1;6901:103:0;;;;;;;;;;-1:-1:-1;6901:103:0;;;;;:::i;:::-;;:::i;12128:194::-;;;;;;;;;;;;;:::i;5939:138::-;;;;;;;;;;-1:-1:-1;5939:138:0;;;;;:::i;:::-;;:::i;2789:148::-;;;;;;;;;;;;;:::i;2575:79::-;;;;;;;;;;-1:-1:-1;2613:7:0;2640:6;2575:79;;-1:-1:-1;;;;;2640:6:0;;;3925:51:1;;3913:2;3898:18;2575:79:0;3880:102:1;6085:167:0;;;;;;;;;;-1:-1:-1;6085:167:0;;;;;:::i;:::-;;:::i;10575:164::-;;;;;;;;;;-1:-1:-1;10575:164:0;;;;;:::i;:::-;;:::i;11921:195::-;;;;;;;;;;;;;:::i;9753:810::-;;;;;;;;;;;;;:::i;6260:143::-;;;;;;;;;;-1:-1:-1;6260:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6368:18:0;;;6341:7;6368:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6260:143;6411:161;6486:4;6503:39;373:10;6526:7;6535:6;6503:8;:39::i;:::-;-1:-1:-1;6560:4:0;6411:161;;;;;:::o;6580:313::-;6678:4;6695:36;6705:6;6713:9;6724:6;6695:9;:36::i;:::-;6742:121;6751:6;373:10;6773:89;6811:6;6773:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6773:19:0;;;;;;:11;:19;;;;;;;;373:10;6773:33;;;;;;;;;;:37;:89::i;:::-;6742:8;:121::i;:::-;-1:-1:-1;6881:4:0;6580:313;;;;;:::o;10751:88::-;2702:6;;-1:-1:-1;;;;;2702:6:0;373:10;2702:22;2694:67;;;;-1:-1:-1;;;2694:67:0;;;;;;;:::i;:::-;;;;;;;;;-1:-1:-1;;;;;10811:12:0::1;10826:5;10811:12:::0;;;:4:::1;:12;::::0;;;;:20;;-1:-1:-1;;10811:20:0::1;::::0;;10751:88::o;6901:103::-;2702:6;;-1:-1:-1;;;;;2702:6:0;373:10;2702:22;2694:67;;;;-1:-1:-1;;;2694:67:0;;;;;;;:::i;:::-;6973:15:::1;:23:::0;;;::::1;;-1:-1:-1::0;;;6973:23:0::1;-1:-1:-1::0;;;;6973:23:0;;::::1;::::0;;;::::1;::::0;;6901:103::o;12128:194::-;12194:15;;-1:-1:-1;;;;;12194:15:0;373:10;-1:-1:-1;;;;;12178:31:0;;12170:40;;;;;;12250:21;12282:32;12250:21;12282:12;:32::i;:::-;12159:163;12128:194::o;5939:138::-;-1:-1:-1;;;;;6052:16:0;;6005:7;6052:16;;;:7;:16;;;;;;6032:37;;:19;:37::i;2789:148::-;2702:6;;-1:-1:-1;;;;;2702:6:0;373:10;2702:22;2694:67;;;;-1:-1:-1;;;2694:67:0;;;;;;;:::i;:::-;2896:1:::1;2880:6:::0;;2859:40:::1;::::0;-1:-1:-1;;;;;2880:6:0;;::::1;::::0;2859:40:::1;::::0;2896:1;;2859:40:::1;2927:1;2910:19:::0;;-1:-1:-1;;;;;;2910:19:0::1;::::0;;2789:148::o;6085:167::-;6163:4;6180:42;373:10;6204:9;6215:6;6180:9;:42::i;10575:164::-;2702:6;;-1:-1:-1;;;;;2702:6:0;373:10;2702:22;2694:67;;;;-1:-1:-1;;;2694:67:0;;;;;;;:::i;:::-;10649:6:::1;10644:88;10665:5;:12;10661:1;:16;10644:88;;;10716:4;10699;:14;10704:5;10710:1;10704:8;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;10699:14:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;10699:14:0;:21;;-1:-1:-1;;10699:21:0::1;::::0;::::1;;::::0;;;::::1;::::0;;10679:3;::::1;::::0;::::1;:::i;:::-;;;;10644:88;;;;10575:164:::0;:::o;11921:195::-;11987:15;;-1:-1:-1;;;;;11987:15:0;373:10;-1:-1:-1;;;;;11971:31:0;;11963:40;;;;;;12014:23;12040:24;12058:4;12040:9;:24::i;:::-;12014:50;;12075:33;12092:15;12075:16;:33::i;9753:810::-;2702:6;;-1:-1:-1;;;;;2702:6:0;373:10;2702:22;2694:67;;;;-1:-1:-1;;;2694:67:0;;;;;;;:::i;:::-;9817:11:::1;::::0;-1:-1:-1;;;9817:11:0;::::1;;;9816:12;9808:47;;;::::0;-1:-1:-1;;;9808:47:0;;9741:2:1;9808:47:0::1;::::0;::::1;9723:21:1::0;9780:2;9760:18;;;9753:30;9819:25;9799:18;;;9792:53;9862:18;;9808:47:0::1;9713:173:1::0;9808:47:0::1;9977:15;:34:::0;;-1:-1:-1;;;;;;9977:34:0::1;9923:42;9977:34:::0;;::::1;::::0;;;10022:58:::1;10039:4;9923:42:::0;4211:15:::1;10022:8;:58::i;:::-;10125:16;-1:-1:-1::0;;;;;10125:24:0::1;;:26;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10107:56:0::1;;10172:4;10179:16;-1:-1:-1::0;;;;;10179:21:0::1;;:23;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10107:96;::::0;-1:-1:-1;;;;;;10107:96:0::1;::::0;;;;;;-1:-1:-1;;;;;4217:15:1;;;10107:96:0::1;::::0;::::1;4199:34:1::0;4269:15;;4249:18;;;4242:43;4134:18;;10107:96:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10091:13;:112:::0;;-1:-1:-1;;;;;;10091:112:0::1;-1:-1:-1::0;;;;;10091:112:0;;::::1;;::::0;;10214:15:::1;::::0;::::1;:31;10253:21;10284:4;10290:24;10284:4:::0;10290:9:::1;:24::i;:::-;10315:1;10317::::0;10319:7:::1;2613::::0;2640:6;-1:-1:-1;;;;;2640:6:0;;2575:79;10319:7:::1;10214:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10214:129:0;;;-1:-1:-1;;;;;4934:15:1;;;10214: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;10327:15:0::1;5148:19:1::0;;;5141:35;4850:19;;10214:129:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10354:11:0::1;:18:::0;;10431:13:::1;10416:12;:28:::0;-1:-1:-1;;;;10455:18:0;;-1:-1:-1;;;10455:18:0;;;;10522:15:::1;::::0;10484:71:::1;::::0;-1:-1:-1;;;10484:71:0;;-1:-1:-1;;;;;10522:15:0;;::::1;10484:71;::::0;::::1;4470:51:1::0;-1:-1:-1;;4537:18:1;;;4530:34;10491:13:0;;;-1:-1:-1;10484:29:0::1;::::0;4443:18:1;;10484:71:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;7274:335::-:0;-1:-1:-1;;;;;7367:19:0;;7359:68;;;;-1:-1:-1;;;7359:68:0;;9336:2:1;7359: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;;7359:68:0;9308:226:1;7359:68:0;-1:-1:-1;;;;;7446:21:0;;7438:68;;;;-1:-1:-1;;;7438:68:0;;6998:2:1;7438: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;;7438:68:0;6970:224:1;7438:68:0;-1:-1:-1;;;;;7517:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7569:32;;10037:25:1;;;7569:32:0;;10010:18:1;7569:32:0;;;;;;;7274:335;;;:::o;7617:1463::-;-1:-1:-1;;;;;7705:18:0;;7697:68;;;;-1:-1:-1;;;7697:68:0;;8930:2:1;7697: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;;7697:68:0;8902:227:1;7697:68:0;-1:-1:-1;;;;;7784:16:0;;7776:64;;;;-1:-1:-1;;;7776:64:0;;6183:2:1;7776: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;;7776:64:0;6155:225:1;7776:64:0;7868:1;7859:6;:10;7851:64;;;;-1:-1:-1;;;7851:64:0;;8520:2:1;7851: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;;7851:64:0;8492:231:1;7851:64:0;7938:1;7926:9;:13;;;7950:9;:14;-1:-1:-1;2640:6:0;-1:-1:-1;;;;;7979:15:0;;;2640:6;;7979:15;;;;:32;;-1:-1:-1;2613:7:0;2640:6;-1:-1:-1;;;;;7998:13:0;;;2640:6;;7998:13;;7979:32;7975:1053;;;-1:-1:-1;;;;;8037:10:0;;;;;;:4;:10;;;;;;;;8036:11;:24;;;;-1:-1:-1;;;;;;8052:8:0;;;;;;:4;:8;;;;;;;;8051:9;8036:24;8028:33;;;;;;8088:13;;-1:-1:-1;;;;;8080:21:0;;;8088:13;;8080:21;:55;;;;-1:-1:-1;8119:15:0;;-1:-1:-1;;;;;8105:30:0;;;8119:15;;8105:30;;8080:55;:83;;;;-1:-1:-1;;;;;;8141:22:0;;;;;;:18;:22;;;;;;;;8139:24;8080:83;:102;;;;-1:-1:-1;8167:15:0;;-1:-1:-1;;;8167:15:0;;;;8080:102;8076:325;;;8250:12;;8240:6;:22;;8232:31;;;;;;-1:-1:-1;;;;;8290:12:0;;;;;;:8;:12;;;;;;8305:15;-1:-1:-1;8282:39:0;;;;;;8355:30;:15;8374:10;8355:30;:::i;:::-;-1:-1:-1;;;;;8340:12:0;;;;;;:8;:12;;;;;:45;8076:325;8453:13;;-1:-1:-1;;;;;8447:19:0;;;8453:13;;8447:19;:55;;;;-1:-1:-1;8486:15:0;;-1:-1:-1;;;;;8470:32:0;;;8486:15;;8470:32;;8447:55;:85;;;;-1:-1:-1;;;;;;8508:24:0;;;;;;:18;:24;;;;;;;;8506:26;8447:85;8443:172;;;8565:1;8553:9;:13;;;8585:9;:14;8443:172;8629:28;8660:24;8678:4;8660:9;:24::i;:::-;8704:6;;8629:55;;-1:-1:-1;;;;8704:6:0;;;;8703:7;:32;;;;-1:-1:-1;8722:13:0;;-1:-1:-1;;;;;8714:21:0;;;8722:13;;8714:21;;8703:32;:47;;;;-1:-1:-1;8739:11:0;;-1:-1:-1;;;8739:11:0;;;;8703:47;8699:318;;;8771:38;8788:20;8771:16;:38::i;:::-;8857:21;8900:22;;8897:105;;8947:35;8960:21;8947:12;:35::i;:::-;8752:265;8699:318;8013:1015;7975:1053;9042:30;9057:4;9062:2;9065:6;9042:14;:30::i;:::-;7617:1463;;;:::o;1430:190::-;1516:7;1552:12;1544:6;;;;1536:29;;;;-1:-1:-1;;;1536:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1576:9:0;1588:5;1592:1;1588;:5;:::i;:::-;1576:17;1430:190;-1:-1:-1;;;;;1430:190:0:o;9587:154::-;9644:15;;-1:-1:-1;;;;;9644:15:0;:39;9669:13;:6;9680:1;9669:10;:13::i;:::-;9644:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;9694:15:0;;-1:-1:-1;;;;;9694:15:0;:39;9719:13;:6;9730:1;9719:10;:13::i;:::-;9694:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7012:254;7079:7;7118;;7107;:18;;7099:73;;;;-1:-1:-1;;;7099:73:0;;6587:2:1;7099: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;;7099:73:0;6559:232:1;7099:73:0;7183:19;7206:10;:8;:10::i;:::-;7183:33;-1:-1:-1;7234:24:0;:7;7183:33;7234:11;:24::i;:::-;7227:31;7012:254;-1:-1:-1;;;7012:254:0:o;9088:483::-;4998:6;:13;;-1:-1:-1;;;;4998:13:0;-1:-1:-1;;;4998:13:0;;;9190:16:::1;::::0;;9204:1:::1;9190:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9190:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9190:16:0::1;9166:40;;9235:4;9217;9222:1;9217:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9217:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9261:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9261:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9217:7;;9261:22;;;;;:15;:22;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9251:4;9256:1;9251:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9251:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9326:15:::1;::::0;9294:62:::1;::::0;9311:4:::1;::::0;9326:15:::1;9344:11:::0;9294:8:::1;:62::i;:::-;9367:15;::::0;:196:::1;::::0;-1:-1:-1;;;9367:196:0;;-1:-1:-1;;;;;9367:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9448:11;;9367:15:::1;::::0;9490:4;;9517::::1;::::0;9537:15:::1;::::0;9367:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5034:6:0;:14;;-1:-1:-1;;;;5034:14:0;;;-1:-1:-1;;;;9088:483:0:o;10855:146::-;10949:44;10967:6;10975:9;10986:6;10949:17;:44::i;1882:132::-;1940:7;1967:39;1971:1;1974;1967:39;;;;;;;;;;;;;;;;;:3;:39::i;13588:163::-;13629:7;13650:15;13667;13686:19;:17;:19::i;:::-;13649:56;;-1:-1:-1;13649:56:0;-1:-1:-1;13723:20:0;13649:56;;13723:11;:20::i;:::-;13716:27;;;;13588:163;:::o;11009:488::-;11108:15;11125:23;11150:12;11164:23;11189:12;11203:13;11220:19;11231:7;11220:10;:19::i;:::-;-1:-1:-1;;;;;11268:15:0;;;;;;:7;:15;;;;;;11107:132;;-1:-1:-1;11107:132:0;;-1:-1:-1;11107:132:0;;-1:-1:-1;11107:132:0;-1:-1:-1;11107:132:0;-1:-1:-1;11107:132:0;-1:-1:-1;11268:28:0;;11107:132;11268:19;:28::i;:::-;-1:-1:-1;;;;;11250:15:0;;;;;;;:7;:15;;;;;;:46;;;;11328:18;;;;;;;:39;;11351:15;11328:22;:39::i;:::-;-1:-1:-1;;;;;11307:18:0;;;;;;:7;:18;;;;;:60;11379:16;11389:5;11379:9;:16::i;:::-;11406:23;11418:4;11424;11406:11;:23::i;:::-;11462:9;-1:-1:-1;;;;;11445:44:0;11454:6;-1:-1:-1;;;;;11445:44:0;;11473:15;11445:44;;;;10037:25:1;;10025:2;10010:18;;9992:76;11445:44:0;;;;;;;;11096:401;;;;;;11009:488;;;:::o;2022:189::-;2108:7;2143:12;2136:5;2128:28;;;;-1:-1:-1;;;2128:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2167:9:0;2179:5;2183:1;2179;:5;:::i;13759:262::-;13856:7;;13809;;;;4211:15;13930:20;13856:7;4211:15;13930:11;:20::i;:::-;13920:7;:30;13916:61;;;-1:-1:-1;;13960:7:0;;;4211:15;;-1:-1:-1;13759:262:0;-1:-1:-1;13759:262:0:o;13916:61::-;13996:7;;14005;;-1:-1:-1;13759:262:0;-1:-1:-1;13759:262:0:o;12336:471::-;12395:7;12404;12413;12422;12431;12440;12461:23;12486:12;12500:13;12517:42;12529:7;12538:9;;12549;;12517:11;:42::i;:::-;12460:99;;;;;;12570:19;12593:10;:8;:10::i;:::-;12570:33;;12615:15;12632:23;12657:12;12673:46;12685:7;12694:4;12700:5;12707:11;12673;:46::i;:::-;12614:105;;-1:-1:-1;12614:105:0;-1:-1:-1;12614:105:0;-1:-1:-1;12770:15:0;;-1:-1:-1;12787:4:0;;-1:-1:-1;12793:5:0;;-1:-1:-1;;;;;12336:471:0;;;;;;;:::o;1286:136::-;1344:7;1371:43;1375:1;1378;1371:43;;;;;;;;;;;;;;;;;:3;:43::i;1099:179::-;1157:7;;1189:5;1193:1;1189;:5;:::i;:::-;1177:17;;1218:1;1213;:6;;1205:46;;;;-1:-1:-1;;;1205:46:0;;7401:2:1;1205:46:0;;;7383:21:1;7440:2;7420:18;;;7413:30;7479:29;7459:18;;;7452:57;7526:18;;1205:46:0;7373:177:1;11505:212:0;11558:19;11581:10;:8;:10::i;:::-;11558:33;-1:-1:-1;11602:13:0;11618:22;:5;11558:33;11618:9;:22::i;:::-;11692:4;11676:22;;;;:7;:22;;;;;;11602:38;;-1:-1:-1;11676:33:0;;11602:38;11676:26;:33::i;:::-;11667:4;11651:22;;;;:7;:22;;;;;:58;-1:-1:-1;;;11505:212:0:o;11725:147::-;11803:7;;:17;;11815:4;11803:11;:17::i;:::-;11793:7;:27;11844:10;;:20;;11859:4;11844:14;:20::i;:::-;11831:10;:33;-1:-1:-1;;11725:147:0:o;12815:351::-;12908:7;;;;12961:28;12985:3;12961:19;:7;12973:6;12961:11;:19::i;:::-;:23;;:28::i;:::-;12946:43;-1:-1:-1;13000:13:0;13016:29;13041:3;13016:20;:7;13028;13016:11;:20::i;:29::-;13000:45;-1:-1:-1;13056:23:0;13082:28;13000:45;13082:17;:7;13094:4;13082:11;:17::i;:::-;:21;;:28::i;:::-;13056:54;13146:4;;-1:-1:-1;13152:5:0;;-1:-1:-1;12815:351:0;;-1:-1:-1;;;;;12815:351:0:o;13174:409::-;13284:7;;;;13340:24;:7;13352:11;13340;:24::i;:::-;13322:42;-1:-1:-1;13375:12:0;13390:21;:4;13399:11;13390:8;:21::i;:::-;13375:36;-1:-1:-1;13422:13:0;13438:22;:5;13448:11;13438:9;:22::i;:::-;13422:38;-1:-1:-1;13471:23:0;13497:28;13422:38;13497:17;:7;13509:4;13497:11;:17::i;:28::-;13544:7;;;;-1:-1:-1;13570:4:0;;-1:-1:-1;13174:409:0;;-1:-1:-1;;;;;;;13174:409:0:o;1628:246::-;1686:7;1710:6;1706:47;;-1:-1:-1;1740:1:0;1733:8;;1706:47;1763:9;1775:5;1779:1;1775;:5;:::i;:::-;1763:17;-1:-1:-1;1808:1:0;1799:5;1803:1;1763:17;1799:5;:::i;:::-;:10;1791:56;;;;-1:-1:-1;;;1791:56:0;;7757:2:1;1791: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;;1791:56:0;7729:223:1;14:134;82:20;;111:31;82:20;111:31;:::i;:::-;63:85;;;:::o;153:247::-;212:6;265:2;253:9;244:7;240:23;236:32;233:2;;;281:1;278;271:12;233:2;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:2;;;544:1;541;534:12;496:2;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:2;;;806:1;803;796:12;758:2;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;;;748:301;;;;;:::o;1054:456::-;1131:6;1139;1147;1200:2;1188:9;1179:7;1175:23;1171:32;1168:2;;;1216:1;1213;1206:12;1168:2;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;:::-;1158:352;;1446:7;;-1:-1:-1;;;1500:2:1;1485:18;;;;1472:32;;1158:352::o;1515:315::-;1583:6;1591;1644:2;1632:9;1623:7;1619:23;1615:32;1612:2;;;1660:1;1657;1650:12;1612:2;1699:9;1686:23;1718:31;1743:5;1718:31;:::i;:::-;1768:5;1820:2;1805:18;;;;1792:32;;-1:-1:-1;;;1602:228:1:o;1835:1132::-;1919:6;1950:2;1993;1981:9;1972:7;1968:23;1964:32;1961:2;;;2009:1;2006;1999:12;1961:2;2049:9;2036:23;2078:18;2119:2;2111:6;2108:14;2105:2;;;2135:1;2132;2125:12;2105:2;2173:6;2162:9;2158:22;2148:32;;2218:7;2211:4;2207:2;2203:13;2199:27;2189:2;;2240:1;2237;2230:12;2189:2;2276;2263:16;2298:2;2294;2291:10;2288:2;;;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:2;;;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:2:1;;;2735:1;2732;2725:12;2686:2;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;1930:1037;-1:-1:-1;;;;;;;;1930:1037:1:o;2972:241::-;3028:6;3081:2;3069:9;3060:7;3056:23;3052:32;3049:2;;;3097:1;3094;3087:12;3049:2;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:2;;;3354:1;3351;3344:12;3306:2;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:2;;;3641:1;3638;3631:12;3593:2;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;;3583:191;;;;;:::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:2;;;5887:1;5882:2;5873:6;5862:9;5858:22;5854:31;5847:42;5808:2;-1:-1:-1;5960:2:1;5939:15;-1:-1:-1;;5935:29:1;5920:45;;;;5967:2;5916:54;;5500:476;-1:-1:-1;;;5500:476:1:o;7957:356::-;8159:2;8141:21;;;8178:18;;;8171:30;8237:34;8232:2;8217:18;;8210:62;8304:2;8289:18;;8131:182::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;10344:709;-1:-1:-1;;;10344:709:1:o;11247:128::-;11287:3;11318:1;11314:6;11311:1;11308:13;11305:2;;;11324:18;;:::i;:::-;-1:-1:-1;11360:9:1;;11295:80::o;11380:217::-;11420:1;11446;11436:2;;11490:10;11485:3;11481:20;11478:1;11471:31;11525:4;11522:1;11515:15;11553:4;11550:1;11543:15;11436:2;-1:-1:-1;11582:9:1;;11426:171::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:2;;;11715:18;;:::i;:::-;-1:-1:-1;11755:9:1;;11654:116::o;11775:125::-;11815:4;11843:1;11840;11837:8;11834:2;;;11848:18;;:::i;:::-;-1:-1:-1;11885:9:1;;11824:76::o;11905:135::-;11944:3;-1:-1:-1;;11965:17:1;;11962:2;;;11985:18;;:::i;:::-;-1:-1:-1;12032:1:1;12021:13;;11952:88::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:2;;12562:1;12559;12552:12;12577:118;12663:5;12656:13;12649:21;12642:5;12639:32;12629:2;;12685:1;12682;12675:12

ipfs://6df8b9e1faca57f94134ebc02966259abd6aeda8ae6552b269790d6833df851b