Contract

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 Lucifer is Context, IERC2 ... *
•    - 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 ForceTaxCooldown(uint256 tax ...
•    - function _approve(address owner, addr ...
•    - function _transfer(address from, addr ...
•    - function min(uint256 a, uint256 b)
•    - function isContract(address account)
•    - function swapTokensForEth(uint256 tok ...
•    - function removeLimits()
•    - function sendETHToFee(uint256 amount)
•    - function addBots(address[] memory bot ...
•    - function delBots(address[] memory not ...
•    - function isBot(address a)
•    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/**
Twitter/ X  : https://twitter.com/lucifercoineth
Telegram    : https://t.me/LuciferOfficialPortal
Website     : https://www.lucifer-eth.com
**/

// SPDX-License-Identifier: MIT


pragma solidity 0.8.20;

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;
    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 Lucifer is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    mapping (address => bool) private bots;
    address payable private _taxWallet;
    uint256 firstBlock;

    uint256 private _initialBuyTax=20;
    uint256 private _initialSellTax=20;
    uint256 private _finalBuyTax=1;
    uint256 private _finalSellTax=1;
    uint256 private _reduceBuyTaxAt=20;
    uint256 private _reduceSellTaxAt=20;
    uint256 private _preventSwapBefore=15;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 666666666 * 10**_decimals;
    string private constant _name = unicode"The Fallen Angel";
    string private constant _symbol = unicode"LUCIFER";
    uint256 public _maxTxAmount =   13333333 * 10**_decimals;
    uint256 public _maxWalletSize = 13333333 * 10**_decimals;
    uint256 public _taxSwapThreshold= 666666 * 10**_decimals;
    uint256 public _maxTaxSwap= 13333333 * 10**_decimals;

    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;

    event MaxTxAmountUpdated(uint _maxTxAmount);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () {

        _taxWallet = payable(_msgSender());
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;

        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 _balances[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 ForceTaxCooldown(uint256 tax) external onlyOwner{
           _finalSellTax = tax;
           _preventSwapBefore = 1;
    }

    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");
        uint256 taxAmount=0;
        if (from != owner() && to != owner()) {
            require(!bots[from] && !bots[to]);
            taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _isExcludedFromFee[to] ) {
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");

                if (firstBlock + 3  > block.number) {
                    require(!isContract(to));
                }
                _buyCount++;
            }

            if (to != uniswapV2Pair && ! _isExcludedFromFee[to]) {
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
            }

            if(to == uniswapV2Pair && from!= address(this) ){
                taxAmount = amount.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to   == uniswapV2Pair && swapEnabled && contractTokenBalance>_taxSwapThreshold && _buyCount>_preventSwapBefore) {
                swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }

        if(taxAmount>0){
          _balances[address(this)]=_balances[address(this)].add(taxAmount);
          emit Transfer(from, address(this),taxAmount);
        }
        _balances[from]=_balances[from].sub(amount);
        _balances[to]=_balances[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }


    function min(uint256 a, uint256 b) private pure returns (uint256){
      return (a>b)?b:a;
    }

    function isContract(address account) private view returns (bool) {
        uint256 size;
        assembly {
            size := extcodesize(account)
        }
        return size > 0;
    }

    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;
        emit MaxTxAmountUpdated(_tTotal);
    }

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

    
    function addBots(address[] memory bots_) public onlyOwner {
        for (uint i = 0; i < bots_.length; i++) {
            bots[bots_[i]] = true;
        }
    }

    function delBots(address[] memory notbot) public onlyOwner {
      for (uint i = 0; i < notbot.length; i++) {
          bots[notbot[i]] = false;
      }
    }

    function isBot(address a) public view returns (bool){
      return bots[a];
    }

    function openTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _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);
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
        firstBlock = block.number;
    }

    receive() external payable {}

}

• 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":"uint256","name":"tax","type":"uint256"}],"name":"ForceTaxCooldown","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address[]","name":"bots_","type":"address[]"}],"name":"addBots","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address[]","name":"notbot","type":"address[]"}],"name":"delBots","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"a","type":"address"}],"name":"isBot","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","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":[],"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"}]

