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 VERKLE is Context, IERC20 ... *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•    - function setCooldownEnabled(bool onof ...
•    - function tokenFromReflection(uint256 ...
•    - function _approve(address owner, addr ...
•    - function _transfer(address from, addr ...
•    - function swapTokensForEth(uint256 tok ...
•    - function 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-12-12
*/

/**

Vitalik Tweet: https://twitter.com/VitalikButerin/status/1602325586936229890
Verkle Integratio: https://notes.ethereum.org/@vbuterin/verkle_tree_eip
Telegram: https://t.me/VerkleProtocol

**/

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 VERKLE 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 = 0;

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

    string private constant _name = "Verkle Protocol";
    string private constant _symbol = "VERKLE";
    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=5;
        _finalTax=0;
        _reduceTaxCountdown=50;

        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"}]

60806040526200001966038d7ea4c68000600019620001d5565b6200002790600019620001af565b6008556000600a819055600b556013805462ffffff60a81b1916905566038d7ea4c680006014556512309ce540006015553480156200006557600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350601180546001600160a01b03191633908117909155600854600091825260026020526040822055600190600590620000e76000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff199687161790553081526005938490528281208054861660019081179091556011549092168152918220805490941617909255600e55600f556032601055620001543390565b6001600160a01b031660006001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef66038d7ea4c68000604051620001a191815260200190565b60405180910390a3620001f8565b600082821015620001d057634e487b7160e01b600052601160045260246000fd5b500390565b600082620001f357634e487b7160e01b600052601260045260246000fd5b500690565b61196980620002086000396000f3fe6080604052600436106101185760003560e01c806370a08231116100a0578063a9059cbb11610064578063a9059cbb1461030c578063bfd792841461032c578063c3c8cd801461035c578063c9567bf914610371578063dd62ed3e1461038657600080fd5b806370a082311461026b578063715018a61461028b578063751039fc146102a05780638da5cb5b146102b557806395d89b41146102dd57600080fd5b8063273123b7116100e7578063273123b7146101e2578063313ce567146102045780635932ead11461022057806363d84ba8146102405780636fc3eaec1461025657600080fd5b806306fdde0314610124578063095ea7b31461016e57806318160ddd1461019e57806323b872dd146101c257600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b5060408051808201909152600f81526e15995c9adb1948141c9bdd1bd8dbdb608a1b60208201525b604051610165919061173a565b60405180910390f35b34801561017a57600080fd5b5061018e6101893660046116a6565b6103cc565b6040519015158152602001610165565b3480156101aa57600080fd5b5066038d7ea4c680005b604051908152602001610165565b3480156101ce57600080fd5b5061018e6101dd366004611665565b6103e3565b3480156101ee57600080fd5b506102026101fd3660046115f2565b61044c565b005b34801561021057600080fd5b5060405160098152602001610165565b34801561022c57600080fd5b5061020261023b3660046116d2565b6104a0565b34801561024c57600080fd5b506101b4600a5481565b34801561026257600080fd5b506102026104e8565b34801561027757600080fd5b506101b46102863660046115f2565b610515565b34801561029757600080fd5b50610202610537565b3480156102ac57600080fd5b506102026105ab565b3480156102c157600080fd5b506000546040516001600160a01b039091168152602001610165565b3480156102e957600080fd5b506040805180820190915260068152655645524b4c4560d01b6020820152610158565b34801561031857600080fd5b5061018e6103273660046116a6565b6105e7565b34801561033857600080fd5b5061018e6103473660046115f2565b60066020526000908152604090205460ff1681565b34801561036857600080fd5b506102026105f4565b34801561037d57600080fd5b5061020261062a565b34801561039257600080fd5b506101b46103a136600461162c565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b60006103d93384846109e7565b5060015b92915050565b60006103f0848484610b0b565b610442843361043d8560405180606001604052806028815260200161190c602891396001600160a01b038a1660009081526004602090815260408083203384529091529020549190610f0e565b6109e7565b5060019392505050565b6000546001600160a01b0316331461047f5760405162461bcd60e51b81526004016104769061178f565b60405180910390fd5b6001600160a01b03166000908152600660205260409020805460ff19169055565b6000546001600160a01b031633146104ca5760405162461bcd60e51b81526004016104769061178f565b60138054911515600160b81b0260ff60b81b19909216919091179055565b6011546001600160a01b0316336001600160a01b03161461050857600080fd5b4761051281610f48565b50565b6001600160a01b0381166000908152600260205260408120546103dd90610f82565b6000546001600160a01b031633146105615760405162461bcd60e51b81526004016104769061178f565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146105d55760405162461bcd60e51b81526004016104769061178f565b66038d7ea4c680006014819055601555565b60006103d9338484610b0b565b6011546001600160a01b0316336001600160a01b03161461061457600080fd5b600061061f30610515565b905061051281611006565b6000546001600160a01b031633146106545760405162461bcd60e51b81526004016104769061178f565b601354600160a01b900460ff16156106ae5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610476565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106e9308266038d7ea4c680006109e7565b806001600160a01b031663c45a01556040518163ffffffff1660e01b815260040160206040518083038186803b15801561072257600080fd5b505afa158015610736573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061075a919061160f565b6001600160a01b031663c9c6539630836001600160a01b031663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b1580156107a257600080fd5b505afa1580156107b6573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107da919061160f565b6040516001600160e01b031960e085901b1681526001600160a01b03928316600482015291166024820152604401602060405180830381600087803b15801561082257600080fd5b505af1158015610836573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061085a919061160f565b601380546001600160a01b0319166001600160a01b039283161790556012541663f305d719473061088a81610515565b60008061089f6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c4016060604051808303818588803b15801561090257600080fd5b505af1158015610916573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061093b919061170c565b50506013805443600a5563ffff00ff60a01b198116630101000160a01b1790915560125460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b390604401602060405180830381600087803b1580156109ab57600080fd5b505af11580156109bf573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109e391906116ef565b5050565b6001600160a01b038316610a495760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610476565b6001600160a01b038216610aaa5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610476565b6001600160a01b0383811660008181526004602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b6f5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610476565b6001600160a01b038216610bd15760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610476565b60008111610c335760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610476565b6000546001600160a01b03848116911614801590610c5f57506000546001600160a01b03838116911614155b15610ef3576001600160a01b03831660009081526006602052604090205460ff16158015610ca657506001600160a01b03821660009081526006602052604090205460ff16155b610ce15760405162461bcd60e51b815260206004820152600c60248201526b213630b1b5b634b9ba32b21760a11b6044820152606401610476565b6000600c5560105415610cf657600e54610cfa565b600f545b600d556013546001600160a01b038481169116148015610d2857506012546001600160a01b03838116911614155b8015610d4d57506001600160a01b03821660009081526005602052604090205460ff16155b8015610d625750601354600160b81b900460ff165b15610e7657601454811115610db95760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610476565b60155481610dc684610515565b610dd09190611835565b1115610e1e5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610476565b60105415610e3c5760108054906000610e36836118a5565b91905055505b600b54600a54610e4c9190611835565b4311610e76576001600160a01b0382166000908152600660205260409020805460ff191660011790555b6000610e8130610515565b601354909150600160a81b900460ff16158015610eac57506013546001600160a01b03858116911614155b8015610ec15750601354600160b01b900460ff165b8015610ecd5750600081115b15610eed57610edb81611006565b478015610eeb57610eeb47610f48565b505b50610efe565b6000600c819055600d555b610f0983838361118f565b505050565b60008184841115610f325760405162461bcd60e51b8152600401610476919061173a565b506000610f3f848661188e565b95945050505050565b6011546040516001600160a01b039091169082156108fc029083906000818181858888f193505050501580156109e3573d6000803e3d6000fd5b6000600854821115610fe95760405162461bcd60e51b815260206004820152602a60248201527f416d6f756e74206d757374206265206c657373207468616e20746f74616c207260448201526965666c656374696f6e7360b01b6064820152608401610476565b6000610ff361119a565b9050610fff83826111bd565b9392505050565b6013805460ff60a81b1916600160a81b179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061104e5761104e6118d2565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c4648926004808301939192829003018186803b1580156110a257600080fd5b505afa1580156110b6573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906110da919061160f565b816001815181106110ed576110ed6118d2565b6001600160a01b03928316602091820292909201015260125461111391309116846109e7565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac9479061114c9085906000908690309042906004016117c4565b600060405180830381600087803b15801561116657600080fd5b505af115801561117a573d6000803e3d6000fd5b50506013805460ff60a81b1916905550505050565b610f098383836111ff565b60008060006111a76112f6565b90925090506111b682826111bd565b9250505090565b6000610fff83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611334565b60008060008060008061121187611362565b6001600160a01b038f16600090815260026020526040902054959b5093995091975095509350915061124390876113bf565b6001600160a01b03808b1660009081526002602052604080822093909355908a16815220546112729086611401565b6001600160a01b03891660009081526002602052604090205561129481611460565b61129e84836114aa565b876001600160a01b0316896001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516112e391815260200190565b60405180910390a3505050505050505050565b600854600090819066038d7ea4c6800061131082826111bd565b82101561132b5750506008549266038d7ea4c6800092509050565b90939092509050565b600081836113555760405162461bcd60e51b8152600401610476919061173a565b506000610f3f848661184d565b600080600080600080600080600061137f8a600c54600d546114ce565b925092509250600061138f61119a565b905060008060006113a28e878787611523565b919e509c509a509598509396509194505050505091939550919395565b6000610fff83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610f0e565b60008061140e8385611835565b905083811015610fff5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610476565b600061146a61119a565b905060006114788383611573565b306000908152600260205260409020549091506114959082611401565b30600090815260026020526040902055505050565b6008546114b790836113bf565b6008556009546114c79082611401565b6009555050565b60008080806114e860646114e28989611573565b906111bd565b905060006114fb60646114e28a89611573565b905060006115138261150d8b866113bf565b906113bf565b9992985090965090945050505050565b60008080806115328886611573565b905060006115408887611573565b9050600061154e8888611573565b905060006115608261150d86866113bf565b939b939a50919850919650505050505050565b600082611582575060006103dd565b600061158e838561186f565b90508261159b858361184d565b14610fff5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610476565b60006020828403121561160457600080fd5b8135610fff816118e8565b60006020828403121561162157600080fd5b8151610fff816118e8565b6000806040838503121561163f57600080fd5b823561164a816118e8565b9150602083013561165a816118e8565b809150509250929050565b60008060006060848603121561167a57600080fd5b8335611685816118e8565b92506020840135611695816118e8565b929592945050506040919091013590565b600080604083850312156116b957600080fd5b82356116c4816118e8565b946020939093013593505050565b6000602082840312156116e457600080fd5b8135610fff816118fd565b60006020828403121561170157600080fd5b8151610fff816118fd565b60008060006060848603121561172157600080fd5b8351925060208401519150604084015190509250925092565b600060208083528351808285015260005b818110156117675785810183015185820160400152820161174b565b81811115611779576000604083870101525b50601f01601f1916929092016040019392505050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118145784516001600160a01b0316835293830193918301916001016117ef565b50506001600160a01b03969096166060850152505050608001529392505050565b60008219821115611848576118486118bc565b500190565b60008261186a57634e487b7160e01b600052601260045260246000fd5b500490565b6000816000190483118215151615611889576118896118bc565b500290565b6000828210156118a0576118a06118bc565b500390565b6000816118b4576118b46118bc565b506000190190565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052603260045260246000fd5b6001600160a01b038116811461051257600080fd5b801515811461051257600080fdfe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220b1336fa74ff3a17f5f8c33ec40cb68b4c8126bd1799f6c473dc57eb1eb28d27e64736f6c63430008070033

0x6080604052600436106101185760003560e01c806370a08231116100a0578063a9059cbb11610064578063a9059cbb1461030c578063bfd792841461032c578063c3c8cd801461035c578063c9567bf914610371578063dd62ed3e1461038657600080fd5b806370a082311461026b578063715018a61461028b578063751039fc146102a05780638da5cb5b146102b557806395d89b41146102dd57600080fd5b8063273123b7116100e7578063273123b7146101e2578063313ce567146102045780635932ead11461022057806363d84ba8146102405780636fc3eaec1461025657600080fd5b806306fdde0314610124578063095ea7b31461016e57806318160ddd1461019e57806323b872dd146101c257600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b5060408051808201909152600f81526e15995c9adb1948141c9bdd1bd8dbdb608a1b60208201525b604051610165919061173a565b60405180910390f35b34801561017a57600080fd5b5061018e6101893660046116a6565b6103cc565b6040519015158152602001610165565b3480156101aa57600080fd5b5066038d7ea4c680005b604051908152602001610165565b3480156101ce57600080fd5b5061018e6101dd366004611665565b6103e3565b3480156101ee57600080fd5b506102026101fd3660046115f2565b61044c565b005b34801561021057600080fd5b5060405160098152602001610165565b34801561022c57600080fd5b5061020261023b3660046116d2565b6104a0565b34801561024c57600080fd5b506101b4600a5481565b34801561026257600080fd5b506102026104e8565b34801561027757600080fd5b506101b46102863660046115f2565b610515565b34801561029757600080fd5b50610202610537565b3480156102ac57600080fd5b506102026105ab565b3480156102c157600080fd5b506000546040516001600160a01b039091168152602001610165565b3480156102e957600080fd5b506040805180820190915260068152655645524b4c4560d01b6020820152610158565b34801561031857600080fd5b5061018e6103273660046116a6565b6105e7565b34801561033857600080fd5b5061018e6103473660046115f2565b60066020526000908152604090205460ff1681565b34801561036857600080fd5b506102026105f4565b34801561037d57600080fd5b5061020261062a565b34801561039257600080fd5b506101b46103a136600461162c565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b60006103d93384846109e7565b5060015b92915050565b60006103f0848484610b0b565b610442843361043d8560405180606001604052806028815260200161190c602891396001600160a01b038a1660009081526004602090815260408083203384529091529020549190610f0e565b6109e7565b5060019392505050565b6000546001600160a01b0316331461047f5760405162461bcd60e51b81526004016104769061178f565b60405180910390fd5b6001600160a01b03166000908152600660205260409020805460ff19169055565b6000546001600160a01b031633146104ca5760405162461bcd60e51b81526004016104769061178f565b60138054911515600160b81b0260ff60b81b19909216919091179055565b6011546001600160a01b0316336001600160a01b03161461050857600080fd5b4761051281610f48565b50565b6001600160a01b0381166000908152600260205260408120546103dd90610f82565b6000546001600160a01b031633146105615760405162461bcd60e51b81526004016104769061178f565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146105d55760405162461bcd60e51b81526004016104769061178f565b66038d7ea4c680006014819055601555565b60006103d9338484610b0b565b6011546001600160a01b0316336001600160a01b03161461061457600080fd5b600061061f30610515565b905061051281611006565b6000546001600160a01b031633146106545760405162461bcd60e51b81526004016104769061178f565b601354600160a01b900460ff16156106ae5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610476565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106e9308266038d7ea4c680006109e7565b806001600160a01b031663c45a01556040518163ffffffff1660e01b815260040160206040518083038186803b15801561072257600080fd5b505afa158015610736573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061075a919061160f565b6001600160a01b031663c9c6539630836001600160a01b031663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b1580156107a257600080fd5b505afa1580156107b6573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107da919061160f565b6040516001600160e01b031960e085901b1681526001600160a01b03928316600482015291166024820152604401602060405180830381600087803b15801561082257600080fd5b505af1158015610836573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061085a919061160f565b601380546001600160a01b0319166001600160a01b039283161790556012541663f305d719473061088a81610515565b60008061089f6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c4016060604051808303818588803b15801561090257600080fd5b505af1158015610916573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061093b919061170c565b50506013805443600a5563ffff00ff60a01b198116630101000160a01b1790915560125460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b390604401602060405180830381600087803b1580156109ab57600080fd5b505af11580156109bf573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109e391906116ef565b5050565b6001600160a01b038316610a495760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610476565b6001600160a01b038216610aaa5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610476565b6001600160a01b0383811660008181526004602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b6f5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610476565b6001600160a01b038216610bd15760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610476565b60008111610c335760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610476565b6000546001600160a01b03848116911614801590610c5f57506000546001600160a01b03838116911614155b15610ef3576001600160a01b03831660009081526006602052604090205460ff16158015610ca657506001600160a01b03821660009081526006602052604090205460ff16155b610ce15760405162461bcd60e51b815260206004820152600c60248201526b213630b1b5b634b9ba32b21760a11b6044820152606401610476565b6000600c5560105415610cf657600e54610cfa565b600f545b600d556013546001600160a01b038481169116148015610d2857506012546001600160a01b03838116911614155b8015610d4d57506001600160a01b03821660009081526005602052604090205460ff16155b8015610d625750601354600160b81b900460ff165b15610e7657601454811115610db95760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610476565b60155481610dc684610515565b610dd09190611835565b1115610e1e5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610476565b60105415610e3c5760108054906000610e36836118a5565b91905055505b600b54600a54610e4c9190611835565b4311610e76576001600160a01b0382166000908152600660205260409020805460ff191660011790555b6000610e8130610515565b601354909150600160a81b900460ff16158015610eac57506013546001600160a01b03858116911614155b8015610ec15750601354600160b01b900460ff165b8015610ecd5750600081115b15610eed57610edb81611006565b478015610eeb57610eeb47610f48565b505b50610efe565b6000600c819055600d555b610f0983838361118f565b505050565b60008184841115610f325760405162461bcd60e51b8152600401610476919061173a565b506000610f3f848661188e565b95945050505050565b6011546040516001600160a01b039091169082156108fc029083906000818181858888f193505050501580156109e3573d6000803e3d6000fd5b6000600854821115610fe95760405162461bcd60e51b815260206004820152602a60248201527f416d6f756e74206d757374206265206c657373207468616e20746f74616c207260448201526965666c656374696f6e7360b01b6064820152608401610476565b6000610ff361119a565b9050610fff83826111bd565b9392505050565b6013805460ff60a81b1916600160a81b179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061104e5761104e6118d2565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c4648926004808301939192829003018186803b1580156110a257600080fd5b505afa1580156110b6573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906110da919061160f565b816001815181106110ed576110ed6118d2565b6001600160a01b03928316602091820292909201015260125461111391309116846109e7565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac9479061114c9085906000908690309042906004016117c4565b600060405180830381600087803b15801561116657600080fd5b505af115801561117a573d6000803e3d6000fd5b50506013805460ff60a81b1916905550505050565b610f098383836111ff565b60008060006111a76112f6565b90925090506111b682826111bd565b9250505090565b6000610fff83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611334565b60008060008060008061121187611362565b6001600160a01b038f16600090815260026020526040902054959b5093995091975095509350915061124390876113bf565b6001600160a01b03808b1660009081526002602052604080822093909355908a16815220546112729086611401565b6001600160a01b03891660009081526002602052604090205561129481611460565b61129e84836114aa565b876001600160a01b0316896001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516112e391815260200190565b60405180910390a3505050505050505050565b600854600090819066038d7ea4c6800061131082826111bd565b82101561132b5750506008549266038d7ea4c6800092509050565b90939092509050565b600081836113555760405162461bcd60e51b8152600401610476919061173a565b506000610f3f848661184d565b600080600080600080600080600061137f8a600c54600d546114ce565b925092509250600061138f61119a565b905060008060006113a28e878787611523565b919e509c509a509598509396509194505050505091939550919395565b6000610fff83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610f0e565b60008061140e8385611835565b905083811015610fff5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610476565b600061146a61119a565b905060006114788383611573565b306000908152600260205260409020549091506114959082611401565b30600090815260026020526040902055505050565b6008546114b790836113bf565b6008556009546114c79082611401565b6009555050565b60008080806114e860646114e28989611573565b906111bd565b905060006114fb60646114e28a89611573565b905060006115138261150d8b866113bf565b906113bf565b9992985090965090945050505050565b60008080806115328886611573565b905060006115408887611573565b9050600061154e8888611573565b905060006115608261150d86866113bf565b939b939a50919850919650505050505050565b600082611582575060006103dd565b600061158e838561186f565b90508261159b858361184d565b14610fff5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610476565b60006020828403121561160457600080fd5b8135610fff816118e8565b60006020828403121561162157600080fd5b8151610fff816118e8565b6000806040838503121561163f57600080fd5b823561164a816118e8565b9150602083013561165a816118e8565b809150509250929050565b60008060006060848603121561167a57600080fd5b8335611685816118e8565b92506020840135611695816118e8565b929592945050506040919091013590565b600080604083850312156116b957600080fd5b82356116c4816118e8565b946020939093013593505050565b6000602082840312156116e457600080fd5b8135610fff816118fd565b60006020828403121561170157600080fd5b8151610fff816118fd565b60008060006060848603121561172157600080fd5b8351925060208401519150604084015190509250925092565b600060208083528351808285015260005b818110156117675785810183015185820160400152820161174b565b81811115611779576000604083870101525b50601f01601f1916929092016040019392505050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118145784516001600160a01b0316835293830193918301916001016117ef565b50506001600160a01b03969096166060850152505050608001529392505050565b60008219821115611848576118486118bc565b500190565b60008261186a57634e487b7160e01b600052601260045260246000fd5b500490565b6000816000190483118215151615611889576118896118bc565b500290565b6000828210156118a0576118a06118bc565b500390565b6000816118b4576118b46118bc565b506000190190565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052603260045260246000fd5b6001600160a01b038116811461051257600080fd5b801515811461051257600080fdfe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220b1336fa74ff3a17f5f8c33ec40cb68b4c8126bd1799f6c473dc57eb1eb28d27e64736f6c63430008070033

3718:10396:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5667:83;;;;;;;;;;-1:-1:-1;5737:5:0;;;;;;;;;;;;-1:-1:-1;;;5737:5:0;;;;5667:83;;;;;;;:::i;:::-;;;;;;;;6519:161;;;;;;;;;;-1:-1:-1;6519:161:0;;;;;:::i;:::-;;:::i;:::-;;;4076:14:1;;4069:22;4051:41;;4039:2;4024:18;6519:161:0;3911:187:1;5944:95:0;;;;;;;;;;-1:-1:-1;4216:17:0;5944:95;;;9811:25:1;;;9799:2;9784:18;5944:95:0;9665:177:1;6688:313:0;;;;;;;;;;-1:-1:-1;6688:313:0;;;;;:::i;:::-;;:::i;9955:88::-;;;;;;;;;;-1:-1:-1;9955:88:0;;;;;:::i;:::-;;:::i;:::-;;5853:83;;;;;;;;;;-1:-1:-1;5853:83:0;;4758:1;10974:36:1;;10962:2;10947:18;5853:83:0;10832:184:1;7009:103:0;;;;;;;;;;-1:-1:-1;7009:103:0;;;;;:::i;:::-;;:::i;4331:25::-;;;;;;;;;;;;;;;;12229:193;;;;;;;;;;;;;:::i;6047:138::-;;;;;;;;;;-1:-1:-1;6047:138:0;;;;;:::i;:::-;;:::i;2799:148::-;;;;;;;;;;;;;:::i;9829:118::-;;;;;;;;;;;;;:::i;2585:79::-;;;;;;;;;;-1:-1:-1;2623:7:0;2650:6;2585:79;;-1:-1:-1;;;;;2650:6:0;;;2649:51:1;;2637:2;2622:18;2585:79:0;2503:203:1;5758:87:0;;;;;;;;;;-1:-1:-1;5830:7:0;;;;;;;;;;;;-1:-1:-1;;;5830:7:0;;;;5758:87;;6193:167;;;;;;;;;;-1:-1:-1;6193:167:0;;;;;:::i;:::-;;:::i;4039:37::-;;;;;;;;;;-1:-1:-1;4039:37:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;12027:194;;;;;;;;;;;;;:::i;10155:803::-;;;;;;;;;;;;;:::i;6368:143::-;;;;;;;;;;-1:-1:-1;6368:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6476:18:0;;;6449:7;6476:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6368:143;6519:161;6594:4;6611:39;383:10;6634:7;6643:6;6611:8;:39::i;:::-;-1:-1:-1;6668:4:0;6519:161;;;;;:::o;6688:313::-;6786:4;6803:36;6813:6;6821:9;6832:6;6803:9;:36::i;:::-;6850:121;6859:6;383:10;6881:89;6919:6;6881:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6881:19:0;;;;;;:11;:19;;;;;;;;383:10;6881:33;;;;;;;;;;:37;:89::i;:::-;6850:8;:121::i;:::-;-1:-1:-1;6989:4:0;6688:313;;;;;:::o;9955:88::-;2712:6;;-1:-1:-1;;;;;2712:6:0;383:10;2712:22;2704:67;;;;-1:-1:-1;;;2704:67:0;;;;;;;:::i;:::-;;;;;;;;;-1:-1:-1;;;;;10015:12:0::1;10030:5;10015:12:::0;;;:4:::1;:12;::::0;;;;:20;;-1:-1:-1;;10015:20:0::1;::::0;;9955:88::o;7009:103::-;2712:6;;-1:-1:-1;;;;;2712:6:0;383:10;2712:22;2704:67;;;;-1:-1:-1;;;2704:67:0;;;;;;;:::i;:::-;7081:15:::1;:23:::0;;;::::1;;-1:-1:-1::0;;;7081:23:0::1;-1:-1:-1::0;;;;7081:23:0;;::::1;::::0;;;::::1;::::0;;7009:103::o;12229:193::-;12295:14;;-1:-1:-1;;;;;12295:14:0;383:10;-1:-1:-1;;;;;12279:30:0;;12271:39;;;;;;12350:21;12382:32;12350:21;12382:12;:32::i;:::-;12260:162;12229:193::o;6047:138::-;-1:-1:-1;;;;;6160:16:0;;6113:7;6160:16;;;:7;:16;;;;;;6140:37;;:19;:37::i;2799:148::-;2712:6;;-1:-1:-1;;;;;2712:6:0;383:10;2712:22;2704:67;;;;-1:-1:-1;;;2704:67:0;;;;;;;:::i;:::-;2906:1:::1;2890:6:::0;;2869:40:::1;::::0;-1:-1:-1;;;;;2890:6:0;;::::1;::::0;2869:40:::1;::::0;2906:1;;2869:40:::1;2937:1;2920:19:::0;;-1:-1:-1;;;;;;2920:19:0::1;::::0;;2799:148::o;9829:118::-;2712:6;;-1:-1:-1;;;;;2712:6:0;383:10;2712:22;2704:67;;;;-1:-1:-1;;;2704:67:0;;;;;;;:::i;:::-;4216:17:::1;9882:12;:22:::0;;;9915:14:::1;:24:::0;9829:118::o;6193:167::-;6271:4;6288:42;383:10;6312:9;6323:6;6288:9;:42::i;12027:194::-;12093:14;;-1:-1:-1;;;;;12093:14:0;383:10;-1:-1:-1;;;;;12077:30:0;;12069:39;;;;;;12119:23;12145:24;12163:4;12145:9;:24::i;:::-;12119:50;;12180:33;12197:15;12180:16;:33::i;10155:803::-;2712:6;;-1:-1:-1;;;;;2712:6:0;383:10;2712:22;2704:67;;;;-1:-1:-1;;;2704:67:0;;;;;;;:::i;:::-;10219:11:::1;::::0;-1:-1:-1;;;10219:11:0;::::1;;;10218:12;10210:47;;;::::0;-1:-1:-1;;;10210:47:0;;9515:2:1;10210:47:0::1;::::0;::::1;9497:21:1::0;9554:2;9534:18;;;9527:30;9593:25;9573:18;;;9566:53;9636:18;;10210:47:0::1;9313:347:1::0;10210:47:0::1;10379:15;:34:::0;;-1:-1:-1;;;;;;10379:34:0::1;10325:42;10379:34:::0;;::::1;::::0;;;10424:58:::1;10441:4;10325:42:::0;4216:17:::1;10424:8;:58::i;:::-;10527:16;-1:-1:-1::0;;;;;10527:24:0::1;;:26;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10509:56:0::1;;10574:4;10581:16;-1:-1:-1::0;;;;;10581:21:0::1;;:23;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10509:96;::::0;-1:-1:-1;;;;;;10509:96:0::1;::::0;;;;;;-1:-1:-1;;;;;2941:15:1;;;10509:96:0::1;::::0;::::1;2923:34:1::0;2993:15;;2973:18;;;2966:43;2858:18;;10509:96:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10493:13;:112:::0;;-1:-1:-1;;;;;;10493:112:0::1;-1:-1:-1::0;;;;;10493:112:0;;::::1;;::::0;;10616:15:::1;::::0;::::1;:31;10655:21;10686:4;10692:24;10686:4:::0;10692:9:::1;:24::i;:::-;10717:1;10719::::0;10721:7:::1;2623::::0;2650:6;-1:-1:-1;;;;;2650:6:0;;2585:79;10721:7:::1;10616:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10616:129:0;;;-1:-1:-1;;;;;3658:15:1;;;10616: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;10729:15:0::1;3872:19:1::0;;;3865:35;3574:19;;10616:129:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10756:11:0::1;:18:::0;;10827:12:::1;10818:6;:21:::0;-1:-1:-1;;;;10850:18:0;;-1:-1:-1;;;10850:18:0;;;;10917:15:::1;::::0;10879:71:::1;::::0;-1:-1:-1;;;10879:71:0;;-1:-1:-1;;;;;10917:15:0;;::::1;10879:71;::::0;::::1;3194:51:1::0;-1:-1:-1;;3261:18:1;;;3254:34;10886:13:0;;;-1:-1:-1;10879:29:0::1;::::0;3167:18:1;;10879:71:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;10199:759;10155:803::o:0;7382:335::-;-1:-1:-1;;;;;7475:19:0;;7467:68;;;;-1:-1:-1;;;7467:68:0;;9110:2:1;7467: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;;7467:68:0;8908:400:1;7467:68:0;-1:-1:-1;;;;;7554:21:0;;7546:68;;;;-1:-1:-1;;;7546:68:0;;6417:2:1;7546: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;;7546:68:0;6215:398:1;7546:68:0;-1:-1:-1;;;;;7625:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7677:32;;9811:25:1;;;7677:32:0;;9784:18:1;7677:32:0;;;;;;;7382:335;;;:::o;7725:1605::-;-1:-1:-1;;;;;7813:18:0;;7805:68;;;;-1:-1:-1;;;7805:68:0;;8349:2:1;7805: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;;7805:68:0;8147:401:1;7805:68:0;-1:-1:-1;;;;;7892:16:0;;7884:64;;;;-1:-1:-1;;;7884:64:0;;5248:2:1;7884: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;;7884:64:0;5046:399:1;7884:64:0;7976:1;7967:6;:10;7959:64;;;;-1:-1:-1;;;7959:64:0;;7939:2:1;7959: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;;7959:64:0;7737:405:1;7959:64:0;2623:7;2650:6;-1:-1:-1;;;;;8042:15:0;;;2650:6;;8042:15;;;;:32;;-1:-1:-1;2623:7:0;2650:6;-1:-1:-1;;;;;8061:13:0;;;2650:6;;8061:13;;8042:32;8038:1242;;;-1:-1:-1;;;;;8100:10:0;;;;;;:4;:10;;;;;;;;8099:11;:24;;;;-1:-1:-1;;;;;;8115:8:0;;;;;;:4;:8;;;;;;;;8114:9;8099:24;8091:49;;;;-1:-1:-1;;;8091:49:0;;4907:2:1;8091:49:0;;;4889:21:1;4946:2;4926:18;;;4919:30;-1:-1:-1;;;4965:18:1;;;4958:42;5017:18;;8091:49:0;4705:336:1;8091:49:0;8167:1;8155:9;:13;8196:19;;:22;8195:46;;8230:11;;8195:46;;;8220:9;;8195:46;8183:9;:58;8268:13;;-1:-1:-1;;;;;8260:21:0;;;8268:13;;8260:21;:55;;;;-1:-1:-1;8299:15:0;;-1:-1:-1;;;;;8285:30:0;;;8299:15;;8285:30;;8260:55;:83;;;;-1:-1:-1;;;;;;8321:22:0;;;;;;:18;:22;;;;;;;;8319:24;8260:83;:102;;;;-1:-1:-1;8347:15:0;;-1:-1:-1;;;8347:15:0;;;;8260:102;8256:515;;;8430:12;;8420:6;:22;;8412:60;;;;-1:-1:-1;;;8412:60:0;;5652:2:1;8412:60:0;;;5634:21:1;5691:2;5671:18;;;5664:30;5730:27;5710:18;;;5703:55;5775:18;;8412:60:0;5450:349:1;8412:60:0;8525:14;;8515:6;8499:13;8509:2;8499:9;:13::i;:::-;:22;;;;:::i;:::-;:40;;8491:79;;;;-1:-1:-1;;;8491:79:0;;8755:2:1;8491:79:0;;;8737:21:1;8794:2;8774:18;;;8767:30;8833:28;8813:18;;;8806:56;8879:18;;8491:79:0;8553:350:1;8491:79:0;8592:19;;:21;8589:49;;8615:19;:21;;;:19;:21;;;:::i;:::-;;;;;;8589:49;8688:7;;8679:6;;:16;;;;:::i;:::-;8662:12;:34;8658:98;;-1:-1:-1;;;;;8721:8:0;;;;;;:4;:8;;;;;:15;;-1:-1:-1;;8721:15:0;8732:4;8721:15;;;8658:98;8787:28;8818:24;8836:4;8818:9;:24::i;:::-;8862:6;;8787:55;;-1:-1:-1;;;;8862:6:0;;;;8861:7;:32;;;;-1:-1:-1;8880:13:0;;-1:-1:-1;;;;;8872:21:0;;;8880:13;;8872:21;;8861:32;:47;;;;-1:-1:-1;8897:11:0;;-1:-1:-1;;;8897:11:0;;;;8861:47;:73;;;;;8933:1;8912:20;:22;8861:73;8857:344;;;8955:38;8972:20;8955:16;:38::i;:::-;9041:21;9084:22;;9081:105;;9131:35;9144:21;9131:12;:35::i;:::-;8936:265;8857:344;8076:1136;8038:1242;;;9241:1;9229:9;:13;;;9255:9;:13;8038:1242;9292:30;9307:4;9312:2;9315:6;9292:14;:30::i;:::-;7725:1605;;;:::o;1440:190::-;1526:7;1562:12;1554:6;;;;1546:29;;;;-1:-1:-1;;;1546:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1586:9:0;1598:5;1602:1;1598;:5;:::i;:::-;1586:17;1440:190;-1:-1:-1;;;;;1440:190:0:o;10051:96::-;10108:14;;:31;;-1:-1:-1;;;;;10108:14:0;;;;:31;;;;;10132:6;;10108:14;:31;:14;:31;10132:6;10108:14;:31;;;;;;;;;;;;;;;;;;;7120:254;7187:7;7226;;7215;:18;;7207:73;;;;-1:-1:-1;;;7207:73:0;;6006:2:1;7207: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;;7207:73:0;5804:406:1;7207:73:0;7291:19;7314:10;:8;:10::i;:::-;7291:33;-1:-1:-1;7342:24:0;:7;7291:33;7342:11;:24::i;:::-;7335:31;7120:254;-1:-1:-1;;;7120:254:0:o;9338:483::-;5191:6;:13;;-1:-1:-1;;;;5191:13:0;-1:-1:-1;;;5191:13:0;;;9440:16:::1;::::0;;9454:1:::1;9440:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9440:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9440:16:0::1;9416:40;;9485:4;9467;9472:1;9467:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9467:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9511:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9511:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9467:7;;9511:22;;;;;:15;:22;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9501:4;9506:1;9501:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9501:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9576:15:::1;::::0;9544:62:::1;::::0;9561:4:::1;::::0;9576:15:::1;9594:11:::0;9544:8:::1;:62::i;:::-;9617:15;::::0;:196:::1;::::0;-1:-1:-1;;;9617:196:0;;-1:-1:-1;;;;;9617:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9698:11;;9617:15:::1;::::0;9740:4;;9767::::1;::::0;9787:15:::1;::::0;9617:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5227:6:0;:14;;-1:-1:-1;;;;5227:14:0;;;-1:-1:-1;;;;9338:483:0:o;10966:146::-;11060:44;11078:6;11086:9;11097:6;11060:17;:44::i;13684:163::-;13725:7;13746:15;13763;13782:19;:17;:19::i;:::-;13745:56;;-1:-1:-1;13745:56:0;-1:-1:-1;13819:20:0;13745:56;;13819:11;:20::i;:::-;13812:27;;;;13684:163;:::o;1892:132::-;1950:7;1977:39;1981:1;1984;1977:39;;;;;;;;;;;;;;;;;:3;:39::i;11120:487::-;11219:15;11236:23;11261:12;11275:23;11300:12;11314:13;11331:19;11342:7;11331:10;:19::i;:::-;-1:-1:-1;;;;;11379:15:0;;;;;;:7;:15;;;;;;11218:132;;-1:-1:-1;11218:132:0;;-1:-1:-1;11218:132:0;;-1:-1:-1;11218:132:0;-1:-1:-1;11218:132:0;-1:-1:-1;11218:132:0;-1:-1:-1;11379:28:0;;11218:132;11379:19;:28::i;:::-;-1:-1:-1;;;;;11361:15:0;;;;;;;:7;:15;;;;;;:46;;;;11439:18;;;;;;;:39;;11462:15;11439:22;:39::i;:::-;-1:-1:-1;;;;;11418:18:0;;;;;;:7;:18;;;;;:60;11489:16;11499:5;11489:9;:16::i;:::-;11516:23;11528:4;11534;11516:11;:23::i;:::-;11572:9;-1:-1:-1;;;;;11555:44:0;11564:6;-1:-1:-1;;;;;11555:44:0;;11583:15;11555:44;;;;9811:25:1;;9799:2;9784:18;;9665:177;11555:44:0;;;;;;;;11207:400;;;;;;11120:487;;;:::o;13855:256::-;13952:7;;13905;;;;4216:17;14020:20;13952:7;4216:17;14020:11;:20::i;:::-;14010:7;:30;14006:61;;;-1:-1:-1;;14050:7:0;;;4216:17;;-1:-1:-1;13855:256:0;-1:-1:-1;13855:256:0:o;14006:61::-;14086:7;;14095;;-1:-1:-1;13855:256:0;-1:-1:-1;13855:256:0:o;2032:189::-;2118:7;2153:12;2146:5;2138:28;;;;-1:-1:-1;;;2138:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2177:9:0;2189:5;2193:1;2189;:5;:::i;12432:471::-;12491:7;12500;12509;12518;12527;12536;12557:23;12582:12;12596:13;12613:42;12625:7;12634:9;;12645;;12613:11;:42::i;:::-;12556:99;;;;;;12666:19;12689:10;:8;:10::i;:::-;12666:33;;12711:15;12728:23;12753:12;12769:46;12781:7;12790:4;12796:5;12803:11;12769;:46::i;:::-;12710:105;;-1:-1:-1;12710:105:0;-1:-1:-1;12710:105:0;-1:-1:-1;12866:15:0;;-1:-1:-1;12883:4:0;;-1:-1:-1;12889:5:0;;-1:-1:-1;;;;;12432:471:0;;;;;;;:::o;1296:136::-;1354:7;1381:43;1385:1;1388;1381:43;;;;;;;;;;;;;;;;;:3;:43::i;1109:179::-;1167:7;;1199:5;1203:1;1199;:5;:::i;:::-;1187:17;;1228:1;1223;:6;;1215:46;;;;-1:-1:-1;;;1215:46:0;;6820:2:1;1215:46:0;;;6802:21:1;6859:2;6839:18;;;6832:30;6898:29;6878:18;;;6871:57;6945:18;;1215:46:0;6618:351:1;11615:212:0;11668:19;11691:10;:8;:10::i;:::-;11668:33;-1:-1:-1;11712:13:0;11728:22;:5;11668:33;11728:9;:22::i;:::-;11802:4;11786:22;;;;:7;:22;;;;;;11712:38;;-1:-1:-1;11786:33:0;;11712:38;11786:26;:33::i;:::-;11777:4;11761:22;;;;:7;:22;;;;;:58;-1:-1:-1;;;11615:212:0:o;11835:147::-;11913:7;;:17;;11925:4;11913:11;:17::i;:::-;11903:7;:27;11954:10;;:20;;11969:4;11954:14;:20::i;:::-;11941:10;:33;-1:-1:-1;;11835:147:0:o;12911:351::-;13004:7;;;;13057:28;13081:3;13057:19;:7;13069:6;13057:11;:19::i;:::-;:23;;:28::i;:::-;13042:43;-1:-1:-1;13096:13:0;13112:29;13137:3;13112:20;:7;13124;13112:11;:20::i;:29::-;13096:45;-1:-1:-1;13152:23:0;13178:28;13096:45;13178:17;:7;13190:4;13178:11;:17::i;:::-;:21;;:28::i;:::-;13152:54;13242:4;;-1:-1:-1;13248:5:0;;-1:-1:-1;12911:351:0;;-1:-1:-1;;;;;12911:351:0:o;13270:409::-;13380:7;;;;13436:24;:7;13448:11;13436;:24::i;:::-;13418:42;-1:-1:-1;13471:12:0;13486:21;:4;13495:11;13486:8;:21::i;:::-;13471:36;-1:-1:-1;13518:13:0;13534:22;:5;13544:11;13534:9;:22::i;:::-;13518:38;-1:-1:-1;13567:23:0;13593:28;13518:38;13593:17;:7;13605:4;13593:11;:17::i;:28::-;13640:7;;;;-1:-1:-1;13666:4:0;;-1:-1:-1;13270:409:0;;-1:-1:-1;;;;;;;13270:409:0:o;1638:246::-;1696:7;1720:6;1716:47;;-1:-1:-1;1750:1:0;1743:8;;1716:47;1773:9;1785:5;1789:1;1785;:5;:::i;:::-;1773:17;-1:-1:-1;1818:1:0;1809:5;1813:1;1773:17;1809:5;:::i;:::-;:10;1801:56;;;;-1:-1:-1;;;1801:56:0;;7176:2:1;1801: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;;1801: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://b1336fa74ff3a17f5f8c33ec40cb68b4c8126bd1799f6c473dc57eb1eb28d27e