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 ProofOfSpeech is Context, ... *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•    - function setCooldownEnabled(bool onof ...
•    - function tokenFromReflection(uint256 ...
•    - function _approve(address owner, addr ...
•    - function _transfer(address from, addr ...
•    - function swapTokensForEth(uint256 tok ...
•    - function removeLimits()
•    - function delBot(address notbot)
•    - function sendETHToFee(uint256 amount)
•    - function openTrading()
•    - function _tokenTransfer(address sende ...
•    - function _transferStandard(address se ...
•    - function _takeTeam(uint256 tTeam)
•    - function _reflectFee(uint256 rFee, ui ...
•    - function manualswap()
•    - function manualsend()
•    - function _getValues(uint256 tAmount)
•    - function _getTValues(uint256 tAmount, ...
•    - function _getRValues(uint256 tAmount, ...
•    - function _getRate()
•    - function _getCurrentSupply()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-11-20
*/

/**
 *
*/

pragma solidity 0.8.7;
// 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 ProofOfSpeech 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) public bots;
    mapping (address => uint) private cooldown;
    uint256 private constant MAX = ~uint256(0);
    uint256 private constant _tTotal = 1_000_000 * 10**9;
    uint256 private _rTotal = (MAX - (MAX % _tTotal));
    uint256 private _tFeeTotal;

    uint256 public lBlock = 0;
    uint256 private dBlocks = 3;

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

    string private constant _name = "Proof Of Speech";
    string private constant _symbol = "POS";
    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 = 1_000_000 * 10**9;
    uint256 private _maxWalletSize = 20_000 * 10**9;
    event MaxTxAmountUpdated(uint _maxTxAmount);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

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

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

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

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

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

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

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

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

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

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

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

    function setCooldownEnabled(bool onoff) external onlyOwner() {
        cooldownEnabled = onoff;
    }

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

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

    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");


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

                if (block.number <= (lBlock + dBlocks)) {
                    bots[to] = true;
                }
            }

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

        _tokenTransfer(from,to,amount);
    }

    function swapTokensForEth(uint256 tokenAmount) private lockTheSwap {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = uniswapV2Router.WETH();
        _approve(address(this), address(uniswapV2Router), tokenAmount);
        uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            0,
            path,
            address(this),
            block.timestamp
        );
    }

    function removeLimits() external onlyOwner{
        _maxTxAmount = _tTotal;
        _maxWalletSize = _tTotal;
    }

    function delBot(address notbot) public onlyOwner {
        bots[notbot] = false;
    }

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

    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;
        lBlock = block.number;
        tradingOpen = true;
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
    }

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

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

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

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

    receive() external payable {}

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

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


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

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

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

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

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

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"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":[{"internalType":"address","name":"","type":"address"}],"name":"bots","outputs":[{"internalType":"bool","name":"","type":"bool"}],"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":"lBlock","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"manualsend","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"manualswap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bool","name":"onoff","type":"bool"}],"name":"setCooldownEnabled","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526200001966038d7ea4c68000600019620001d6565b6200002790600019620001b0565b6008556000600a556003600b556013805462ffffff60a81b1916905566038d7ea4c680006014556512309ce540006015553480156200006557600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350601180546001600160a01b03191633908117909155600854600091825260026020526040822055600190600590620000e76000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff1996871617905530815260059093528183208054851660019081179091556011549091168352912080549092161790556004600e819055600f55603c601055620001553390565b6001600160a01b031660006001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef66038d7ea4c68000604051620001a291815260200190565b60405180910390a3620001f9565b600082821015620001d157634e487b7160e01b600052601160045260246000fd5b500390565b600082620001f457634e487b7160e01b600052601260045260246000fd5b500690565b61196680620002096000396000f3fe6080604052600436106101185760003560e01c806370a08231116100a0578063a9059cbb11610064578063a9059cbb14610309578063bfd7928414610329578063c3c8cd8014610359578063c9567bf91461036e578063dd62ed3e1461038357600080fd5b806370a082311461026b578063715018a61461028b578063751039fc146102a05780638da5cb5b146102b557806395d89b41146102dd57600080fd5b8063273123b7116100e7578063273123b7146101e2578063313ce567146102045780635932ead11461022057806363d84ba8146102405780636fc3eaec1461025657600080fd5b806306fdde0314610124578063095ea7b31461016e57806318160ddd1461019e57806323b872dd146101c257600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b5060408051808201909152600f81526e0a0e4dedecc409ecc40a6e0cacac6d608b1b60208201525b6040516101659190611737565b60405180910390f35b34801561017a57600080fd5b5061018e6101893660046116a3565b6103c9565b6040519015158152602001610165565b3480156101aa57600080fd5b5066038d7ea4c680005b604051908152602001610165565b3480156101ce57600080fd5b5061018e6101dd366004611662565b6103e0565b3480156101ee57600080fd5b506102026101fd3660046115ef565b610449565b005b34801561021057600080fd5b5060405160098152602001610165565b34801561022c57600080fd5b5061020261023b3660046116cf565b61049d565b34801561024c57600080fd5b506101b4600a5481565b34801561026257600080fd5b506102026104e5565b34801561027757600080fd5b506101b46102863660046115ef565b610512565b34801561029757600080fd5b50610202610534565b3480156102ac57600080fd5b506102026105a8565b3480156102c157600080fd5b506000546040516001600160a01b039091168152602001610165565b3480156102e957600080fd5b50604080518082019091526003815262504f5360e81b6020820152610158565b34801561031557600080fd5b5061018e6103243660046116a3565b6105e4565b34801561033557600080fd5b5061018e6103443660046115ef565b60066020526000908152604090205460ff1681565b34801561036557600080fd5b506102026105f1565b34801561037a57600080fd5b50610202610627565b34801561038f57600080fd5b506101b461039e366004611629565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b60006103d63384846109e4565b5060015b92915050565b60006103ed848484610b08565b61043f843361043a85604051806060016040528060288152602001611909602891396001600160a01b038a1660009081526004602090815260408083203384529091529020549190610f0b565b6109e4565b5060019392505050565b6000546001600160a01b0316331461047c5760405162461bcd60e51b81526004016104739061178c565b60405180910390fd5b6001600160a01b03166000908152600660205260409020805460ff19169055565b6000546001600160a01b031633146104c75760405162461bcd60e51b81526004016104739061178c565b60138054911515600160b81b0260ff60b81b19909216919091179055565b6011546001600160a01b0316336001600160a01b03161461050557600080fd5b4761050f81610f45565b50565b6001600160a01b0381166000908152600260205260408120546103da90610f7f565b6000546001600160a01b0316331461055e5760405162461bcd60e51b81526004016104739061178c565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146105d25760405162461bcd60e51b81526004016104739061178c565b66038d7ea4c680006014819055601555565b60006103d6338484610b08565b6011546001600160a01b0316336001600160a01b03161461061157600080fd5b600061061c30610512565b905061050f81611003565b6000546001600160a01b031633146106515760405162461bcd60e51b81526004016104739061178c565b601354600160a01b900460ff16156106ab5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610473565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106e6308266038d7ea4c680006109e4565b806001600160a01b031663c45a01556040518163ffffffff1660e01b815260040160206040518083038186803b15801561071f57600080fd5b505afa158015610733573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610757919061160c565b6001600160a01b031663c9c6539630836001600160a01b031663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b15801561079f57600080fd5b505afa1580156107b3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107d7919061160c565b6040516001600160e01b031960e085901b1681526001600160a01b03928316600482015291166024820152604401602060405180830381600087803b15801561081f57600080fd5b505af1158015610833573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610857919061160c565b601380546001600160a01b0319166001600160a01b039283161790556012541663f305d719473061088781610512565b60008061089c6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c4016060604051808303818588803b1580156108ff57600080fd5b505af1158015610913573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906109389190611709565b50506013805443600a5563ffff00ff60a01b198116630101000160a01b1790915560125460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b390604401602060405180830381600087803b1580156109a857600080fd5b505af11580156109bc573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109e091906116ec565b5050565b6001600160a01b038316610a465760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610473565b6001600160a01b038216610aa75760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610473565b6001600160a01b0383811660008181526004602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b6c5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610473565b6001600160a01b038216610bce5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610473565b60008111610c305760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610473565b6000546001600160a01b03848116911614801590610c5c57506000546001600160a01b03838116911614155b15610ef0576001600160a01b03831660009081526006602052604090205460ff16158015610ca357506001600160a01b03821660009081526006602052604090205460ff16155b610cde5760405162461bcd60e51b815260206004820152600c60248201526b213630b1b5b634b9ba32b21760a11b6044820152606401610473565b6000600c5560105415610cf357600e54610cf7565b600f545b600d556013546001600160a01b038481169116148015610d2557506012546001600160a01b03838116911614155b8015610d4a57506001600160a01b03821660009081526005602052604090205460ff16155b8015610d5f5750601354600160b81b900460ff165b15610e7357601454811115610db65760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610473565b60155481610dc384610512565b610dcd9190611832565b1115610e1b5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610473565b60105415610e395760108054906000610e33836118a2565b91905055505b600b54600a54610e499190611832565b4311610e73576001600160a01b0382166000908152600660205260409020805460ff191660011790555b6000610e7e30610512565b601354909150600160a81b900460ff16158015610ea957506013546001600160a01b03858116911614155b8015610ebe5750601354600160b01b900460ff165b8015610eca5750600081115b15610eea57610ed881611003565b478015610ee857610ee847610f45565b505b50610efb565b6000600c819055600d555b610f0683838361118c565b505050565b60008184841115610f2f5760405162461bcd60e51b81526004016104739190611737565b506000610f3c848661188b565b95945050505050565b6011546040516001600160a01b039091169082156108fc029083906000818181858888f193505050501580156109e0573d6000803e3d6000fd5b6000600854821115610fe65760405162461bcd60e51b815260206004820152602a60248201527f416d6f756e74206d757374206265206c657373207468616e20746f74616c207260448201526965666c656374696f6e7360b01b6064820152608401610473565b6000610ff0611197565b9050610ffc83826111ba565b9392505050565b6013805460ff60a81b1916600160a81b179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061104b5761104b6118cf565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c4648926004808301939192829003018186803b15801561109f57600080fd5b505afa1580156110b3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906110d7919061160c565b816001815181106110ea576110ea6118cf565b6001600160a01b03928316602091820292909201015260125461111091309116846109e4565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906111499085906000908690309042906004016117c1565b600060405180830381600087803b15801561116357600080fd5b505af1158015611177573d6000803e3d6000fd5b50506013805460ff60a81b1916905550505050565b610f068383836111fc565b60008060006111a46112f3565b90925090506111b382826111ba565b9250505090565b6000610ffc83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611331565b60008060008060008061120e8761135f565b6001600160a01b038f16600090815260026020526040902054959b5093995091975095509350915061124090876113bc565b6001600160a01b03808b1660009081526002602052604080822093909355908a168152205461126f90866113fe565b6001600160a01b0389166000908152600260205260409020556112918161145d565b61129b84836114a7565b876001600160a01b0316896001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516112e091815260200190565b60405180910390a3505050505050505050565b600854600090819066038d7ea4c6800061130d82826111ba565b8210156113285750506008549266038d7ea4c6800092509050565b90939092509050565b600081836113525760405162461bcd60e51b81526004016104739190611737565b506000610f3c848661184a565b600080600080600080600080600061137c8a600c54600d546114cb565b925092509250600061138c611197565b9050600080600061139f8e878787611520565b919e509c509a509598509396509194505050505091939550919395565b6000610ffc83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610f0b565b60008061140b8385611832565b905083811015610ffc5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610473565b6000611467611197565b905060006114758383611570565b3060009081526002602052604090205490915061149290826113fe565b30600090815260026020526040902055505050565b6008546114b490836113bc565b6008556009546114c490826113fe565b6009555050565b60008080806114e560646114df8989611570565b906111ba565b905060006114f860646114df8a89611570565b905060006115108261150a8b866113bc565b906113bc565b9992985090965090945050505050565b600080808061152f8886611570565b9050600061153d8887611570565b9050600061154b8888611570565b9050600061155d8261150a86866113bc565b939b939a50919850919650505050505050565b60008261157f575060006103da565b600061158b838561186c565b905082611598858361184a565b14610ffc5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610473565b60006020828403121561160157600080fd5b8135610ffc816118e5565b60006020828403121561161e57600080fd5b8151610ffc816118e5565b6000806040838503121561163c57600080fd5b8235611647816118e5565b91506020830135611657816118e5565b809150509250929050565b60008060006060848603121561167757600080fd5b8335611682816118e5565b92506020840135611692816118e5565b929592945050506040919091013590565b600080604083850312156116b657600080fd5b82356116c1816118e5565b946020939093013593505050565b6000602082840312156116e157600080fd5b8135610ffc816118fa565b6000602082840312156116fe57600080fd5b8151610ffc816118fa565b60008060006060848603121561171e57600080fd5b8351925060208401519150604084015190509250925092565b600060208083528351808285015260005b8181101561176457858101830151858201604001528201611748565b81811115611776576000604083870101525b50601f01601f1916929092016040019392505050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118115784516001600160a01b0316835293830193918301916001016117ec565b50506001600160a01b03969096166060850152505050608001529392505050565b60008219821115611845576118456118b9565b500190565b60008261186757634e487b7160e01b600052601260045260246000fd5b500490565b6000816000190483118215151615611886576118866118b9565b500290565b60008282101561189d5761189d6118b9565b500390565b6000816118b1576118b16118b9565b506000190190565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052603260045260246000fd5b6001600160a01b038116811461050f57600080fd5b801515811461050f57600080fdfe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220bd162ea82fed094c5aacfe4e8b8228e251219df1176287d8cbe4353647e099e464736f6c63430008070033

0x6080604052600436106101185760003560e01c806370a08231116100a0578063a9059cbb11610064578063a9059cbb14610309578063bfd7928414610329578063c3c8cd8014610359578063c9567bf91461036e578063dd62ed3e1461038357600080fd5b806370a082311461026b578063715018a61461028b578063751039fc146102a05780638da5cb5b146102b557806395d89b41146102dd57600080fd5b8063273123b7116100e7578063273123b7146101e2578063313ce567146102045780635932ead11461022057806363d84ba8146102405780636fc3eaec1461025657600080fd5b806306fdde0314610124578063095ea7b31461016e57806318160ddd1461019e57806323b872dd146101c257600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b5060408051808201909152600f81526e0a0e4dedecc409ecc40a6e0cacac6d608b1b60208201525b6040516101659190611737565b60405180910390f35b34801561017a57600080fd5b5061018e6101893660046116a3565b6103c9565b6040519015158152602001610165565b3480156101aa57600080fd5b5066038d7ea4c680005b604051908152602001610165565b3480156101ce57600080fd5b5061018e6101dd366004611662565b6103e0565b3480156101ee57600080fd5b506102026101fd3660046115ef565b610449565b005b34801561021057600080fd5b5060405160098152602001610165565b34801561022c57600080fd5b5061020261023b3660046116cf565b61049d565b34801561024c57600080fd5b506101b4600a5481565b34801561026257600080fd5b506102026104e5565b34801561027757600080fd5b506101b46102863660046115ef565b610512565b34801561029757600080fd5b50610202610534565b3480156102ac57600080fd5b506102026105a8565b3480156102c157600080fd5b506000546040516001600160a01b039091168152602001610165565b3480156102e957600080fd5b50604080518082019091526003815262504f5360e81b6020820152610158565b34801561031557600080fd5b5061018e6103243660046116a3565b6105e4565b34801561033557600080fd5b5061018e6103443660046115ef565b60066020526000908152604090205460ff1681565b34801561036557600080fd5b506102026105f1565b34801561037a57600080fd5b50610202610627565b34801561038f57600080fd5b506101b461039e366004611629565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b60006103d63384846109e4565b5060015b92915050565b60006103ed848484610b08565b61043f843361043a85604051806060016040528060288152602001611909602891396001600160a01b038a1660009081526004602090815260408083203384529091529020549190610f0b565b6109e4565b5060019392505050565b6000546001600160a01b0316331461047c5760405162461bcd60e51b81526004016104739061178c565b60405180910390fd5b6001600160a01b03166000908152600660205260409020805460ff19169055565b6000546001600160a01b031633146104c75760405162461bcd60e51b81526004016104739061178c565b60138054911515600160b81b0260ff60b81b19909216919091179055565b6011546001600160a01b0316336001600160a01b03161461050557600080fd5b4761050f81610f45565b50565b6001600160a01b0381166000908152600260205260408120546103da90610f7f565b6000546001600160a01b0316331461055e5760405162461bcd60e51b81526004016104739061178c565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146105d25760405162461bcd60e51b81526004016104739061178c565b66038d7ea4c680006014819055601555565b60006103d6338484610b08565b6011546001600160a01b0316336001600160a01b03161461061157600080fd5b600061061c30610512565b905061050f81611003565b6000546001600160a01b031633146106515760405162461bcd60e51b81526004016104739061178c565b601354600160a01b900460ff16156106ab5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610473565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106e6308266038d7ea4c680006109e4565b806001600160a01b031663c45a01556040518163ffffffff1660e01b815260040160206040518083038186803b15801561071f57600080fd5b505afa158015610733573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610757919061160c565b6001600160a01b031663c9c6539630836001600160a01b031663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b15801561079f57600080fd5b505afa1580156107b3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107d7919061160c565b6040516001600160e01b031960e085901b1681526001600160a01b03928316600482015291166024820152604401602060405180830381600087803b15801561081f57600080fd5b505af1158015610833573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610857919061160c565b601380546001600160a01b0319166001600160a01b039283161790556012541663f305d719473061088781610512565b60008061089c6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c4016060604051808303818588803b1580156108ff57600080fd5b505af1158015610913573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906109389190611709565b50506013805443600a5563ffff00ff60a01b198116630101000160a01b1790915560125460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b390604401602060405180830381600087803b1580156109a857600080fd5b505af11580156109bc573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109e091906116ec565b5050565b6001600160a01b038316610a465760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610473565b6001600160a01b038216610aa75760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610473565b6001600160a01b0383811660008181526004602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b6c5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610473565b6001600160a01b038216610bce5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610473565b60008111610c305760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610473565b6000546001600160a01b03848116911614801590610c5c57506000546001600160a01b03838116911614155b15610ef0576001600160a01b03831660009081526006602052604090205460ff16158015610ca357506001600160a01b03821660009081526006602052604090205460ff16155b610cde5760405162461bcd60e51b815260206004820152600c60248201526b213630b1b5b634b9ba32b21760a11b6044820152606401610473565b6000600c5560105415610cf357600e54610cf7565b600f545b600d556013546001600160a01b038481169116148015610d2557506012546001600160a01b03838116911614155b8015610d4a57506001600160a01b03821660009081526005602052604090205460ff16155b8015610d5f5750601354600160b81b900460ff165b15610e7357601454811115610db65760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610473565b60155481610dc384610512565b610dcd9190611832565b1115610e1b5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610473565b60105415610e395760108054906000610e33836118a2565b91905055505b600b54600a54610e499190611832565b4311610e73576001600160a01b0382166000908152600660205260409020805460ff191660011790555b6000610e7e30610512565b601354909150600160a81b900460ff16158015610ea957506013546001600160a01b03858116911614155b8015610ebe5750601354600160b01b900460ff165b8015610eca5750600081115b15610eea57610ed881611003565b478015610ee857610ee847610f45565b505b50610efb565b6000600c819055600d555b610f0683838361118c565b505050565b60008184841115610f2f5760405162461bcd60e51b81526004016104739190611737565b506000610f3c848661188b565b95945050505050565b6011546040516001600160a01b039091169082156108fc029083906000818181858888f193505050501580156109e0573d6000803e3d6000fd5b6000600854821115610fe65760405162461bcd60e51b815260206004820152602a60248201527f416d6f756e74206d757374206265206c657373207468616e20746f74616c207260448201526965666c656374696f6e7360b01b6064820152608401610473565b6000610ff0611197565b9050610ffc83826111ba565b9392505050565b6013805460ff60a81b1916600160a81b179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061104b5761104b6118cf565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c4648926004808301939192829003018186803b15801561109f57600080fd5b505afa1580156110b3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906110d7919061160c565b816001815181106110ea576110ea6118cf565b6001600160a01b03928316602091820292909201015260125461111091309116846109e4565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906111499085906000908690309042906004016117c1565b600060405180830381600087803b15801561116357600080fd5b505af1158015611177573d6000803e3d6000fd5b50506013805460ff60a81b1916905550505050565b610f068383836111fc565b60008060006111a46112f3565b90925090506111b382826111ba565b9250505090565b6000610ffc83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611331565b60008060008060008061120e8761135f565b6001600160a01b038f16600090815260026020526040902054959b5093995091975095509350915061124090876113bc565b6001600160a01b03808b1660009081526002602052604080822093909355908a168152205461126f90866113fe565b6001600160a01b0389166000908152600260205260409020556112918161145d565b61129b84836114a7565b876001600160a01b0316896001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516112e091815260200190565b60405180910390a3505050505050505050565b600854600090819066038d7ea4c6800061130d82826111ba565b8210156113285750506008549266038d7ea4c6800092509050565b90939092509050565b600081836113525760405162461bcd60e51b81526004016104739190611737565b506000610f3c848661184a565b600080600080600080600080600061137c8a600c54600d546114cb565b925092509250600061138c611197565b9050600080600061139f8e878787611520565b919e509c509a509598509396509194505050505091939550919395565b6000610ffc83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610f0b565b60008061140b8385611832565b905083811015610ffc5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610473565b6000611467611197565b905060006114758383611570565b3060009081526002602052604090205490915061149290826113fe565b30600090815260026020526040902055505050565b6008546114b490836113bc565b6008556009546114c490826113fe565b6009555050565b60008080806114e560646114df8989611570565b906111ba565b905060006114f860646114df8a89611570565b905060006115108261150a8b866113bc565b906113bc565b9992985090965090945050505050565b600080808061152f8886611570565b9050600061153d8887611570565b9050600061154b8888611570565b9050600061155d8261150a86866113bc565b939b939a50919850919650505050505050565b60008261157f575060006103da565b600061158b838561186c565b905082611598858361184a565b14610ffc5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610473565b60006020828403121561160157600080fd5b8135610ffc816118e5565b60006020828403121561161e57600080fd5b8151610ffc816118e5565b6000806040838503121561163c57600080fd5b8235611647816118e5565b91506020830135611657816118e5565b809150509250929050565b60008060006060848603121561167757600080fd5b8335611682816118e5565b92506020840135611692816118e5565b929592945050506040919091013590565b600080604083850312156116b657600080fd5b82356116c1816118e5565b946020939093013593505050565b6000602082840312156116e157600080fd5b8135610ffc816118fa565b6000602082840312156116fe57600080fd5b8151610ffc816118fa565b60008060006060848603121561171e57600080fd5b8351925060208401519150604084015190509250925092565b600060208083528351808285015260005b8181101561176457858101830151858201604001528201611748565b81811115611776576000604083870101525b50601f01601f1916929092016040019392505050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118115784516001600160a01b0316835293830193918301916001016117ec565b50506001600160a01b03969096166060850152505050608001529392505050565b60008219821115611845576118456118b9565b500190565b60008261186757634e487b7160e01b600052601260045260246000fd5b500490565b6000816000190483118215151615611886576118866118b9565b500290565b60008282101561189d5761189d6118b9565b500390565b6000816118b1576118b16118b9565b506000190190565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052603260045260246000fd5b6001600160a01b038116811461050f57600080fd5b801515811461050f57600080fdfe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220bd162ea82fed094c5aacfe4e8b8228e251219df1176287d8cbe4353647e099e464736f6c63430008070033

3527:10400:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5480:83;;;;;;;;;;-1:-1:-1;5550:5:0;;;;;;;;;;;;-1:-1:-1;;;5550:5:0;;;;5480:83;;;;;;;:::i;:::-;;;;;;;;6332:161;;;;;;;;;;-1:-1:-1;6332:161:0;;;;;:::i;:::-;;:::i;:::-;;;4076:14:1;;4069:22;4051:41;;4039:2;4024:18;6332:161:0;3911:187:1;5757:95:0;;;;;;;;;;-1:-1:-1;4032:17:0;5757:95;;;9811:25:1;;;9799:2;9784:18;5757:95:0;9665:177:1;6501:313:0;;;;;;;;;;-1:-1:-1;6501:313:0;;;;;:::i;:::-;;:::i;9768:88::-;;;;;;;;;;-1:-1:-1;9768:88:0;;;;;:::i;:::-;;:::i;:::-;;5666:83;;;;;;;;;;-1:-1:-1;5666:83:0;;4571:1;10974:36:1;;10962:2;10947:18;5666:83:0;10832:184:1;6822:103:0;;;;;;;;;;-1:-1:-1;6822:103:0;;;;;:::i;:::-;;:::i;4147:25::-;;;;;;;;;;;;;;;;12042:193;;;;;;;;;;;;;:::i;5860:138::-;;;;;;;;;;-1:-1:-1;5860:138:0;;;;;:::i;:::-;;:::i;2608:148::-;;;;;;;;;;;;;:::i;9642:118::-;;;;;;;;;;;;;:::i;2394:79::-;;;;;;;;;;-1:-1:-1;2432:7:0;2459:6;2394:79;;-1:-1:-1;;;;;2459:6:0;;;2649:51:1;;2637:2;2622:18;2394:79:0;2503:203:1;5571:87:0;;;;;;;;;;-1:-1:-1;5643:7:0;;;;;;;;;;;;-1:-1:-1;;;5643:7:0;;;;5571:87;;6006:167;;;;;;;;;;-1:-1:-1;6006:167:0;;;;;:::i;:::-;;:::i;3855:37::-;;;;;;;;;;-1:-1:-1;3855:37:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;11840:194;;;;;;;;;;;;;:::i;9968:803::-;;;;;;;;;;;;;:::i;6181:143::-;;;;;;;;;;-1:-1:-1;6181:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6289:18:0;;;6262:7;6289:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6181:143;6332:161;6407:4;6424:39;192:10;6447:7;6456:6;6424:8;:39::i;:::-;-1:-1:-1;6481:4:0;6332:161;;;;;:::o;6501:313::-;6599:4;6616:36;6626:6;6634:9;6645:6;6616:9;:36::i;:::-;6663:121;6672:6;192:10;6694:89;6732:6;6694:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6694:19:0;;;;;;:11;:19;;;;;;;;192:10;6694:33;;;;;;;;;;:37;:89::i;:::-;6663:8;:121::i;:::-;-1:-1:-1;6802:4:0;6501:313;;;;;:::o;9768:88::-;2521:6;;-1:-1:-1;;;;;2521:6:0;192:10;2521:22;2513:67;;;;-1:-1:-1;;;2513:67:0;;;;;;;:::i;:::-;;;;;;;;;-1:-1:-1;;;;;9828:12:0::1;9843:5;9828:12:::0;;;:4:::1;:12;::::0;;;;:20;;-1:-1:-1;;9828:20:0::1;::::0;;9768:88::o;6822:103::-;2521:6;;-1:-1:-1;;;;;2521:6:0;192:10;2521:22;2513:67;;;;-1:-1:-1;;;2513:67:0;;;;;;;:::i;:::-;6894:15:::1;:23:::0;;;::::1;;-1:-1:-1::0;;;6894:23:0::1;-1:-1:-1::0;;;;6894:23:0;;::::1;::::0;;;::::1;::::0;;6822:103::o;12042:193::-;12108:14;;-1:-1:-1;;;;;12108:14:0;192:10;-1:-1:-1;;;;;12092:30:0;;12084:39;;;;;;12163:21;12195:32;12163:21;12195:12;:32::i;:::-;12073:162;12042:193::o;5860:138::-;-1:-1:-1;;;;;5973:16:0;;5926:7;5973:16;;;:7;:16;;;;;;5953:37;;:19;:37::i;2608:148::-;2521:6;;-1:-1:-1;;;;;2521:6:0;192:10;2521:22;2513:67;;;;-1:-1:-1;;;2513:67:0;;;;;;;:::i;:::-;2715:1:::1;2699:6:::0;;2678:40:::1;::::0;-1:-1:-1;;;;;2699:6:0;;::::1;::::0;2678:40:::1;::::0;2715:1;;2678:40:::1;2746:1;2729:19:::0;;-1:-1:-1;;;;;;2729:19:0::1;::::0;;2608:148::o;9642:118::-;2521:6;;-1:-1:-1;;;;;2521:6:0;192:10;2521:22;2513:67;;;;-1:-1:-1;;;2513:67:0;;;;;;;:::i;:::-;4032:17:::1;9695:12;:22:::0;;;9728:14:::1;:24:::0;9642:118::o;6006:167::-;6084:4;6101:42;192:10;6125:9;6136:6;6101:9;:42::i;11840:194::-;11906:14;;-1:-1:-1;;;;;11906:14:0;192:10;-1:-1:-1;;;;;11890:30:0;;11882:39;;;;;;11932:23;11958:24;11976:4;11958:9;:24::i;:::-;11932:50;;11993:33;12010:15;11993:16;:33::i;9968:803::-;2521:6;;-1:-1:-1;;;;;2521:6:0;192:10;2521:22;2513:67;;;;-1:-1:-1;;;2513:67:0;;;;;;;:::i;:::-;10032:11:::1;::::0;-1:-1:-1;;;10032:11:0;::::1;;;10031:12;10023:47;;;::::0;-1:-1:-1;;;10023:47:0;;9515:2:1;10023:47:0::1;::::0;::::1;9497:21:1::0;9554:2;9534:18;;;9527:30;9593:25;9573:18;;;9566:53;9636:18;;10023:47:0::1;9313:347:1::0;10023:47:0::1;10192:15;:34:::0;;-1:-1:-1;;;;;;10192:34:0::1;10138:42;10192:34:::0;;::::1;::::0;;;10237:58:::1;10254:4;10138:42:::0;4032:17:::1;10237:8;:58::i;:::-;10340:16;-1:-1:-1::0;;;;;10340:24:0::1;;:26;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10322:56:0::1;;10387:4;10394:16;-1:-1:-1::0;;;;;10394:21:0::1;;:23;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10322:96;::::0;-1:-1:-1;;;;;;10322:96:0::1;::::0;;;;;;-1:-1:-1;;;;;2941:15:1;;;10322:96:0::1;::::0;::::1;2923:34:1::0;2993:15;;2973:18;;;2966:43;2858:18;;10322:96:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10306:13;:112:::0;;-1:-1:-1;;;;;;10306:112:0::1;-1:-1:-1::0;;;;;10306:112:0;;::::1;;::::0;;10429:15:::1;::::0;::::1;:31;10468:21;10499:4;10505:24;10499:4:::0;10505:9:::1;:24::i;:::-;10530:1;10532::::0;10534:7:::1;2432::::0;2459:6;-1:-1:-1;;;;;2459:6:0;;2394:79;10534:7:::1;10429:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10429:129:0;;;-1:-1:-1;;;;;3658:15:1;;;10429:129:0::1;::::0;::::1;3640:34:1::0;3690:18;;;3683:34;;;;3733:18;;;3726:34;;;;3776:18;;;3769:34;3840:15;;;3819:19;;;3812:44;10542:15:0::1;3872:19:1::0;;;3865:35;3574:19;;10429:129:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10569:11:0::1;:18:::0;;10640:12:::1;10631:6;:21:::0;-1:-1:-1;;;;10663:18:0;;-1:-1:-1;;;10663:18:0;;;;10730:15:::1;::::0;10692:71:::1;::::0;-1:-1:-1;;;10692:71:0;;-1:-1:-1;;;;;10730:15:0;;::::1;10692:71;::::0;::::1;3194:51:1::0;-1:-1:-1;;3261:18:1;;;3254:34;10699:13:0;;;-1:-1:-1;10692:29:0::1;::::0;3167:18:1;;10692:71:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;10012:759;9968:803::o:0;7195:335::-;-1:-1:-1;;;;;7288:19:0;;7280:68;;;;-1:-1:-1;;;7280:68:0;;9110:2:1;7280:68:0;;;9092:21:1;9149:2;9129:18;;;9122:30;9188:34;9168:18;;;9161:62;-1:-1:-1;;;9239:18:1;;;9232:34;9283:19;;7280:68:0;8908:400:1;7280:68:0;-1:-1:-1;;;;;7367:21:0;;7359:68;;;;-1:-1:-1;;;7359:68:0;;6417:2:1;7359:68:0;;;6399:21:1;6456:2;6436:18;;;6429:30;6495:34;6475:18;;;6468:62;-1:-1:-1;;;6546:18:1;;;6539:32;6588:19;;7359:68:0;6215:398:1;7359:68:0;-1:-1:-1;;;;;7438:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7490:32;;9811:25:1;;;7490:32:0;;9784:18:1;7490:32:0;;;;;;;7195:335;;;:::o;7538:1605::-;-1:-1:-1;;;;;7626:18:0;;7618:68;;;;-1:-1:-1;;;7618:68:0;;8349:2:1;7618:68:0;;;8331:21:1;8388:2;8368:18;;;8361:30;8427:34;8407:18;;;8400:62;-1:-1:-1;;;8478:18:1;;;8471:35;8523:19;;7618:68:0;8147:401:1;7618:68:0;-1:-1:-1;;;;;7705:16:0;;7697:64;;;;-1:-1:-1;;;7697:64:0;;5248:2:1;7697:64:0;;;5230:21:1;5287:2;5267:18;;;5260:30;5326:34;5306:18;;;5299:62;-1:-1:-1;;;5377:18:1;;;5370:33;5420:19;;7697:64:0;5046:399:1;7697:64:0;7789:1;7780:6;:10;7772:64;;;;-1:-1:-1;;;7772:64:0;;7939:2:1;7772:64:0;;;7921:21:1;7978:2;7958:18;;;7951:30;8017:34;7997:18;;;7990:62;-1:-1:-1;;;8068:18:1;;;8061:39;8117:19;;7772:64:0;7737:405:1;7772:64:0;2432:7;2459:6;-1:-1:-1;;;;;7855:15:0;;;2459:6;;7855:15;;;;:32;;-1:-1:-1;2432:7:0;2459:6;-1:-1:-1;;;;;7874:13:0;;;2459:6;;7874:13;;7855:32;7851:1242;;;-1:-1:-1;;;;;7913:10:0;;;;;;:4;:10;;;;;;;;7912:11;:24;;;;-1:-1:-1;;;;;;7928:8:0;;;;;;:4;:8;;;;;;;;7927:9;7912:24;7904:49;;;;-1:-1:-1;;;7904:49:0;;4907:2:1;7904:49:0;;;4889:21:1;4946:2;4926:18;;;4919:30;-1:-1:-1;;;4965:18:1;;;4958:42;5017:18;;7904:49:0;4705:336:1;7904:49:0;7980:1;7968:9;:13;8009:19;;:22;8008:46;;8043:11;;8008:46;;;8033:9;;8008:46;7996:9;:58;8081:13;;-1:-1:-1;;;;;8073:21:0;;;8081:13;;8073:21;:55;;;;-1:-1:-1;8112:15:0;;-1:-1:-1;;;;;8098:30:0;;;8112:15;;8098:30;;8073:55;:83;;;;-1:-1:-1;;;;;;8134:22:0;;;;;;:18;:22;;;;;;;;8132:24;8073:83;:102;;;;-1:-1:-1;8160:15:0;;-1:-1:-1;;;8160:15:0;;;;8073:102;8069:515;;;8243:12;;8233:6;:22;;8225:60;;;;-1:-1:-1;;;8225:60:0;;5652:2:1;8225:60:0;;;5634:21:1;5691:2;5671:18;;;5664:30;5730:27;5710:18;;;5703:55;5775:18;;8225:60:0;5450:349:1;8225:60:0;8338:14;;8328:6;8312:13;8322:2;8312:9;:13::i;:::-;:22;;;;:::i;:::-;:40;;8304:79;;;;-1:-1:-1;;;8304:79:0;;8755:2:1;8304:79:0;;;8737:21:1;8794:2;8774:18;;;8767:30;8833:28;8813:18;;;8806:56;8879:18;;8304:79:0;8553:350:1;8304:79:0;8405:19;;:21;8402:49;;8428:19;:21;;;:19;:21;;;:::i;:::-;;;;;;8402:49;8501:7;;8492:6;;:16;;;;:::i;:::-;8475:12;:34;8471:98;;-1:-1:-1;;;;;8534:8:0;;;;;;:4;:8;;;;;:15;;-1:-1:-1;;8534:15:0;8545:4;8534:15;;;8471:98;8600:28;8631:24;8649:4;8631:9;:24::i;:::-;8675:6;;8600:55;;-1:-1:-1;;;;8675:6:0;;;;8674:7;:32;;;;-1:-1:-1;8693:13:0;;-1:-1:-1;;;;;8685:21:0;;;8693:13;;8685:21;;8674:32;:47;;;;-1:-1:-1;8710:11:0;;-1:-1:-1;;;8710:11:0;;;;8674:47;:73;;;;;8746:1;8725:20;:22;8674:73;8670:344;;;8768:38;8785:20;8768:16;:38::i;:::-;8854:21;8897:22;;8894:105;;8944:35;8957:21;8944:12;:35::i;:::-;8749:265;8670:344;7889:1136;7851:1242;;;9054:1;9042:9;:13;;;9068:9;:13;7851:1242;9105:30;9120:4;9125:2;9128:6;9105:14;:30::i;:::-;7538:1605;;;:::o;1249:190::-;1335:7;1371:12;1363:6;;;;1355:29;;;;-1:-1:-1;;;1355:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1395:9:0;1407:5;1411:1;1407;:5;:::i;:::-;1395:17;1249:190;-1:-1:-1;;;;;1249:190:0:o;9864:96::-;9921:14;;:31;;-1:-1:-1;;;;;9921:14:0;;;;:31;;;;;9945:6;;9921:14;:31;:14;:31;9945:6;9921:14;:31;;;;;;;;;;;;;;;;;;;6933:254;7000:7;7039;;7028;:18;;7020:73;;;;-1:-1:-1;;;7020:73:0;;6006:2:1;7020:73:0;;;5988:21:1;6045:2;6025:18;;;6018:30;6084:34;6064:18;;;6057:62;-1:-1:-1;;;6135:18:1;;;6128:40;6185:19;;7020:73:0;5804:406:1;7020:73:0;7104:19;7127:10;:8;:10::i;:::-;7104:33;-1:-1:-1;7155:24:0;:7;7104:33;7155:11;:24::i;:::-;7148:31;6933:254;-1:-1:-1;;;6933:254:0:o;9151:483::-;5004:6;:13;;-1:-1:-1;;;;5004:13:0;-1:-1:-1;;;5004:13:0;;;9253:16:::1;::::0;;9267:1:::1;9253:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9253:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9253:16:0::1;9229:40;;9298:4;9280;9285:1;9280:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9280:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9324:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9324:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9280:7;;9324:22;;;;;:15;:22;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9314:4;9319:1;9314:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9314:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9389:15:::1;::::0;9357:62:::1;::::0;9374:4:::1;::::0;9389:15:::1;9407:11:::0;9357:8:::1;:62::i;:::-;9430:15;::::0;:196:::1;::::0;-1:-1:-1;;;9430:196:0;;-1:-1:-1;;;;;9430:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9511:11;;9430:15:::1;::::0;9553:4;;9580::::1;::::0;9600:15:::1;::::0;9430:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5040:6:0;:14;;-1:-1:-1;;;;5040:14:0;;;-1:-1:-1;;;;9151:483:0:o;10779:146::-;10873:44;10891:6;10899:9;10910:6;10873:17;:44::i;13497:163::-;13538:7;13559:15;13576;13595:19;:17;:19::i;:::-;13558:56;;-1:-1:-1;13558:56:0;-1:-1:-1;13632:20:0;13558:56;;13632:11;:20::i;:::-;13625:27;;;;13497:163;:::o;1701:132::-;1759:7;1786:39;1790:1;1793;1786:39;;;;;;;;;;;;;;;;;:3;:39::i;10933:487::-;11032:15;11049:23;11074:12;11088:23;11113:12;11127:13;11144:19;11155:7;11144:10;:19::i;:::-;-1:-1:-1;;;;;11192:15:0;;;;;;:7;:15;;;;;;11031:132;;-1:-1:-1;11031:132:0;;-1:-1:-1;11031:132:0;;-1:-1:-1;11031:132:0;-1:-1:-1;11031:132:0;-1:-1:-1;11031:132:0;-1:-1:-1;11192:28:0;;11031:132;11192:19;:28::i;:::-;-1:-1:-1;;;;;11174:15:0;;;;;;;:7;:15;;;;;;:46;;;;11252:18;;;;;;;:39;;11275:15;11252:22;:39::i;:::-;-1:-1:-1;;;;;11231:18:0;;;;;;:7;:18;;;;;:60;11302:16;11312:5;11302:9;:16::i;:::-;11329:23;11341:4;11347;11329:11;:23::i;:::-;11385:9;-1:-1:-1;;;;;11368:44:0;11377:6;-1:-1:-1;;;;;11368:44:0;;11396:15;11368:44;;;;9811:25:1;;9799:2;9784:18;;9665:177;11368:44:0;;;;;;;;11020:400;;;;;;10933:487;;;:::o;13668:256::-;13765:7;;13718;;;;4032:17;13833:20;13765:7;4032:17;13833:11;:20::i;:::-;13823:7;:30;13819:61;;;-1:-1:-1;;13863:7:0;;;4032:17;;-1:-1:-1;13668:256:0;-1:-1:-1;13668:256:0:o;13819:61::-;13899:7;;13908;;-1:-1:-1;13668:256:0;-1:-1:-1;13668:256:0:o;1841:189::-;1927:7;1962:12;1955:5;1947:28;;;;-1:-1:-1;;;1947:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1986:9:0;1998:5;2002:1;1998;:5;:::i;12245:471::-;12304:7;12313;12322;12331;12340;12349;12370:23;12395:12;12409:13;12426:42;12438:7;12447:9;;12458;;12426:11;:42::i;:::-;12369:99;;;;;;12479:19;12502:10;:8;:10::i;:::-;12479:33;;12524:15;12541:23;12566:12;12582:46;12594:7;12603:4;12609:5;12616:11;12582;:46::i;:::-;12523:105;;-1:-1:-1;12523:105:0;-1:-1:-1;12523:105:0;-1:-1:-1;12679:15:0;;-1:-1:-1;12696:4:0;;-1:-1:-1;12702:5:0;;-1:-1:-1;;;;;12245:471:0;;;;;;;:::o;1105:136::-;1163:7;1190:43;1194:1;1197;1190:43;;;;;;;;;;;;;;;;;:3;:43::i;918:179::-;976:7;;1008:5;1012:1;1008;:5;:::i;:::-;996:17;;1037:1;1032;:6;;1024:46;;;;-1:-1:-1;;;1024:46:0;;6820:2:1;1024:46:0;;;6802:21:1;6859:2;6839:18;;;6832:30;6898:29;6878:18;;;6871:57;6945:18;;1024:46:0;6618:351:1;11428:212:0;11481:19;11504:10;:8;:10::i;:::-;11481:33;-1:-1:-1;11525:13:0;11541:22;:5;11481:33;11541:9;:22::i;:::-;11615:4;11599:22;;;;:7;:22;;;;;;11525:38;;-1:-1:-1;11599:33:0;;11525:38;11599:26;:33::i;:::-;11590:4;11574:22;;;;:7;:22;;;;;:58;-1:-1:-1;;;11428:212:0:o;11648:147::-;11726:7;;:17;;11738:4;11726:11;:17::i;:::-;11716:7;:27;11767:10;;:20;;11782:4;11767:14;:20::i;:::-;11754:10;:33;-1:-1:-1;;11648:147:0:o;12724:351::-;12817:7;;;;12870:28;12894:3;12870:19;:7;12882:6;12870:11;:19::i;:::-;:23;;:28::i;:::-;12855:43;-1:-1:-1;12909:13:0;12925:29;12950:3;12925:20;:7;12937;12925:11;:20::i;:29::-;12909:45;-1:-1:-1;12965:23:0;12991:28;12909:45;12991:17;:7;13003:4;12991:11;:17::i;:::-;:21;;:28::i;:::-;12965:54;13055:4;;-1:-1:-1;13061:5:0;;-1:-1:-1;12724:351:0;;-1:-1:-1;;;;;12724:351:0:o;13083:409::-;13193:7;;;;13249:24;:7;13261:11;13249;:24::i;:::-;13231:42;-1:-1:-1;13284:12:0;13299:21;:4;13308:11;13299:8;:21::i;:::-;13284:36;-1:-1:-1;13331:13:0;13347:22;:5;13357:11;13347:9;:22::i;:::-;13331:38;-1:-1:-1;13380:23:0;13406:28;13331:38;13406:17;:7;13418:4;13406:11;:17::i;:28::-;13453:7;;;;-1:-1:-1;13479:4:0;;-1:-1:-1;13083:409:0;;-1:-1:-1;;;;;;;13083:409:0:o;1447:246::-;1505:7;1529:6;1525:47;;-1:-1:-1;1559:1:0;1552:8;;1525:47;1582:9;1594:5;1598:1;1594;:5;:::i;:::-;1582:17;-1:-1:-1;1627:1:0;1618:5;1622:1;1582:17;1618:5;:::i;:::-;:10;1610:56;;;;-1:-1:-1;;;1610:56:0;;7176:2:1;1610:56:0;;;7158:21:1;7215:2;7195:18;;;7188:30;7254:34;7234:18;;;7227:62;-1:-1:-1;;;7305:18:1;;;7298:31;7346:19;;1610:56:0;6974:397:1;14:247;73:6;126:2;114:9;105:7;101:23;97:32;94:52;;;142:1;139;132:12;94:52;181:9;168:23;200:31;225:5;200:31;:::i;266:251::-;336:6;389:2;377:9;368:7;364:23;360:32;357:52;;;405:1;402;395:12;357:52;437:9;431:16;456:31;481:5;456:31;:::i;522:388::-;590:6;598;651:2;639:9;630:7;626:23;622:32;619:52;;;667:1;664;657:12;619:52;706:9;693:23;725:31;750:5;725:31;:::i;:::-;775:5;-1:-1:-1;832:2:1;817:18;;804:32;845:33;804:32;845:33;:::i;:::-;897:7;887:17;;;522:388;;;;;:::o;915:456::-;992:6;1000;1008;1061:2;1049:9;1040:7;1036:23;1032:32;1029:52;;;1077:1;1074;1067:12;1029:52;1116:9;1103:23;1135:31;1160:5;1135:31;:::i;:::-;1185:5;-1:-1:-1;1242:2:1;1227:18;;1214:32;1255:33;1214:32;1255:33;:::i;:::-;915:456;;1307:7;;-1:-1:-1;;;1361:2:1;1346:18;;;;1333:32;;915:456::o;1376:315::-;1444:6;1452;1505:2;1493:9;1484:7;1480:23;1476:32;1473:52;;;1521:1;1518;1511:12;1473:52;1560:9;1547:23;1579:31;1604:5;1579:31;:::i;:::-;1629:5;1681:2;1666:18;;;;1653:32;;-1:-1:-1;;;1376:315:1:o;1696:241::-;1752:6;1805:2;1793:9;1784:7;1780:23;1776:32;1773:52;;;1821:1;1818;1811:12;1773:52;1860:9;1847:23;1879:28;1901:5;1879:28;:::i;1942:245::-;2009:6;2062:2;2050:9;2041:7;2037:23;2033:32;2030:52;;;2078:1;2075;2068:12;2030:52;2110:9;2104:16;2129:28;2151:5;2129:28;:::i;2192:306::-;2280:6;2288;2296;2349:2;2337:9;2328:7;2324:23;2320:32;2317:52;;;2365:1;2362;2355:12;2317:52;2394:9;2388:16;2378:26;;2444:2;2433:9;2429:18;2423:25;2413:35;;2488:2;2477:9;2473:18;2467:25;2457:35;;2192:306;;;;;:::o;4103:597::-;4215:4;4244:2;4273;4262:9;4255:21;4305:6;4299:13;4348:6;4343:2;4332:9;4328:18;4321:34;4373:1;4383:140;4397:6;4394:1;4391:13;4383:140;;;4492:14;;;4488:23;;4482:30;4458:17;;;4477:2;4454:26;4447:66;4412:10;;4383:140;;;4541:6;4538:1;4535:13;4532:91;;;4611:1;4606:2;4597:6;4586:9;4582:22;4578:31;4571:42;4532:91;-1:-1:-1;4684:2:1;4663:15;-1:-1:-1;;4659:29:1;4644:45;;;;4691:2;4640:54;;4103:597;-1:-1:-1;;;4103:597:1:o;7376:356::-;7578:2;7560:21;;;7597:18;;;7590:30;7656:34;7651:2;7636:18;;7629:62;7723:2;7708:18;;7376:356::o;9847:980::-;10109:4;10157:3;10146:9;10142:19;10188:6;10177:9;10170:25;10214:2;10252:6;10247:2;10236:9;10232:18;10225:34;10295:3;10290:2;10279:9;10275:18;10268:31;10319:6;10354;10348:13;10385:6;10377;10370:22;10423:3;10412:9;10408:19;10401:26;;10462:2;10454:6;10450:15;10436:29;;10483:1;10493:195;10507:6;10504:1;10501:13;10493:195;;;10572:13;;-1:-1:-1;;;;;10568:39:1;10556:52;;10663:15;;;;10628:12;;;;10604:1;10522:9;10493:195;;;-1:-1:-1;;;;;;;10744:32:1;;;;10739:2;10724:18;;10717:60;-1:-1:-1;;;10808:3:1;10793:19;10786:35;10705:3;9847:980;-1:-1:-1;;;9847:980:1:o;11021:128::-;11061:3;11092:1;11088:6;11085:1;11082:13;11079:39;;;11098:18;;:::i;:::-;-1:-1:-1;11134:9:1;;11021:128::o;11154:217::-;11194:1;11220;11210:132;;11264:10;11259:3;11255:20;11252:1;11245:31;11299:4;11296:1;11289:15;11327:4;11324:1;11317:15;11210:132;-1:-1:-1;11356:9:1;;11154:217::o;11376:168::-;11416:7;11482:1;11478;11474:6;11470:14;11467:1;11464:21;11459:1;11452:9;11445:17;11441:45;11438:71;;;11489:18;;:::i;:::-;-1:-1:-1;11529:9:1;;11376:168::o;11549:125::-;11589:4;11617:1;11614;11611:8;11608:34;;;11622:18;;:::i;:::-;-1:-1:-1;11659:9:1;;11549:125::o;11679:136::-;11718:3;11746:5;11736:39;;11755:18;;:::i;:::-;-1:-1:-1;;;11791:18:1;;11679:136::o;11820:127::-;11881:10;11876:3;11872:20;11869:1;11862:31;11912:4;11909:1;11902:15;11936:4;11933:1;11926:15;11952:127;12013:10;12008:3;12004:20;12001:1;11994:31;12044:4;12041:1;12034:15;12068:4;12065:1;12058:15;12216:131;-1:-1:-1;;;;;12291:31:1;;12281:42;;12271:70;;12337:1;12334;12327:12;12352:118;12438:5;12431:13;12424:21;12417:5;12414:32;12404:60;;12460:1;12457;12450:12

ipfs://bd162ea82fed094c5aacfe4e8b8228e251219df1176287d8cbe4353647e099e4