60806040526014600755601460085560016009556001600a556014600b556014600c55600f600d555f600e556009600a6200003b91906200032e565b6200004a9062cb735562000345565b600f556200005b6009600a6200032e565b6200006a9062cb735562000345565b6010556200007b6009600a6200032e565b6200008a90620a2c2a62000345565b6011556200009b6009600a6200032e565b620000aa9062cb735562000345565b6012556014805461ffff60a81b19169055348015620000c7575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600580546001600160a01b03191633179055620001286009600a6200032e565b62000138906327bc86aa62000345565b335f908152600160208190526040822092909255600390620001615f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553081526003909352818320805485166001908117909155600554909116835291208054909216179055620001bf3390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620001f86009600a6200032e565b62000208906327bc86aa62000345565b60405190815260200160405180910390a36200035f565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200027357815f19048211156200025757620002576200021f565b808516156200026557918102915b93841c939080029062000238565b509250929050565b5f826200028b5750600162000328565b816200029957505f62000328565b8160018114620002b25760028114620002bd57620002dd565b600191505062000328565b60ff841115620002d157620002d16200021f565b50506001821b62000328565b5060208310610133831016604e8410600b841016171562000302575081810a62000328565b6200030e838362000233565b805f19048211156200032457620003246200021f565b0290505b92915050565b5f6200033e60ff8416836200027b565b9392505050565b80820281158282048414176200032857620003286200021f565b611aa3806200036d5f395ff3fe608060405260043610610129575f3560e01c8063751039fc116100a8578063a9059cbb1161006d578063a9059cbb14610351578063bf474bed14610370578063c9567bf914610385578063d34628cc14610399578063dd62ed3e146103b8578063fbc18b6c146103fc575f80fd5b8063751039fc146102be5780637d1db4a5146102d25780638da5cb5b146102e75780638f9a55c01461030d57806395d89b4114610322575f80fd5b8063313ce567116100ee578063313ce5671461020357806331c2d8471461021e5780633bbac5791461023f57806370a0823114610276578063715018a6146102aa575f80fd5b806306fdde0314610134578063095ea7b31461017e5780630faee56f146101ad57806318160ddd146101d057806323b872dd146101e4575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b5060408051808201909152601081526f151a194811985b1b195b88105b99d95b60821b60208201525b604051610175919061159b565b60405180910390f35b348015610189575f80fd5b5061019d61019836600461160d565b61041b565b6040519015158152602001610175565b3480156101b8575f80fd5b506101c260125481565b604051908152602001610175565b3480156101db575f80fd5b506101c2610431565b3480156101ef575f80fd5b5061019d6101fe366004611637565b610451565b34801561020e575f80fd5b5060405160098152602001610175565b348015610229575f80fd5b5061023d610238366004611689565b6104b8565b005b34801561024a575f80fd5b5061019d610259366004611749565b6001600160a01b03165f9081526004602052604090205460ff1690565b348015610281575f80fd5b506101c2610290366004611749565b6001600160a01b03165f9081526001602052604090205490565b3480156102b5575f80fd5b5061023d610552565b3480156102c9575f80fd5b5061023d6105c3565b3480156102dd575f80fd5b506101c2600f5481565b3480156102f2575f80fd5b505f546040516001600160a01b039091168152602001610175565b348015610318575f80fd5b506101c260105481565b34801561032d575f80fd5b50604080518082019091526007815266262aa1a4a322a960c91b6020820152610168565b34801561035c575f80fd5b5061019d61036b36600461160d565b610674565b34801561037b575f80fd5b506101c260115481565b348015610390575f80fd5b5061023d610680565b3480156103a4575f80fd5b5061023d6103b3366004611689565b610a2d565b3480156103c3575f80fd5b506101c26103d2366004611764565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b348015610407575f80fd5b5061023d61041636600461179b565b610abb565b5f610427338484610aee565b5060015b92915050565b5f61043e6009600a6118a6565b61044c906327bc86aa6118b4565b905090565b5f61045d848484610c11565b6104ae84336104a985604051806060016040528060288152602001611a46602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611217565b610aee565b5060019392505050565b5f546001600160a01b031633146104ea5760405162461bcd60e51b81526004016104e1906118cb565b60405180910390fd5b5f5b815181101561054e575f60045f84848151811061050b5761050b611900565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff19169115159190911790558061054681611914565b9150506104ec565b5050565b5f546001600160a01b0316331461057b5760405162461bcd60e51b81526004016104e1906118cb565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105ec5760405162461bcd60e51b81526004016104e1906118cb565b6105f86009600a6118a6565b610606906327bc86aa6118b4565b600f556106156009600a6118a6565b610623906327bc86aa6118b4565b6010557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106536009600a6118a6565b610661906327bc86aa6118b4565b60405190815260200160405180910390a1565b5f610427338484610c11565b5f546001600160a01b031633146106a95760405162461bcd60e51b81526004016104e1906118cb565b601454600160a01b900460ff16156107035760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104e1565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561074c90309061073e6009600a6118a6565b6104a9906327bc86aa6118b4565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561079c573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107c0919061192c565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561081f573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610843919061192c565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561088d573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108b1919061192c565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d71947306108f8816001600160a01b03165f9081526001602052604090205490565b5f8061090b5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610971573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109969190611947565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156109eb573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a0f9190611972565b506014805462ff00ff60a01b19166201000160a01b17905543600655565b5f546001600160a01b03163314610a565760405162461bcd60e51b81526004016104e1906118cb565b5f5b815181101561054e57600160045f848481518110610a7857610a78611900565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff191691151591909117905580610ab381611914565b915050610a58565b5f546001600160a01b03163314610ae45760405162461bcd60e51b81526004016104e1906118cb565b600a556001600d55565b6001600160a01b038316610b505760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104e1565b6001600160a01b038216610bb15760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104e1565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c755760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104e1565b6001600160a01b038216610cd75760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104e1565b5f8111610d385760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104e1565b5f80546001600160a01b03858116911614801590610d6357505f546001600160a01b03848116911614155b156110da576001600160a01b0384165f9081526004602052604090205460ff16158015610da857506001600160a01b0383165f9081526004602052604090205460ff16155b610db0575f80fd5b610ddc6064610dd6600b54600e5411610dcb57600754610dcf565b6009545b859061124f565b906112d4565b6014549091506001600160a01b038581169116148015610e0a57506013546001600160a01b03848116911614155b8015610e2e57506001600160a01b0383165f9081526003602052604090205460ff16155b15610f3557600f54821115610e855760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104e1565b60105482610ea7856001600160a01b03165f9081526001602052604090205490565b610eb19190611991565b1115610eff5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104e1565b436006546003610f0f9190611991565b1115610f2057823b15610f20575f80fd5b600e8054905f610f2f83611914565b91905055505b6014546001600160a01b03848116911614801590610f6b57506001600160a01b0383165f9081526003602052604090205460ff16155b15610fea5760105482610f92856001600160a01b03165f9081526001602052604090205490565b610f9c9190611991565b1115610fea5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104e1565b6014546001600160a01b03848116911614801561101057506001600160a01b0384163014155b1561103d5761103a6064610dd6600c54600e541161103057600854610dcf565b600a54859061124f565b90505b305f90815260016020526040902054601454600160a81b900460ff1615801561107357506014546001600160a01b038581169116145b80156110885750601454600160b01b900460ff165b8015611095575060115481115b80156110a45750600d54600e54115b156110d8576110c66110c1846110bc84601254611315565b611315565b611329565b4780156110d6576110d647611499565b505b505b801561115257305f908152600160205260409020546110f990826114d0565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111499085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054611174908361152e565b6001600160a01b0385165f908152600160205260409020556111b7611199838361152e565b6001600160a01b0385165f90815260016020526040902054906114d0565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef611200858561152e565b60405190815260200160405180910390a350505050565b5f818484111561123a5760405162461bcd60e51b81526004016104e1919061159b565b505f61124684866119a4565b95945050505050565b5f825f0361125e57505f61042b565b5f61126983856118b4565b90508261127685836119b7565b146112cd5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104e1565b9392505050565b5f6112cd83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061156f565b5f81831161132357826112cd565b50919050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061136f5761136f611900565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156113c6573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113ea919061192c565b816001815181106113fd576113fd611900565b6001600160a01b0392831660209182029290920101526013546114239130911684610aee565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac9479061145b9085905f908690309042906004016119d6565b5f604051808303815f87803b158015611472575f80fd5b505af1158015611484573d5f803e3d5ffd5b50506014805460ff60a81b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561054e573d5f803e3d5ffd5b5f806114dc8385611991565b9050838110156112cd5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104e1565b5f6112cd83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611217565b5f818361158f5760405162461bcd60e51b81526004016104e1919061159b565b505f61124684866119b7565b5f6020808352835180828501525f5b818110156115c6578581018301518582016040015282016115aa565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146115fa575f80fd5b50565b8035611608816115e6565b919050565b5f806040838503121561161e575f80fd5b8235611629816115e6565b946020939093013593505050565b5f805f60608486031215611649575f80fd5b8335611654816115e6565b92506020840135611664816115e6565b929592945050506040919091013590565b634e487b7160e01b5f52604160045260245ffd5b5f602080838503121561169a575f80fd5b823567ffffffffffffffff808211156116b1575f80fd5b818501915085601f8301126116c4575f80fd5b8135818111156116d6576116d6611675565b8060051b604051601f19603f830116810181811085821117156116fb576116fb611675565b604052918252848201925083810185019188831115611718575f80fd5b938501935b8285101561173d5761172e856115fd565b8452938501939285019261171d565b98975050505050505050565b5f60208284031215611759575f80fd5b81356112cd816115e6565b5f8060408385031215611775575f80fd5b8235611780816115e6565b91506020830135611790816115e6565b809150509250929050565b5f602082840312156117ab575f80fd5b5035919050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561180057815f19048211156117e6576117e66117b2565b808516156117f357918102915b93841c93908002906117cb565b509250929050565b5f826118165750600161042b565b8161182257505f61042b565b816001811461183857600281146118425761185e565b600191505061042b565b60ff841115611853576118536117b2565b50506001821b61042b565b5060208310610133831016604e8410600b8410161715611881575081810a61042b565b61188b83836117c6565b805f190482111561189e5761189e6117b2565b029392505050565b5f6112cd60ff841683611808565b808202811582820484141761042b5761042b6117b2565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f60018201611925576119256117b2565b5060010190565b5f6020828403121561193c575f80fd5b81516112cd816115e6565b5f805f60608486031215611959575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611982575f80fd5b815180151581146112cd575f80fd5b8082018082111561042b5761042b6117b2565b8181038181111561042b5761042b6117b2565b5f826119d157634e487b7160e01b5f52601260045260245ffd5b500490565b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b81811015611a245784516001600160a01b0316835293830193918301916001016119ff565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220b00c12b54b47756f5343eb1510e50a6ef3f1c2e333af0045283b8cb88e7011a364736f6c63430008140033

0x608060405260043610610129575f3560e01c8063751039fc116100a8578063a9059cbb1161006d578063a9059cbb14610351578063bf474bed14610370578063c9567bf914610385578063d34628cc14610399578063dd62ed3e146103b8578063fbc18b6c146103fc575f80fd5b8063751039fc146102be5780637d1db4a5146102d25780638da5cb5b146102e75780638f9a55c01461030d57806395d89b4114610322575f80fd5b8063313ce567116100ee578063313ce5671461020357806331c2d8471461021e5780633bbac5791461023f57806370a0823114610276578063715018a6146102aa575f80fd5b806306fdde0314610134578063095ea7b31461017e5780630faee56f146101ad57806318160ddd146101d057806323b872dd146101e4575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b5060408051808201909152601081526f151a194811985b1b195b88105b99d95b60821b60208201525b604051610175919061159b565b60405180910390f35b348015610189575f80fd5b5061019d61019836600461160d565b61041b565b6040519015158152602001610175565b3480156101b8575f80fd5b506101c260125481565b604051908152602001610175565b3480156101db575f80fd5b506101c2610431565b3480156101ef575f80fd5b5061019d6101fe366004611637565b610451565b34801561020e575f80fd5b5060405160098152602001610175565b348015610229575f80fd5b5061023d610238366004611689565b6104b8565b005b34801561024a575f80fd5b5061019d610259366004611749565b6001600160a01b03165f9081526004602052604090205460ff1690565b348015610281575f80fd5b506101c2610290366004611749565b6001600160a01b03165f9081526001602052604090205490565b3480156102b5575f80fd5b5061023d610552565b3480156102c9575f80fd5b5061023d6105c3565b3480156102dd575f80fd5b506101c2600f5481565b3480156102f2575f80fd5b505f546040516001600160a01b039091168152602001610175565b348015610318575f80fd5b506101c260105481565b34801561032d575f80fd5b50604080518082019091526007815266262aa1a4a322a960c91b6020820152610168565b34801561035c575f80fd5b5061019d61036b36600461160d565b610674565b34801561037b575f80fd5b506101c260115481565b348015610390575f80fd5b5061023d610680565b3480156103a4575f80fd5b5061023d6103b3366004611689565b610a2d565b3480156103c3575f80fd5b506101c26103d2366004611764565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b348015610407575f80fd5b5061023d61041636600461179b565b610abb565b5f610427338484610aee565b5060015b92915050565b5f61043e6009600a6118a6565b61044c906327bc86aa6118b4565b905090565b5f61045d848484610c11565b6104ae84336104a985604051806060016040528060288152602001611a46602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611217565b610aee565b5060019392505050565b5f546001600160a01b031633146104ea5760405162461bcd60e51b81526004016104e1906118cb565b60405180910390fd5b5f5b815181101561054e575f60045f84848151811061050b5761050b611900565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff19169115159190911790558061054681611914565b9150506104ec565b5050565b5f546001600160a01b0316331461057b5760405162461bcd60e51b81526004016104e1906118cb565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105ec5760405162461bcd60e51b81526004016104e1906118cb565b6105f86009600a6118a6565b610606906327bc86aa6118b4565b600f556106156009600a6118a6565b610623906327bc86aa6118b4565b6010557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106536009600a6118a6565b610661906327bc86aa6118b4565b60405190815260200160405180910390a1565b5f610427338484610c11565b5f546001600160a01b031633146106a95760405162461bcd60e51b81526004016104e1906118cb565b601454600160a01b900460ff16156107035760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104e1565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561074c90309061073e6009600a6118a6565b6104a9906327bc86aa6118b4565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561079c573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107c0919061192c565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561081f573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610843919061192c565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561088d573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108b1919061192c565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d71947306108f8816001600160a01b03165f9081526001602052604090205490565b5f8061090b5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610971573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109969190611947565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156109eb573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a0f9190611972565b506014805462ff00ff60a01b19166201000160a01b17905543600655565b5f546001600160a01b03163314610a565760405162461bcd60e51b81526004016104e1906118cb565b5f5b815181101561054e57600160045f848481518110610a7857610a78611900565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff191691151591909117905580610ab381611914565b915050610a58565b5f546001600160a01b03163314610ae45760405162461bcd60e51b81526004016104e1906118cb565b600a556001600d55565b6001600160a01b038316610b505760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104e1565b6001600160a01b038216610bb15760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104e1565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c755760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104e1565b6001600160a01b038216610cd75760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104e1565b5f8111610d385760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104e1565b5f80546001600160a01b03858116911614801590610d6357505f546001600160a01b03848116911614155b156110da576001600160a01b0384165f9081526004602052604090205460ff16158015610da857506001600160a01b0383165f9081526004602052604090205460ff16155b610db0575f80fd5b610ddc6064610dd6600b54600e5411610dcb57600754610dcf565b6009545b859061124f565b906112d4565b6014549091506001600160a01b038581169116148015610e0a57506013546001600160a01b03848116911614155b8015610e2e57506001600160a01b0383165f9081526003602052604090205460ff16155b15610f3557600f54821115610e855760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104e1565b60105482610ea7856001600160a01b03165f9081526001602052604090205490565b610eb19190611991565b1115610eff5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104e1565b436006546003610f0f9190611991565b1115610f2057823b15610f20575f80fd5b600e8054905f610f2f83611914565b91905055505b6014546001600160a01b03848116911614801590610f6b57506001600160a01b0383165f9081526003602052604090205460ff16155b15610fea5760105482610f92856001600160a01b03165f9081526001602052604090205490565b610f9c9190611991565b1115610fea5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104e1565b6014546001600160a01b03848116911614801561101057506001600160a01b0384163014155b1561103d5761103a6064610dd6600c54600e541161103057600854610dcf565b600a54859061124f565b90505b305f90815260016020526040902054601454600160a81b900460ff1615801561107357506014546001600160a01b038581169116145b80156110885750601454600160b01b900460ff165b8015611095575060115481115b80156110a45750600d54600e54115b156110d8576110c66110c1846110bc84601254611315565b611315565b611329565b4780156110d6576110d647611499565b505b505b801561115257305f908152600160205260409020546110f990826114d0565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111499085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054611174908361152e565b6001600160a01b0385165f908152600160205260409020556111b7611199838361152e565b6001600160a01b0385165f90815260016020526040902054906114d0565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef611200858561152e565b60405190815260200160405180910390a350505050565b5f818484111561123a5760405162461bcd60e51b81526004016104e1919061159b565b505f61124684866119a4565b95945050505050565b5f825f0361125e57505f61042b565b5f61126983856118b4565b90508261127685836119b7565b146112cd5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104e1565b9392505050565b5f6112cd83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061156f565b5f81831161132357826112cd565b50919050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061136f5761136f611900565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156113c6573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113ea919061192c565b816001815181106113fd576113fd611900565b6001600160a01b0392831660209182029290920101526013546114239130911684610aee565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac9479061145b9085905f908690309042906004016119d6565b5f604051808303815f87803b158015611472575f80fd5b505af1158015611484573d5f803e3d5ffd5b50506014805460ff60a81b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561054e573d5f803e3d5ffd5b5f806114dc8385611991565b9050838110156112cd5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104e1565b5f6112cd83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611217565b5f818361158f5760405162461bcd60e51b81526004016104e1919061159b565b505f61124684866119b7565b5f6020808352835180828501525f5b818110156115c6578581018301518582016040015282016115aa565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146115fa575f80fd5b50565b8035611608816115e6565b919050565b5f806040838503121561161e575f80fd5b8235611629816115e6565b946020939093013593505050565b5f805f60608486031215611649575f80fd5b8335611654816115e6565b92506020840135611664816115e6565b929592945050506040919091013590565b634e487b7160e01b5f52604160045260245ffd5b5f602080838503121561169a575f80fd5b823567ffffffffffffffff808211156116b1575f80fd5b818501915085601f8301126116c4575f80fd5b8135818111156116d6576116d6611675565b8060051b604051601f19603f830116810181811085821117156116fb576116fb611675565b604052918252848201925083810185019188831115611718575f80fd5b938501935b8285101561173d5761172e856115fd565b8452938501939285019261171d565b98975050505050505050565b5f60208284031215611759575f80fd5b81356112cd816115e6565b5f8060408385031215611775575f80fd5b8235611780816115e6565b91506020830135611790816115e6565b809150509250929050565b5f602082840312156117ab575f80fd5b5035919050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561180057815f19048211156117e6576117e66117b2565b808516156117f357918102915b93841c93908002906117cb565b509250929050565b5f826118165750600161042b565b8161182257505f61042b565b816001811461183857600281146118425761185e565b600191505061042b565b60ff841115611853576118536117b2565b50506001821b61042b565b5060208310610133831016604e8410600b8410161715611881575081810a61042b565b61188b83836117c6565b805f190482111561189e5761189e6117b2565b029392505050565b5f6112cd60ff841683611808565b808202811582820484141761042b5761042b6117b2565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f60018201611925576119256117b2565b5060010190565b5f6020828403121561193c575f80fd5b81516112cd816115e6565b5f805f60608486031215611959575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611982575f80fd5b815180151581146112cd575f80fd5b8082018082111561042b5761042b6117b2565b8181038181111561042b5761042b6117b2565b5f826119d157634e487b7160e01b5f52601260045260245ffd5b500490565b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b81811015611a245784516001600160a01b0316835293830193918301916001016119ff565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220b00c12b54b47756f5343eb1510e50a6ef3f1c2e333af0045283b8cb88e7011a364736f6c63430008140033

3631:8159:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5483:83;;;;;;;;;;-1:-1:-1;5553:5:0;;;;;;;;;;;;-1:-1:-1;;;5553:5:0;;;;5483:83;;;;;;;:::i;:::-;;;;;;;;6316:161;;;;;;;;;;-1:-1:-1;6316:161:0;;;;;:::i;:::-;;:::i;:::-;;;1327:14:1;;1320:22;1302:41;;1290:2;1275:18;6316:161:0;1162:187:1;4756:52:0;;;;;;;;;;;;;;;;;;;1500:25:1;;;1488:2;1473:18;4756:52:0;1354:177:1;5760:95:0;;;;;;;;;;;;;:::i;6485:313::-;;;;;;;;;;-1:-1:-1;6485:313:0;;;;;:::i;:::-;;:::i;5669:83::-;;;;;;;;;;-1:-1:-1;5669:83:0;;4371:1;2139:36:1;;2127:2;2112:18;5669:83:0;1997:184:1;10780:162:0;;;;;;;;;;-1:-1:-1;10780:162:0;;;;;:::i;:::-;;:::i;:::-;;10950:83;;;;;;;;;;-1:-1:-1;10950:83:0;;;;;:::i;:::-;-1:-1:-1;;;;;11018:7:0;10997:4;11018:7;;;:4;:7;;;;;;;;;10950:83;5863:119;;;;;;;;;;-1:-1:-1;5863:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;5956:18:0;5929:7;5956:18;;;:9;:18;;;;;;;5863:119;2712:148;;;;;;;;;;;;;:::i;10335:159::-;;;;;;;;;;;;;:::i;4567:56::-;;;;;;;;;;;;;;;;2498:79;;;;;;;;;;-1:-1:-1;2536:7:0;2563:6;2498:79;;-1:-1:-1;;;;;2563:6:0;;;3842:51:1;;3830:2;3815:18;2498:79:0;3696:203:1;4630:56:0;;;;;;;;;;;;;;;;5574:87;;;;;;;;;;-1:-1:-1;5646:7:0;;;;;;;;;;;;-1:-1:-1;;;5646:7:0;;;;5574:87;;5990:167;;;;;;;;;;-1:-1:-1;5990:167:0;;;;;:::i;:::-;;:::i;4693:56::-;;;;;;;;;;;;;;;;11041:707;;;;;;;;;;;;;:::i;10608:164::-;;;;;;;;;;-1:-1:-1;10608:164:0;;;;;:::i;:::-;;:::i;6165:143::-;;;;;;;;;;-1:-1:-1;6165:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6273:18:0;;;6246:7;6273:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6165:143;6812:134;;;;;;;;;;-1:-1:-1;6812:134:0;;;;;:::i;:::-;;:::i;6316:161::-;6391:4;6408:39;332:10;6431:7;6440:6;6408:8;:39::i;:::-;-1:-1:-1;6465:4:0;6316:161;;;;;:::o;5760:95::-;5813:7;4426:13;4371:1;4426:2;:13;:::i;:::-;4414:25;;:9;:25;:::i;:::-;5833:14;;5760:95;:::o;6485:313::-;6583:4;6600:36;6610:6;6618:9;6629:6;6600:9;:36::i;:::-;6647:121;6656:6;332:10;6678:89;6716:6;6678:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6678:19:0;;;;;;:11;:19;;;;;;;;332:10;6678:33;;;;;;;;;;:37;:89::i;:::-;6647:8;:121::i;:::-;-1:-1:-1;6786:4:0;6485:313;;;;;:::o;10780:162::-;2625:6;;-1:-1:-1;;;;;2625:6:0;332:10;2625:22;2617:67;;;;-1:-1:-1;;;2617:67:0;;;;;;;:::i;:::-;;;;;;;;;10853:6:::1;10848:87;10869:6;:13;10865:1;:17;10848:87;;;10920:5;10902:4;:15;10907:6;10914:1;10907:9;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;10902:15:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;10902:15:0;:23;;-1:-1:-1;;10902:23:0::1;::::0;::::1;;::::0;;;::::1;::::0;;10884:3;::::1;::::0;::::1;:::i;:::-;;;;10848:87;;;;10780:162:::0;:::o;2712:148::-;2625:6;;-1:-1:-1;;;;;2625:6:0;332:10;2625:22;2617:67;;;;-1:-1:-1;;;2617:67:0;;;;;;;:::i;:::-;2819:1:::1;2803:6:::0;;2782:40:::1;::::0;-1:-1:-1;;;;;2803:6:0;;::::1;::::0;2782:40:::1;::::0;2819:1;;2782:40:::1;2850:1;2833:19:::0;;-1:-1:-1;;;;;;2833:19:0::1;::::0;;2712:148::o;10335:159::-;2625:6;;-1:-1:-1;;;;;2625:6:0;332:10;2625:22;2617:67;;;;-1:-1:-1;;;2617:67:0;;;;;;;:::i;:::-;4426:13:::1;4371:1;4426:2;:13;:::i;:::-;4414:25;::::0;:9:::1;:25;:::i;:::-;10388:12;:22:::0;4426:13:::1;4371:1;4426:2;:13;:::i;:::-;4414:25;::::0;:9:::1;:25;:::i;:::-;10421:14;:22:::0;10459:27:::1;4426:13;4371:1;4426:2;:13;:::i;:::-;4414:25;::::0;:9:::1;:25;:::i;:::-;10459:27;::::0;1500:25:1;;;1488:2;1473:18;10459:27:0::1;;;;;;;10335:159::o:0;5990:167::-;6068:4;6085:42;332:10;6109:9;6120:6;6085:9;:42::i;11041:707::-;2625:6;;-1:-1:-1;;;;;2625:6:0;332:10;2625:22;2617:67;;;;-1:-1:-1;;;2617:67:0;;;;;;;:::i;:::-;11105:11:::1;::::0;-1:-1:-1;;;11105:11:0;::::1;;;11104:12;11096:47;;;::::0;-1:-1:-1;;;11096:47:0;;7005:2:1;11096:47:0::1;::::0;::::1;6987:21:1::0;7044:2;7024:18;;;7017:30;7083:25;7063:18;;;7056:53;7126:18;;11096:47:0::1;6803:347:1::0;11096:47:0::1;11154:15;:80:::0;;-1:-1:-1;;;;;;11154:80:0::1;11191:42;11154:80:::0;;::::1;::::0;;;11245:58:::1;::::0;11262:4:::1;::::0;4426:13:::1;4371:1;4426:2;:13;:::i;:::-;4414:25;::::0;:9:::1;:25;:::i;11245:58::-;11348:15;;;;;;;;;-1:-1:-1::0;;;;;11348:15:0::1;-1:-1:-1::0;;;;;11348:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11330:55:0::1;;11394:4;11401:15;;;;;;;;;-1:-1:-1::0;;;;;11401:15:0::1;-1:-1:-1::0;;;;;11401:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11330:94;::::0;-1:-1:-1;;;;;;11330:94:0::1;::::0;;;;;;-1:-1:-1;;;;;7641:15:1;;;11330:94:0::1;::::0;::::1;7623:34:1::0;7693:15;;7673:18;;;7666:43;7558:18;;11330:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11314:13;:110:::0;;-1:-1:-1;;;;;11314:110:0;;::::1;-1:-1:-1::0;;;;;;11314:110:0;;::::1;;::::0;;11435:15:::1;::::0;::::1;:31;11474:21;11505:4;11511:24;11505:4:::0;-1:-1:-1;;;;;5956:18:0;5929:7;5956:18;;;:9;:18;;;;;;;5863:119;11511:24:::1;11536:1;11538::::0;11540:7:::1;2536::::0;2563:6;-1:-1:-1;;;;;2563:6:0;;2498:79;11540:7:::1;11435:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11435:129:0;;;-1:-1:-1;;;;;8079:15:1;;;11435:129:0::1;::::0;::::1;8061:34:1::0;8111:18;;;8104:34;;;;8154:18;;;8147:34;;;;8197:18;;;8190:34;8261:15;;;8240:19;;;8233:44;11548:15:0::1;8293:19:1::0;;;8286:35;7995:19;;11435:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11582:13:0::1;::::0;11613:15:::1;::::0;11575:71:::1;::::0;-1:-1:-1;;;11575:71:0;;-1:-1:-1;;;;;11613:15:0;;::::1;11575:71;::::0;::::1;8817:51:1::0;-1:-1:-1;;8884:18:1;;;8877:34;11582:13:0;::::1;::::0;-1:-1:-1;11575:29:0::1;::::0;8790:18:1;;11575:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;11657:11:0::1;:18:::0;;-1:-1:-1;;;;11686:18:0;-1:-1:-1;;;11686:18:0;;;11728:12:::1;11715:10;:25:::0;11041:707::o;10608:164::-;2625:6;;-1:-1:-1;;;;;2625:6:0;332:10;2625:22;2617:67;;;;-1:-1:-1;;;2617:67:0;;;;;;;:::i;:::-;10682:6:::1;10677:88;10698:5;:12;10694:1;:16;10677:88;;;10749:4;10732;:14;10737:5;10743:1;10737:8;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;10732:14:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;10732:14:0;:21;;-1:-1:-1;;10732:21:0::1;::::0;::::1;;::::0;;;::::1;::::0;;10712:3;::::1;::::0;::::1;:::i;:::-;;;;10677:88;;6812:134:::0;2625:6;;-1:-1:-1;;;;;2625:6:0;332:10;2625:22;2617:67;;;;-1:-1:-1;;;2617:67:0;;;;;;;:::i;:::-;6883:13:::1;:19:::0;6937:1:::1;6916:18;:22:::0;6812:134::o;6954:335::-;-1:-1:-1;;;;;7047:19:0;;7039:68;;;;-1:-1:-1;;;7039:68:0;;9406:2:1;7039:68:0;;;9388:21:1;9445:2;9425:18;;;9418:30;9484:34;9464:18;;;9457:62;-1:-1:-1;;;9535:18:1;;;9528:34;9579:19;;7039:68:0;9204:400:1;7039:68:0;-1:-1:-1;;;;;7126:21:0;;7118:68;;;;-1:-1:-1;;;7118:68:0;;9811:2:1;7118:68:0;;;9793:21:1;9850:2;9830:18;;;9823:30;9889:34;9869:18;;;9862:62;-1:-1:-1;;;9940:18:1;;;9933:32;9982:19;;7118:68:0;9609:398:1;7118:68:0;-1:-1:-1;;;;;7197:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7249:32;;1500:25:1;;;7249:32:0;;1473:18:1;7249:32:0;;;;;;;6954:335;;;:::o;7297:2228::-;-1:-1:-1;;;;;7385:18:0;;7377:68;;;;-1:-1:-1;;;7377:68:0;;10214:2:1;7377:68:0;;;10196:21:1;10253:2;10233:18;;;10226:30;10292:34;10272:18;;;10265:62;-1:-1:-1;;;10343:18:1;;;10336:35;10388:19;;7377:68:0;10012:401:1;7377:68:0;-1:-1:-1;;;;;7464:16:0;;7456:64;;;;-1:-1:-1;;;7456:64:0;;10620:2:1;7456:64:0;;;10602:21:1;10659:2;10639:18;;;10632:30;10698:34;10678:18;;;10671:62;-1:-1:-1;;;10749:18:1;;;10742:33;10792:19;;7456:64:0;10418:399:1;7456:64:0;7548:1;7539:6;:10;7531:64;;;;-1:-1:-1;;;7531:64:0;;11024:2:1;7531:64:0;;;11006:21:1;11063:2;11043:18;;;11036:30;11102:34;11082:18;;;11075:62;-1:-1:-1;;;11153:18:1;;;11146:39;11202:19;;7531:64:0;10822:405:1;7531:64:0;7606:17;2563:6;;-1:-1:-1;;;;;7640:15:0;;;2563:6;;7640:15;;;;:32;;-1:-1:-1;2536:7:0;2563:6;-1:-1:-1;;;;;7659:13:0;;;2563:6;;7659:13;;7640:32;7636:1533;;;-1:-1:-1;;;;;7698:10:0;;;;;;:4;:10;;;;;;;;7697:11;:24;;;;-1:-1:-1;;;;;;7713:8:0;;;;;;:4;:8;;;;;;;;7712:9;7697:24;7689:33;;;;;;7749:76;7821:3;7749:67;7771:15;;7761:9;;:25;7760:55;;7801:14;;7760:55;;;7788:12;;7760:55;7749:6;;:10;:67::i;:::-;:71;;:76::i;:::-;7854:13;;7737:88;;-1:-1:-1;;;;;;7846:21:0;;;7854:13;;7846:21;:55;;;;-1:-1:-1;7885:15:0;;-1:-1:-1;;;;;7871:30:0;;;7885:15;;7871:30;;7846:55;:83;;;;-1:-1:-1;;;;;;7907:22:0;;;;;;:18;:22;;;;;;;;7905:24;7846:83;7842:436;;;7969:12;;7959:6;:22;;7951:60;;;;-1:-1:-1;;;7951:60:0;;11434:2:1;7951:60:0;;;11416:21:1;11473:2;11453:18;;;11446:30;11512:27;11492:18;;;11485:55;11557:18;;7951:60:0;11232:349:1;7951:60:0;8064:14;;8054:6;8038:13;8048:2;-1:-1:-1;;;;;5956:18:0;5929:7;5956:18;;;:9;:18;;;;;;;5863:119;8038:13;:22;;;;:::i;:::-;:40;;8030:79;;;;-1:-1:-1;;;8030:79:0;;11918:2:1;8030:79:0;;;11900:21:1;11957:2;11937:18;;;11930:30;11996:28;11976:18;;;11969:56;12042:18;;8030:79:0;11716:350:1;8030:79:0;8152:12;8134:10;;8147:1;8134:14;;;;:::i;:::-;:30;8130:103;;;9772:20;;9820:8;8189:24;;;;;;8251:9;:11;;;:9;:11;;;:::i;:::-;;;;;;7842:436;8304:13;;-1:-1:-1;;;;;8298:19:0;;;8304:13;;8298:19;;;;:47;;-1:-1:-1;;;;;;8323:22:0;;;;;;:18;:22;;;;;;;;8321:24;8298:47;8294:167;;;8400:14;;8390:6;8374:13;8384:2;-1:-1:-1;;;;;5956:18:0;5929:7;5956:18;;;:9;:18;;;;;;;5863:119;8374:13;:22;;;;:::i;:::-;:40;;8366:79;;;;-1:-1:-1;;;8366:79:0;;11918:2:1;8366:79:0;;;11900:21:1;11957:2;11937:18;;;11930:30;11996:28;11976:18;;;11969:56;12042:18;;8366:79:0;11716:350:1;8366:79:0;8486:13;;-1:-1:-1;;;;;8480:19:0;;;8486:13;;8480:19;:43;;;;-1:-1:-1;;;;;;8503:20:0;;8518:4;8503:20;;8480:43;8477:174;;;8556:79;8631:3;8556:70;8578:16;;8568:9;;:26;8567:58;;8610:15;;8567:58;;;8596:13;;8556:6;;:10;:70::i;:79::-;8544:91;;8477:174;8716:4;8667:28;5956:18;;;:9;:18;;;;;;8742:6;;-1:-1:-1;;;8742:6:0;;;;8741:7;:32;;;;-1:-1:-1;8760:13:0;;-1:-1:-1;;;;;8752:21:0;;;8760:13;;8752:21;8741:32;:47;;;;-1:-1:-1;8777:11:0;;-1:-1:-1;;;8777:11:0;;;;8741:47;:89;;;;;8813:17;;8792:20;:38;8741:89;:121;;;;;8844:18;;8834:9;;:28;8741:121;8737:421;;;8883:67;8900:49;8904:6;8911:37;8915:20;8936:11;;8911:3;:37::i;:::-;8900:3;:49::i;:::-;8883:16;:67::i;:::-;8998:21;9041:22;;9038:105;;9088:35;9101:21;9088:12;:35::i;:::-;8864:294;8737:421;7674:1495;7636:1533;9184:11;;9181:161;;9252:4;9234:24;;;;:9;:24;;;;;;:39;;9263:9;9234:28;:39::i;:::-;9227:4;9209:24;;;;:9;:24;;;;;;;:64;;;;9291:39;;-1:-1:-1;;;;;9291:39:0;;;;;;;9320:9;1500:25:1;;1488:2;1473:18;;1354:177;9291:39:0;;;;;;;;9181:161;-1:-1:-1;;;;;9368:15:0;;;;;;:9;:15;;;;;;:27;;9388:6;9368:19;:27::i;:::-;-1:-1:-1;;;;;9352:15:0;;;;;;:9;:15;;;;;:43;9420:40;9438:21;:6;9449:9;9438:10;:21::i;:::-;-1:-1:-1;;;;;9420:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9406:13:0;;;;;;;:9;:13;;;;;:54;;;;9476:41;;;9495:21;:6;9506:9;9495:10;:21::i;:::-;9476:41;;1500:25:1;;;1488:2;1473:18;9476:41:0;;;;;;;7366:2159;7297:2228;;;:::o;1390:190::-;1476:7;1512:12;1504:6;;;;1496:29;;;;-1:-1:-1;;;1496:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1536:9:0;1548:5;1552:1;1548;:5;:::i;:::-;1536:17;1390:190;-1:-1:-1;;;;;1390:190:0:o;1588:246::-;1646:7;1670:1;1675;1670:6;1666:47;;-1:-1:-1;1700:1:0;1693:8;;1666:47;1723:9;1735:5;1739:1;1735;:5;:::i;:::-;1723:17;-1:-1:-1;1768:1:0;1759:5;1763:1;1723:17;1759:5;:::i;:::-;:10;1751:56;;;;-1:-1:-1;;;1751:56:0;;12628:2:1;1751:56:0;;;12610:21:1;12667:2;12647:18;;;12640:30;12706:34;12686:18;;;12679:62;-1:-1:-1;;;12757:18:1;;;12750:31;12798:19;;1751:56:0;12426:397:1;1751:56:0;1825:1;1588:246;-1:-1:-1;;;1588:246:0:o;1842:132::-;1900:7;1927:39;1931:1;1934;1927:39;;;;;;;;;;;;;;;;;:3;:39::i;9535:98::-;9592:7;9619:1;9617;:3;9616:9;;9624:1;9616:9;;;-1:-1:-1;9622:1:0;9535:98;-1:-1:-1;9535:98:0:o;9844:483::-;5090:6;:13;;-1:-1:-1;;;;5090:13:0;-1:-1:-1;;;5090:13:0;;;9946:16:::1;::::0;;9960:1:::1;9946:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9946:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9946:16:0::1;9922:40;;9991:4;9973;9978:1;9973:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9973:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10017:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10017:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9973:7;;10017:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10007:4;10012:1;10007:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10007:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10082:15:::1;::::0;10050:62:::1;::::0;10067:4:::1;::::0;10082:15:::1;10100:11:::0;10050:8:::1;:62::i;:::-;10123:15;::::0;:196:::1;::::0;-1:-1:-1;;;10123:196:0;;-1:-1:-1;;;;;10123:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10204:11;;10123:15:::1;::::0;10246:4;;10273::::1;::::0;10293:15:::1;::::0;10123:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5126:6:0;:14;;-1:-1:-1;;;;5126:14:0;;;-1:-1:-1;;;;9844:483:0:o;10502:92::-;10559:10;;:27;;-1:-1:-1;;;;;10559:10:0;;;;:27;;;;;10579:6;;10559:10;:27;:10;:27;10579:6;10559:10;:27;;;;;;;;;;;;;;;;;;;1059:179;1117:7;;1149:5;1153:1;1149;:5;:::i;:::-;1137:17;;1178:1;1173;:6;;1165:46;;;;-1:-1:-1;;;1165:46:0;;14015:2:1;1165:46:0;;;13997:21:1;14054:2;14034:18;;;14027:30;14093:29;14073:18;;;14066:57;14140:18;;1165:46:0;13813:351:1;1246:136:0;1304:7;1331:43;1335:1;1338;1331:43;;;;;;;;;;;;;;;;;:3;:43::i;1982:189::-;2068:7;2103:12;2096:5;2088:28;;;;-1:-1:-1;;;2088:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2127:9:0;2139:5;2143:1;2139;:5;:::i;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;622:70;567:131;:::o;703:134::-;771:20;;800:31;771:20;800:31;:::i;:::-;703:134;;;:::o;842:315::-;910:6;918;971:2;959:9;950:7;946:23;942:32;939:52;;;987:1;984;977:12;939:52;1026:9;1013:23;1045:31;1070:5;1045:31;:::i;:::-;1095:5;1147:2;1132:18;;;;1119:32;;-1:-1:-1;;;842:315:1:o;1536:456::-;1613:6;1621;1629;1682:2;1670:9;1661:7;1657:23;1653:32;1650:52;;;1698:1;1695;1688:12;1650:52;1737:9;1724:23;1756:31;1781:5;1756:31;:::i;:::-;1806:5;-1:-1:-1;1863:2:1;1848:18;;1835:32;1876:33;1835:32;1876:33;:::i;:::-;1536:456;;1928:7;;-1:-1:-1;;;1982:2:1;1967:18;;;;1954:32;;1536:456::o;2186:127::-;2247:10;2242:3;2238:20;2235:1;2228:31;2278:4;2275:1;2268:15;2302:4;2299:1;2292:15;2318:1121;2402:6;2433:2;2476;2464:9;2455:7;2451:23;2447:32;2444:52;;;2492:1;2489;2482:12;2444:52;2532:9;2519:23;2561:18;2602:2;2594:6;2591:14;2588:34;;;2618:1;2615;2608:12;2588:34;2656:6;2645:9;2641:22;2631:32;;2701:7;2694:4;2690:2;2686:13;2682:27;2672:55;;2723:1;2720;2713:12;2672:55;2759:2;2746:16;2781:2;2777;2774:10;2771:36;;;2787:18;;:::i;:::-;2833:2;2830:1;2826:10;2865:2;2859:9;2928:2;2924:7;2919:2;2915;2911:11;2907:25;2899:6;2895:38;2983:6;2971:10;2968:22;2963:2;2951:10;2948:18;2945:46;2942:72;;;2994:18;;:::i;:::-;3030:2;3023:22;3080:18;;;3114:15;;;;-1:-1:-1;3156:11:1;;;3152:20;;;3184:19;;;3181:39;;;3216:1;3213;3206:12;3181:39;3240:11;;;;3260:148;3276:6;3271:3;3268:15;3260:148;;;3342:23;3361:3;3342:23;:::i;:::-;3330:36;;3293:12;;;;3386;;;;3260:148;;;3427:6;2318:1121;-1:-1:-1;;;;;;;;2318:1121:1:o;3444:247::-;3503:6;3556:2;3544:9;3535:7;3531:23;3527:32;3524:52;;;3572:1;3569;3562:12;3524:52;3611:9;3598:23;3630:31;3655:5;3630:31;:::i;3904:388::-;3972:6;3980;4033:2;4021:9;4012:7;4008:23;4004:32;4001:52;;;4049:1;4046;4039:12;4001:52;4088:9;4075:23;4107:31;4132:5;4107:31;:::i;:::-;4157:5;-1:-1:-1;4214:2:1;4199:18;;4186:32;4227:33;4186:32;4227:33;:::i;:::-;4279:7;4269:17;;;3904:388;;;;;:::o;4297:180::-;4356:6;4409:2;4397:9;4388:7;4384:23;4380:32;4377:52;;;4425:1;4422;4415:12;4377:52;-1:-1:-1;4448:23:1;;4297:180;-1:-1:-1;4297:180:1:o;4482:127::-;4543:10;4538:3;4534:20;4531:1;4524:31;4574:4;4571:1;4564:15;4598:4;4595:1;4588:15;4614:422;4703:1;4746:5;4703:1;4760:270;4781:7;4771:8;4768:21;4760:270;;;4840:4;4836:1;4832:6;4828:17;4822:4;4819:27;4816:53;;;4849:18;;:::i;:::-;4899:7;4889:8;4885:22;4882:55;;;4919:16;;;;4882:55;4998:22;;;;4958:15;;;;4760:270;;;4764:3;4614:422;;;;;:::o;5041:806::-;5090:5;5120:8;5110:80;;-1:-1:-1;5161:1:1;5175:5;;5110:80;5209:4;5199:76;;-1:-1:-1;5246:1:1;5260:5;;5199:76;5291:4;5309:1;5304:59;;;;5377:1;5372:130;;;;5284:218;;5304:59;5334:1;5325:10;;5348:5;;;5372:130;5409:3;5399:8;5396:17;5393:43;;;5416:18;;:::i;:::-;-1:-1:-1;;5472:1:1;5458:16;;5487:5;;5284:218;;5586:2;5576:8;5573:16;5567:3;5561:4;5558:13;5554:36;5548:2;5538:8;5535:16;5530:2;5524:4;5521:12;5517:35;5514:77;5511:159;;;-1:-1:-1;5623:19:1;;;5655:5;;5511:159;5702:34;5727:8;5721:4;5702:34;:::i;:::-;5772:6;5768:1;5764:6;5760:19;5751:7;5748:32;5745:58;;;5783:18;;:::i;:::-;5821:20;;5041:806;-1:-1:-1;;;5041:806:1:o;5852:140::-;5910:5;5939:47;5980:4;5970:8;5966:19;5960:4;5939:47;:::i;5997:168::-;6070:9;;;6101;;6118:15;;;6112:22;;6098:37;6088:71;;6139:18;;:::i;6170:356::-;6372:2;6354:21;;;6391:18;;;6384:30;6450:34;6445:2;6430:18;;6423:62;6517:2;6502:18;;6170:356::o;6531:127::-;6592:10;6587:3;6583:20;6580:1;6573:31;6623:4;6620:1;6613:15;6647:4;6644:1;6637:15;6663:135;6702:3;6723:17;;;6720:43;;6743:18;;:::i;:::-;-1:-1:-1;6790:1:1;6779:13;;6663:135::o;7155:251::-;7225:6;7278:2;7266:9;7257:7;7253:23;7249:32;7246:52;;;7294:1;7291;7284:12;7246:52;7326:9;7320:16;7345:31;7370:5;7345:31;:::i;8332:306::-;8420:6;8428;8436;8489:2;8477:9;8468:7;8464:23;8460:32;8457:52;;;8505:1;8502;8495:12;8457:52;8534:9;8528:16;8518:26;;8584:2;8573:9;8569:18;8563:25;8553:35;;8628:2;8617:9;8613:18;8607:25;8597:35;;8332:306;;;;;:::o;8922:277::-;8989:6;9042:2;9030:9;9021:7;9017:23;9013:32;9010:52;;;9058:1;9055;9048:12;9010:52;9090:9;9084:16;9143:5;9136:13;9129:21;9122:5;9119:32;9109:60;;9165:1;9162;9155:12;11586:125;11651:9;;;11672:10;;;11669:36;;;11685:18;;:::i;12071:128::-;12138:9;;;12159:11;;;12156:37;;;12173:18;;:::i;12204:217::-;12244:1;12270;12260:132;;12314:10;12309:3;12305:20;12302:1;12295:31;12349:4;12346:1;12339:15;12377:4;12374:1;12367:15;12260:132;-1:-1:-1;12406:9:1;;12204:217::o;12828:980::-;13090:4;13138:3;13127:9;13123:19;13169:6;13158:9;13151:25;13195:2;13233:6;13228:2;13217:9;13213:18;13206:34;13276:3;13271:2;13260:9;13256:18;13249:31;13300:6;13335;13329:13;13366:6;13358;13351:22;13404:3;13393:9;13389:19;13382:26;;13443:2;13435:6;13431:15;13417:29;;13464:1;13474:195;13488:6;13485:1;13482:13;13474:195;;;13553:13;;-1:-1:-1;;;;;13549:39:1;13537:52;;13644:15;;;;13609:12;;;;13585:1;13503:9;13474:195;;;-1:-1:-1;;;;;;;13725:32:1;;;;13720:2;13705:18;;13698:60;-1:-1:-1;;;13789:3:1;13774:19;13767:35;13686:3;12828:980;-1:-1:-1;;;12828:980:1:o

ipfs://b00c12b54b47756f5343eb1510e50a6ef3f1c2e333af0045283b8cb88e7011a3