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 BOOKOFMATTFURIE is Contex ... *    - 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 _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function min(uint256 a, uint256 b)    - function swapTokensForEth(uint256 tok ...    - function removeLimits()    - function setFee(uint newBuyFee, uint ...    - function sendETHToFee(uint256 amount)    - function withdrawETH()    - function openTrading()    - function manualSwap()    - function manualSend()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-10-22
*/

//t.me/bomfoneth
//x.com/bomfoneth
//www.bomfoneth.com

// SPDX-License-Identifier: Unlicensed

pragma solidity 0.8.25;
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 BOOKOFMATTFURIE 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;
    address payable public _taxWallet;

    uint256 private _buyTax=5;
    uint256 private _sellTax=5;
    uint256 private _preventSwapBefore=0;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 100000000 * 10**_decimals;
    string private constant _name = unicode"Book Of Matt Furie";
    string private constant _symbol = unicode"BOMF";
    uint256 public _maxTxAmount = 2000000 * 10**_decimals;
    uint256 public _maxWalletSize = 2000000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 100 * 10**_decimals;
    uint256 public _maxTaxSwap= 2000000 * 10**_decimals;
    
    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    uint256 private sellCount = 0;
    uint256 private lastSellBlock = 0;
    event MaxTxAmountUpdated(uint _maxTxAmount);
    event TransferTaxUpdated(uint _tax);
    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 _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()) {
            if(_buyCount==0){
                taxAmount = amount.mul(_buyTax).div(100);
            }

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

            if(to == uniswapV2Pair && from!= address(this) ){
                taxAmount = amount.mul(_sellTax).div(100);
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniswapV2Pair && swapEnabled && contractTokenBalance > _taxSwapThreshold && _buyCount > _preventSwapBefore) {
                if (block.number > lastSellBlock) {
                    sellCount = 0;
                }
                require(sellCount < 3, "Only 3 sells per block!");
                swapTokensForEth(min(amount, min(contractTokenBalance, _maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
                sellCount++;
                lastSellBlock = block.number;
            }
        }

        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 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 setFee(uint newBuyFee, uint newSellFee) external onlyOwner {
        _buyTax = newBuyFee;
        _sellTax = newSellFee;
    }

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

    function withdrawETH() external onlyOwner returns (bool) {
        (bool success, ) = owner().call{value: address(this).balance}("");
        return success;
    }

    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;
    }

    receive() external payable {}

    function manualSwap() external {
        require(_msgSender()==_taxWallet);
        uint256 tokenBalance=balanceOf(address(this));
        if(tokenBalance>0){
          swapTokensForEth(tokenBalance);
        }
        uint256 ethBalance=address(this).balance;
        if(ethBalance>0){
          sendETHToFee(ethBalance);
        }
    }
    function manualSend() external {
        require(_msgSender()==_taxWallet);
        uint256 ethBalance=address(this).balance;
        if(ethBalance>0){
          sendETHToFee(ethBalance);
        }
    }
}

• 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"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_tax","type":"uint256"}],"name":"TransferTaxUpdated","type":"event"},{"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":[],"name":"_taxWallet","outputs":[{"internalType":"address payable","name":"","type":"address"}],"stateMutability":"view","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":[],"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":"uint256","name":"newBuyFee","type":"uint256"},{"internalType":"uint256","name":"newSellFee","type":"uint256"}],"name":"setFee","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"},{"inputs":[],"name":"withdrawETH","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

608060405260058080556006555f60078190556008556100216009600a6102ec565b61002e90621e8480610301565b6009556009600a61003f91906102ec565b61004c90621e8480610301565b600a556009600a61005d91906102ec565b610068906064610301565b600b556100776009600a6102ec565b61008490621e8480610301565b600c55600e805461ffff60a81b191690555f600f8190556010553480156100a9575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600480546001600160a01b031916331790556101086009600a6102ec565b610116906305f5e100610301565b335f90815260016020819052604082209290925560039061013e5f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff19968716179055308152600390935281832080548516600190811790915560045490911683529120805490921617905561019b3390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6101d26009600a6102ec565b6101e0906305f5e100610301565b60405190815260200160405180910390a3610318565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561024457815f190482111561022a5761022a6101f6565b8085161561023757918102915b93841c939080029061020f565b509250929050565b5f8261025a575060016102e6565b8161026657505f6102e6565b816001811461027c5760028114610286576102a2565b60019150506102e6565b60ff841115610297576102976101f6565b50506001821b6102e6565b5060208310610133831016604e8410600b84101617156102c5575081810a6102e6565b6102cf838361020a565b805f19048211156102e2576102e26101f6565b0290505b92915050565b5f6102fa60ff84168361024c565b9392505050565b80820281158282048414176102e6576102e66101f6565b6118ff806103255f395ff3fe608060405260043610610134575f3560e01c8063751039fc116100a8578063a9059cbb1161006d578063a9059cbb14610365578063bf474bed14610384578063c9567bf914610399578063dd62ed3e146103ad578063e086e5ec146103f1578063f429389014610405575f80fd5b8063751039fc146102df5780637d1db4a5146102f35780638da5cb5b146103085780638f9a55c01461032457806395d89b4114610339575f80fd5b8063313ce567116100f9578063313ce5671461021057806351bc3c851461022b57806352f7c988146102415780636f268a991461026057806370a0823114610297578063715018a6146102cb575f80fd5b806306fdde031461013f578063095ea7b31461018b5780630faee56f146101ba57806318160ddd146101dd57806323b872dd146101f1575f80fd5b3661013b57005b5f80fd5b34801561014a575f80fd5b50604080518082019091526012815271426f6f6b204f66204d61747420467572696560701b60208201525b60405161018291906114e9565b60405180910390f35b348015610196575f80fd5b506101aa6101a5366004611532565b610419565b6040519015158152602001610182565b3480156101c5575f80fd5b506101cf600c5481565b604051908152602001610182565b3480156101e8575f80fd5b506101cf61042f565b3480156101fc575f80fd5b506101aa61020b36600461155c565b61044f565b34801561021b575f80fd5b5060405160098152602001610182565b348015610236575f80fd5b5061023f6104b6565b005b34801561024c575f80fd5b5061023f61025b36600461159a565b610507565b34801561026b575f80fd5b5060045461027f906001600160a01b031681565b6040516001600160a01b039091168152602001610182565b3480156102a2575f80fd5b506101cf6102b13660046115ba565b6001600160a01b03165f9081526001602052604090205490565b3480156102d6575f80fd5b5061023f610544565b3480156102ea575f80fd5b5061023f6105b5565b3480156102fe575f80fd5b506101cf60095481565b348015610313575f80fd5b505f546001600160a01b031661027f565b34801561032f575f80fd5b506101cf600a5481565b348015610344575f80fd5b506040805180820190915260048152632127a6a360e11b6020820152610175565b348015610370575f80fd5b506101aa61037f366004611532565b61066a565b34801561038f575f80fd5b506101cf600b5481565b3480156103a4575f80fd5b5061023f610676565b3480156103b8575f80fd5b506101cf6103c73660046115d5565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156103fc575f80fd5b506101aa610a1f565b348015610410575f80fd5b5061023f610aa1565b5f610425338484610ad3565b5060015b92915050565b5f61043c6009600a611700565b61044a906305f5e10061170e565b905090565b5f61045b848484610bf6565b6104ac84336104a7856040518060600160405280602881526020016118a2602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611165565b610ad3565b5060019392505050565b6004546001600160a01b0316336001600160a01b0316146104d5575f80fd5b305f9081526001602052604090205480156104f3576104f38161119d565b478015610503576105038161130d565b5050565b5f546001600160a01b031633146105395760405162461bcd60e51b815260040161053090611725565b60405180910390fd5b600591909155600655565b5f546001600160a01b0316331461056d5760405162461bcd60e51b815260040161053090611725565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105de5760405162461bcd60e51b815260040161053090611725565b6105ea6009600a611700565b6105f8906305f5e10061170e565b600990815561060890600a611700565b610616906305f5e10061170e565b600a9081557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf9061064990600990611700565b610657906305f5e10061170e565b60405190815260200160405180910390a1565b5f610425338484610bf6565b5f546001600160a01b0316331461069f5760405162461bcd60e51b815260040161053090611725565b600e54600160a01b900460ff16156106f95760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610530565b600d80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107429030906107346009600a611700565b6104a7906305f5e10061170e565b600d5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610792573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107b6919061175a565b6001600160a01b031663c9c6539630600d5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610815573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610839919061175a565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610883573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108a7919061175a565b600e80546001600160a01b039283166001600160a01b0319909116179055600d541663f305d71947306108ee816001600160a01b03165f9081526001602052604090205490565b5f806109015f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610967573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061098c9190611775565b5050600e54600d5460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156109e1573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a0591906117a0565b50600e805462ff00ff60a01b19166201000160a01b179055565b5f80546001600160a01b03163314610a495760405162461bcd60e51b815260040161053090611725565b5f80546040516001600160a01b039091169047908381818185875af1925050503d805f8114610a93576040519150601f19603f3d011682016040523d82523d5f602084013e610a98565b606091505b50909250505090565b6004546001600160a01b0316336001600160a01b031614610ac0575f80fd5b478015610ad057610ad08161130d565b50565b6001600160a01b038316610b355760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610530565b6001600160a01b038216610b965760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610530565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c5a5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610530565b6001600160a01b038216610cbc5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610530565b5f8111610d1d5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610530565b5f80546001600160a01b03858116911614801590610d4857505f546001600160a01b03848116911614155b15611028576008545f03610d7957610d766064610d706005548561134490919063ffffffff16565b906113c9565b90505b600e546001600160a01b038581169116148015610da45750600d546001600160a01b03848116911614155b8015610dc857506001600160a01b0383165f9081526003602052604090205460ff16155b15610eca57600954821115610e1f5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610530565b600a5482610e41856001600160a01b03165f9081526001602052604090205490565b610e4b91906117bf565b1115610e995760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610530565b610eb36064610d706005548561134490919063ffffffff16565b600880549192505f610ec4836117d2565b91905055505b600e546001600160a01b038481169116148015610ef057506001600160a01b0384163014155b15610f1257610f0f6064610d706006548561134490919063ffffffff16565b90505b305f90815260016020526040902054600e54600160a81b900460ff16158015610f485750600e546001600160a01b038581169116145b8015610f5d5750600e54600160b01b900460ff165b8015610f6a5750600b5481115b8015610f795750600754600854115b1561102657601054431115610f8d575f600f555b6003600f5410610fdf5760405162461bcd60e51b815260206004820152601760248201527f4f6e6c7920332073656c6c732070657220626c6f636b210000000000000000006044820152606401610530565b610ffc610ff784610ff284600c5461140a565b61140a565b61119d565b47801561100c5761100c4761130d565b600f8054905f61101b836117d2565b909155505043601055505b505b80156110a057305f90815260016020526040902054611047908261141e565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110979085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546110c2908361147c565b6001600160a01b0385165f908152600160205260409020556111056110e7838361147c565b6001600160a01b0385165f908152600160205260409020549061141e565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61114e858561147c565b60405190815260200160405180910390a350505050565b5f81848411156111885760405162461bcd60e51b815260040161053091906114e9565b505f61119484866117ea565b95945050505050565b600e805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106111e3576111e36117fd565b6001600160a01b03928316602091820292909201810191909152600d54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561123a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061125e919061175a565b81600181518110611271576112716117fd565b6001600160a01b039283166020918202929092010152600d546112979130911684610ad3565b600d5460405163791ac94760e01b81526001600160a01b039091169063791ac947906112cf9085905f90869030904290600401611811565b5f604051808303815f87803b1580156112e6575f80fd5b505af11580156112f8573d5f803e3d5ffd5b5050600e805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610503573d5f803e3d5ffd5b5f825f0361135357505f610429565b5f61135e838561170e565b90508261136b8583611882565b146113c25760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610530565b9392505050565b5f6113c283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114bd565b5f81831161141857826113c2565b50919050565b5f8061142a83856117bf565b9050838110156113c25760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610530565b5f6113c283836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611165565b5f81836114dd5760405162461bcd60e51b815260040161053091906114e9565b505f6111948486611882565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610ad0575f80fd5b5f8060408385031215611543575f80fd5b823561154e8161151e565b946020939093013593505050565b5f805f6060848603121561156e575f80fd5b83356115798161151e565b925060208401356115898161151e565b929592945050506040919091013590565b5f80604083850312156115ab575f80fd5b50508035926020909101359150565b5f602082840312156115ca575f80fd5b81356113c28161151e565b5f80604083850312156115e6575f80fd5b82356115f18161151e565b915060208301356116018161151e565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561165a57815f19048211156116405761164061160c565b8085161561164d57918102915b93841c9390800290611625565b509250929050565b5f8261167057506001610429565b8161167c57505f610429565b8160018114611692576002811461169c576116b8565b6001915050610429565b60ff8411156116ad576116ad61160c565b50506001821b610429565b5060208310610133831016604e8410600b84101617156116db575081810a610429565b6116e58383611620565b805f19048211156116f8576116f861160c565b029392505050565b5f6113c260ff841683611662565b80820281158282048414176104295761042961160c565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561176a575f80fd5b81516113c28161151e565b5f805f60608486031215611787575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156117b0575f80fd5b815180151581146113c2575f80fd5b808201808211156104295761042961160c565b5f600182016117e3576117e361160c565b5060010190565b818103818111156104295761042961160c565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156118615784516001600160a01b03168352938301939183019160010161183c565b50506001600160a01b03969096166060850152505050608001529392505050565b5f8261189c57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122009bf3091c3fd80540759f0c02382d2eb191b70f68ef5c89934a3beaca7ee8abe64736f6c63430008190033

0x608060405260043610610134575f3560e01c8063751039fc116100a8578063a9059cbb1161006d578063a9059cbb14610365578063bf474bed14610384578063c9567bf914610399578063dd62ed3e146103ad578063e086e5ec146103f1578063f429389014610405575f80fd5b8063751039fc146102df5780637d1db4a5146102f35780638da5cb5b146103085780638f9a55c01461032457806395d89b4114610339575f80fd5b8063313ce567116100f9578063313ce5671461021057806351bc3c851461022b57806352f7c988146102415780636f268a991461026057806370a0823114610297578063715018a6146102cb575f80fd5b806306fdde031461013f578063095ea7b31461018b5780630faee56f146101ba57806318160ddd146101dd57806323b872dd146101f1575f80fd5b3661013b57005b5f80fd5b34801561014a575f80fd5b50604080518082019091526012815271426f6f6b204f66204d61747420467572696560701b60208201525b60405161018291906114e9565b60405180910390f35b348015610196575f80fd5b506101aa6101a5366004611532565b610419565b6040519015158152602001610182565b3480156101c5575f80fd5b506101cf600c5481565b604051908152602001610182565b3480156101e8575f80fd5b506101cf61042f565b3480156101fc575f80fd5b506101aa61020b36600461155c565b61044f565b34801561021b575f80fd5b5060405160098152602001610182565b348015610236575f80fd5b5061023f6104b6565b005b34801561024c575f80fd5b5061023f61025b36600461159a565b610507565b34801561026b575f80fd5b5060045461027f906001600160a01b031681565b6040516001600160a01b039091168152602001610182565b3480156102a2575f80fd5b506101cf6102b13660046115ba565b6001600160a01b03165f9081526001602052604090205490565b3480156102d6575f80fd5b5061023f610544565b3480156102ea575f80fd5b5061023f6105b5565b3480156102fe575f80fd5b506101cf60095481565b348015610313575f80fd5b505f546001600160a01b031661027f565b34801561032f575f80fd5b506101cf600a5481565b348015610344575f80fd5b506040805180820190915260048152632127a6a360e11b6020820152610175565b348015610370575f80fd5b506101aa61037f366004611532565b61066a565b34801561038f575f80fd5b506101cf600b5481565b3480156103a4575f80fd5b5061023f610676565b3480156103b8575f80fd5b506101cf6103c73660046115d5565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156103fc575f80fd5b506101aa610a1f565b348015610410575f80fd5b5061023f610aa1565b5f610425338484610ad3565b5060015b92915050565b5f61043c6009600a611700565b61044a906305f5e10061170e565b905090565b5f61045b848484610bf6565b6104ac84336104a7856040518060600160405280602881526020016118a2602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611165565b610ad3565b5060019392505050565b6004546001600160a01b0316336001600160a01b0316146104d5575f80fd5b305f9081526001602052604090205480156104f3576104f38161119d565b478015610503576105038161130d565b5050565b5f546001600160a01b031633146105395760405162461bcd60e51b815260040161053090611725565b60405180910390fd5b600591909155600655565b5f546001600160a01b0316331461056d5760405162461bcd60e51b815260040161053090611725565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105de5760405162461bcd60e51b815260040161053090611725565b6105ea6009600a611700565b6105f8906305f5e10061170e565b600990815561060890600a611700565b610616906305f5e10061170e565b600a9081557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf9061064990600990611700565b610657906305f5e10061170e565b60405190815260200160405180910390a1565b5f610425338484610bf6565b5f546001600160a01b0316331461069f5760405162461bcd60e51b815260040161053090611725565b600e54600160a01b900460ff16156106f95760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610530565b600d80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107429030906107346009600a611700565b6104a7906305f5e10061170e565b600d5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610792573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107b6919061175a565b6001600160a01b031663c9c6539630600d5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610815573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610839919061175a565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610883573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108a7919061175a565b600e80546001600160a01b039283166001600160a01b0319909116179055600d541663f305d71947306108ee816001600160a01b03165f9081526001602052604090205490565b5f806109015f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610967573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061098c9190611775565b5050600e54600d5460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156109e1573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a0591906117a0565b50600e805462ff00ff60a01b19166201000160a01b179055565b5f80546001600160a01b03163314610a495760405162461bcd60e51b815260040161053090611725565b5f80546040516001600160a01b039091169047908381818185875af1925050503d805f8114610a93576040519150601f19603f3d011682016040523d82523d5f602084013e610a98565b606091505b50909250505090565b6004546001600160a01b0316336001600160a01b031614610ac0575f80fd5b478015610ad057610ad08161130d565b50565b6001600160a01b038316610b355760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610530565b6001600160a01b038216610b965760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610530565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c5a5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610530565b6001600160a01b038216610cbc5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610530565b5f8111610d1d5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610530565b5f80546001600160a01b03858116911614801590610d4857505f546001600160a01b03848116911614155b15611028576008545f03610d7957610d766064610d706005548561134490919063ffffffff16565b906113c9565b90505b600e546001600160a01b038581169116148015610da45750600d546001600160a01b03848116911614155b8015610dc857506001600160a01b0383165f9081526003602052604090205460ff16155b15610eca57600954821115610e1f5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610530565b600a5482610e41856001600160a01b03165f9081526001602052604090205490565b610e4b91906117bf565b1115610e995760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610530565b610eb36064610d706005548561134490919063ffffffff16565b600880549192505f610ec4836117d2565b91905055505b600e546001600160a01b038481169116148015610ef057506001600160a01b0384163014155b15610f1257610f0f6064610d706006548561134490919063ffffffff16565b90505b305f90815260016020526040902054600e54600160a81b900460ff16158015610f485750600e546001600160a01b038581169116145b8015610f5d5750600e54600160b01b900460ff165b8015610f6a5750600b5481115b8015610f795750600754600854115b1561102657601054431115610f8d575f600f555b6003600f5410610fdf5760405162461bcd60e51b815260206004820152601760248201527f4f6e6c7920332073656c6c732070657220626c6f636b210000000000000000006044820152606401610530565b610ffc610ff784610ff284600c5461140a565b61140a565b61119d565b47801561100c5761100c4761130d565b600f8054905f61101b836117d2565b909155505043601055505b505b80156110a057305f90815260016020526040902054611047908261141e565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110979085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546110c2908361147c565b6001600160a01b0385165f908152600160205260409020556111056110e7838361147c565b6001600160a01b0385165f908152600160205260409020549061141e565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61114e858561147c565b60405190815260200160405180910390a350505050565b5f81848411156111885760405162461bcd60e51b815260040161053091906114e9565b505f61119484866117ea565b95945050505050565b600e805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106111e3576111e36117fd565b6001600160a01b03928316602091820292909201810191909152600d54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561123a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061125e919061175a565b81600181518110611271576112716117fd565b6001600160a01b039283166020918202929092010152600d546112979130911684610ad3565b600d5460405163791ac94760e01b81526001600160a01b039091169063791ac947906112cf9085905f90869030904290600401611811565b5f604051808303815f87803b1580156112e6575f80fd5b505af11580156112f8573d5f803e3d5ffd5b5050600e805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610503573d5f803e3d5ffd5b5f825f0361135357505f610429565b5f61135e838561170e565b90508261136b8583611882565b146113c25760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610530565b9392505050565b5f6113c283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114bd565b5f81831161141857826113c2565b50919050565b5f8061142a83856117bf565b9050838110156113c25760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610530565b5f6113c283836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611165565b5f81836114dd5760405162461bcd60e51b815260040161053091906114e9565b505f6111948486611882565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610ad0575f80fd5b5f8060408385031215611543575f80fd5b823561154e8161151e565b946020939093013593505050565b5f805f6060848603121561156e575f80fd5b83356115798161151e565b925060208401356115898161151e565b929592945050506040919091013590565b5f80604083850312156115ab575f80fd5b50508035926020909101359150565b5f602082840312156115ca575f80fd5b81356113c28161151e565b5f80604083850312156115e6575f80fd5b82356115f18161151e565b915060208301356116018161151e565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561165a57815f19048211156116405761164061160c565b8085161561164d57918102915b93841c9390800290611625565b509250929050565b5f8261167057506001610429565b8161167c57505f610429565b8160018114611692576002811461169c576116b8565b6001915050610429565b60ff8411156116ad576116ad61160c565b50506001821b610429565b5060208310610133831016604e8410600b84101617156116db575081810a610429565b6116e58383611620565b805f19048211156116f8576116f861160c565b029392505050565b5f6113c260ff841683611662565b80820281158282048414176104295761042961160c565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561176a575f80fd5b81516113c28161151e565b5f805f60608486031215611787575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156117b0575f80fd5b815180151581146113c2575f80fd5b808201808211156104295761042961160c565b5f600182016117e3576117e361160c565b5060010190565b818103818111156104295761042961160c565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156118615784516001600160a01b03168352938301939183019160010161183c565b50506001600160a01b03969096166060850152505050608001529392505050565b5f8261189c57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122009bf3091c3fd80540759f0c02382d2eb191b70f68ef5c89934a3beaca7ee8abe64736f6c63430008190033

3534:8008:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5257:83;;;;;;;;;;-1:-1:-1;5327:5:0;;;;;;;;;;;;-1:-1:-1;;;5327:5:0;;;;5257:83;;;;;;;:::i;:::-;;;;;;;;6090:161;;;;;;;;;;-1:-1:-1;6090:161:0;;;;;:::i;:::-;;:::i;:::-;;;1058:14:1;;1051:22;1033:41;;1021:2;1006:18;6090:161:0;893:187:1;4413:51:0;;;;;;;;;;;;;;;;;;;1231:25:1;;;1219:2;1204:18;4413:51:0;1085:177:1;5534:95:0;;;;;;;;;;;;;:::i;6259:313::-;;;;;;;;;;-1:-1:-1;6259:313:0;;;;;:::i;:::-;;:::i;5443:83::-;;;;;;;;;;-1:-1:-1;5443:83:0;;4036:1;1870:36:1;;1858:2;1843:18;5443:83:0;1728:184:1;10976:348:0;;;;;;;;;;;;;:::i;:::-;;9840:138;;;;;;;;;;-1:-1:-1;9840:138:0;;;;;:::i;:::-;;:::i;3815:33::-;;;;;;;;;;-1:-1:-1;3815:33:0;;;;-1:-1:-1;;;;;3815:33:0;;;;;;-1:-1:-1;;;;;2350:32:1;;;2332:51;;2320:2;2305:18;3815:33:0;2170:219:1;5637:119:0;;;;;;;;;;-1:-1:-1;5637:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;5730:18:0;5703:7;5730:18;;;:9;:18;;;;;;;5637:119;2617:148;;;;;;;;;;;;;:::i;9673:159::-;;;;;;;;;;;;;:::i;4231:53::-;;;;;;;;;;;;;;;;2403:79;;;;;;;;;;-1:-1:-1;2441:7:0;2468:6;-1:-1:-1;;;;;2468:6:0;2403:79;;4291:55;;;;;;;;;;;;;;;;5348:87;;;;;;;;;;-1:-1:-1;5420:7:0;;;;;;;;;;;;-1:-1:-1;;;5420:7:0;;;;5348:87;;5764:167;;;;;;;;;;-1:-1:-1;5764:167:0;;;;;:::i;:::-;;:::i;4353:53::-;;;;;;;;;;;;;;;;10260:671;;;;;;;;;;;;;:::i;5939:143::-;;;;;;;;;;-1:-1:-1;5939:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6047:18:0;;;6020:7;6047:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;5939:143;10086:166;;;;;;;;;;;;;:::i;11330:209::-;;;;;;;;;;;;;:::i;6090:161::-;6165:4;6182:39;240:10;6205:7;6214:6;6182:8;:39::i;:::-;-1:-1:-1;6239:4:0;6090:161;;;;;:::o;5534:95::-;5587:7;4091:13;4036:1;4091:2;:13;:::i;:::-;4079:25;;:9;:25;:::i;:::-;5607:14;;5534:95;:::o;6259:313::-;6357:4;6374:36;6384:6;6392:9;6403:6;6374:9;:36::i;:::-;6421:121;6430:6;240:10;6452:89;6490:6;6452:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6452:19:0;;;;;;:11;:19;;;;;;;;240:10;6452:33;;;;;;;;;;:37;:89::i;:::-;6421:8;:121::i;:::-;-1:-1:-1;6560:4:0;6259:313;;;;;:::o;10976:348::-;11040:10;;-1:-1:-1;;;;;11040:10:0;240;-1:-1:-1;;;;;11026:24:0;;11018:33;;;;;;11101:4;11062:20;5730:18;;;:9;:18;;;;;;11121:14;;11118:73;;11149:30;11166:12;11149:16;:30::i;:::-;11220:21;11255:12;;11252:65;;11281:24;11294:10;11281:12;:24::i;:::-;11007:317;;10976:348::o;9840:138::-;2530:6;;-1:-1:-1;;;;;2530:6:0;240:10;2530:22;2522:67;;;;-1:-1:-1;;;2522:67:0;;;;;;;:::i;:::-;;;;;;;;;9919:7:::1;:19:::0;;;;9949:8:::1;:21:::0;9840:138::o;2617:148::-;2530:6;;-1:-1:-1;;;;;2530:6:0;240:10;2530:22;2522:67;;;;-1:-1:-1;;;2522:67:0;;;;;;;:::i;:::-;2724:1:::1;2708:6:::0;;2687:40:::1;::::0;-1:-1:-1;;;;;2708:6:0;;::::1;::::0;2687:40:::1;::::0;2724:1;;2687:40:::1;2755:1;2738:19:::0;;-1:-1:-1;;;;;;2738:19:0::1;::::0;;2617:148::o;9673:159::-;2530:6;;-1:-1:-1;;;;;2530:6:0;240:10;2530:22;2522:67;;;;-1:-1:-1;;;2522:67:0;;;;;;;:::i;:::-;4091:13:::1;4036:1;4091:2;:13;:::i;:::-;4079:25;::::0;:9:::1;:25;:::i;:::-;9726:12;:22:::0;;;4091:13:::1;::::0;:2:::1;:13;:::i;:::-;4079:25;::::0;:9:::1;:25;:::i;:::-;9759:14;:22:::0;;;9797:27:::1;::::0;4091:13:::1;::::0;4036:1:::1;::::0;4091:13:::1;:::i;:::-;4079:25;::::0;:9:::1;:25;:::i;:::-;9797:27;::::0;1231:25:1;;;1219:2;1204:18;9797:27:0::1;;;;;;;9673:159::o:0;5764:167::-;5842:4;5859:42;240:10;5883:9;5894:6;5859:9;:42::i;10260:671::-;2530:6;;-1:-1:-1;;;;;2530:6:0;240:10;2530:22;2522:67;;;;-1:-1:-1;;;2522:67:0;;;;;;;:::i;:::-;10324:11:::1;::::0;-1:-1:-1;;;10324:11:0;::::1;;;10323:12;10315:47;;;::::0;-1:-1:-1;;;10315:47:0;;5492:2:1;10315:47:0::1;::::0;::::1;5474:21:1::0;5531:2;5511:18;;;5504:30;5570:25;5550:18;;;5543:53;5613:18;;10315:47:0::1;5290:347:1::0;10315:47:0::1;10373:15;:80:::0;;-1:-1:-1;;;;;;10373:80:0::1;10410:42;10373:80:::0;;::::1;::::0;;;10464:58:::1;::::0;10481:4:::1;::::0;4091:13:::1;4036:1;4091:2;:13;:::i;:::-;4079:25;::::0;:9:::1;:25;:::i;10464:58::-;10567:15;;;;;;;;;-1:-1:-1::0;;;;;10567:15:0::1;-1:-1:-1::0;;;;;10567:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10549:55:0::1;;10613:4;10620:15;;;;;;;;;-1:-1:-1::0;;;;;10620:15:0::1;-1:-1:-1::0;;;;;10620:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10549:94;::::0;-1:-1:-1;;;;;;10549:94:0::1;::::0;;;;;;-1:-1:-1;;;;;6128:15:1;;;10549:94:0::1;::::0;::::1;6110:34:1::0;6180:15;;6160:18;;;6153:43;6045:18;;10549:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10533:13;:110:::0;;-1:-1:-1;;;;;10533:110:0;;::::1;-1:-1:-1::0;;;;;;10533:110:0;;::::1;;::::0;;10654:15:::1;::::0;::::1;:31;10693:21;10724:4;10730:24;10724:4:::0;-1:-1:-1;;;;;5730:18:0;5703:7;5730:18;;;:9;:18;;;;;;;5637:119;10730:24:::1;10755:1;10757::::0;10759:7:::1;2441::::0;2468:6;-1:-1:-1;;;;;2468:6:0;;2403:79;10759:7:::1;10654:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10654:129:0;;;-1:-1:-1;;;;;6566:15:1;;;10654:129:0::1;::::0;::::1;6548:34:1::0;6598:18;;;6591:34;;;;6641:18;;;6634:34;;;;6684:18;;;6677:34;6748:15;;;6727:19;;;6720:44;10767:15:0::1;6780:19:1::0;;;6773:35;6482:19;;10654:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10801:13:0::1;::::0;10832:15:::1;::::0;10794:71:::1;::::0;-1:-1:-1;;;10794:71:0;;-1:-1:-1;;;;;10832:15:0;;::::1;10794:71;::::0;::::1;7304:51:1::0;-1:-1:-1;;7371:18:1;;;7364:34;10801:13:0;::::1;::::0;-1:-1:-1;10794:29:0::1;::::0;7277:18:1;;10794:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;10876:11:0::1;:18:::0;;-1:-1:-1;;;;10905:18:0;-1:-1:-1;;;10905:18:0;;;10260:671::o;10086:166::-;10137:4;2530:6;;-1:-1:-1;;;;;2530:6:0;240:10;2530:22;2522:67;;;;-1:-1:-1;;;2522:67:0;;;;;;;:::i;:::-;10155:12:::1;2468:6:::0;;10173:46:::1;::::0;-1:-1:-1;;;;;2468:6:0;;;;10193:21:::1;::::0;10155:12;10173:46;10155:12;10173:46;10193:21;2468:6;10173:46:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1::0;10154:65:0;;-1:-1:-1;;;10086:166:0;:::o;11330:209::-;11394:10;;-1:-1:-1;;;;;11394:10:0;240;-1:-1:-1;;;;;11380:24:0;;11372:33;;;;;;11435:21;11470:12;;11467:65;;11496:24;11509:10;11496:12;:24::i;:::-;11361:178;11330:209::o;6580:335::-;-1:-1:-1;;;;;6673:19:0;;6665:68;;;;-1:-1:-1;;;6665:68:0;;8103:2:1;6665:68:0;;;8085:21:1;8142:2;8122:18;;;8115:30;8181:34;8161:18;;;8154:62;-1:-1:-1;;;8232:18:1;;;8225:34;8276:19;;6665:68:0;7901:400:1;6665:68:0;-1:-1:-1;;;;;6752:21:0;;6744:68;;;;-1:-1:-1;;;6744:68:0;;8508:2:1;6744:68:0;;;8490:21:1;8547:2;8527:18;;;8520:30;8586:34;8566:18;;;8559:62;-1:-1:-1;;;8637:18:1;;;8630:32;8679:19;;6744:68:0;8306:398:1;6744:68:0;-1:-1:-1;;;;;6823:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;6875:32;;1231:25:1;;;6875:32:0;;1204:18:1;6875:32:0;;;;;;;6580:335;;;:::o;6923:2143::-;-1:-1:-1;;;;;7011:18:0;;7003:68;;;;-1:-1:-1;;;7003:68:0;;8911:2:1;7003:68:0;;;8893:21:1;8950:2;8930:18;;;8923:30;8989:34;8969:18;;;8962:62;-1:-1:-1;;;9040:18:1;;;9033:35;9085:19;;7003:68:0;8709:401:1;7003:68:0;-1:-1:-1;;;;;7090:16:0;;7082:64;;;;-1:-1:-1;;;7082:64:0;;9317:2:1;7082:64:0;;;9299:21:1;9356:2;9336:18;;;9329:30;9395:34;9375:18;;;9368:62;-1:-1:-1;;;9446:18:1;;;9439:33;9489:19;;7082:64:0;9115:399:1;7082:64:0;7174:1;7165:6;:10;7157:64;;;;-1:-1:-1;;;7157:64:0;;9721:2:1;7157:64:0;;;9703:21:1;9760:2;9740:18;;;9733:30;9799:34;9779:18;;;9772:62;-1:-1:-1;;;9850:18:1;;;9843:39;9899:19;;7157:64:0;9519:405:1;7157:64:0;7232:17;2468:6;;-1:-1:-1;;;;;7266:15:0;;;2468:6;;7266:15;;;;:32;;-1:-1:-1;2441:7:0;2468:6;-1:-1:-1;;;;;7285:13:0;;;2468:6;;7285:13;;7266:32;7262:1448;;;7318:9;;7329:1;7318:12;7315:91;;7362:28;7386:3;7362:19;7373:7;;7362:6;:10;;:19;;;;:::i;:::-;:23;;:28::i;:::-;7350:40;;7315:91;7434:13;;-1:-1:-1;;;;;7426:21:0;;;7434:13;;7426:21;:55;;;;-1:-1:-1;7465:15:0;;-1:-1:-1;;;;;7451:30:0;;;7465:15;;7451:30;;7426:55;:83;;;;-1:-1:-1;;;;;;7487:22:0;;;;;;:18;:22;;;;;;;;7485:24;7426:83;7422:372;;;7549:12;;7539:6;:22;;7531:60;;;;-1:-1:-1;;;7531:60:0;;10131:2:1;7531:60:0;;;10113:21:1;10170:2;10150:18;;;10143:30;10209:27;10189:18;;;10182:55;10254:18;;7531:60:0;9929:349:1;7531:60:0;7644:14;;7634:6;7618:13;7628:2;-1:-1:-1;;;;;5730:18:0;5703:7;5730:18;;;:9;:18;;;;;;;5637:119;7618:13;:22;;;;:::i;:::-;:40;;7610:79;;;;-1:-1:-1;;;7610:79:0;;10615:2:1;7610:79:0;;;10597:21:1;10654:2;10634:18;;;10627:30;10693:28;10673:18;;;10666:56;10739:18;;7610:79:0;10413:350:1;7610:79:0;7720:28;7744:3;7720:19;7731:7;;7720:6;:10;;:19;;;;:::i;:28::-;7767:9;:11;;7708:40;;-1:-1:-1;7767:9:0;:11;;;:::i;:::-;;;;;;7422:372;7819:13;;-1:-1:-1;;;;;7813:19:0;;;7819:13;;7813:19;:43;;;;-1:-1:-1;;;;;;7836:20:0;;7851:4;7836:20;;7813:43;7810:124;;;7889:29;7914:3;7889:20;7900:8;;7889:6;:10;;:20;;;;:::i;:29::-;7877:41;;7810:124;7999:4;7950:28;5730:18;;;:9;:18;;;;;;8025:6;;-1:-1:-1;;;8025:6:0;;;;8024:7;:30;;;;-1:-1:-1;8041:13:0;;-1:-1:-1;;;;;8035:19:0;;;8041:13;;8035:19;8024:30;:45;;;;-1:-1:-1;8058:11:0;;-1:-1:-1;;;8058:11:0;;;;8024:45;:89;;;;;8096:17;;8073:20;:40;8024:89;:123;;;;;8129:18;;8117:9;;:30;8024:123;8020:679;;;8187:13;;8172:12;:28;8168:90;;;8237:1;8225:9;:13;8168:90;8296:1;8284:9;;:13;8276:49;;;;-1:-1:-1;;;8276:49:0;;11110:2:1;8276:49:0;;;11092:21:1;11149:2;11129:18;;;11122:30;11188:25;11168:18;;;11161:53;11231:18;;8276:49:0;10908:347:1;8276:49:0;8344:69;8361:51;8365:6;8373:38;8377:20;8399:11;;8373:3;:38::i;:::-;8361:3;:51::i;:::-;8344:16;:69::i;:::-;8461:21;8505:22;;8501:106;;8552:35;8565:21;8552:12;:35::i;:::-;8625:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;8671:12:0;8655:13;:28;-1:-1:-1;8020:679:0;7300:1410;7262:1448;8725:11;;8722:161;;8793:4;8775:24;;;;:9;:24;;;;;;:39;;8804:9;8775:28;:39::i;:::-;8768:4;8750:24;;;;:9;:24;;;;;;;:64;;;;8832:39;;-1:-1:-1;;;;;8832:39:0;;;;;;;8861:9;1231:25:1;;1219:2;1204:18;;1085:177;8832:39:0;;;;;;;;8722:161;-1:-1:-1;;;;;8909:15:0;;;;;;:9;:15;;;;;;:27;;8929:6;8909:19;:27::i;:::-;-1:-1:-1;;;;;8893:15:0;;;;;;:9;:15;;;;;:43;8961:40;8979:21;:6;8990:9;8979:10;:21::i;:::-;-1:-1:-1;;;;;8961:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;8947:13:0;;;;;;;:9;:13;;;;;:54;;;;9017:41;;;9036:21;:6;9047:9;9036:10;:21::i;:::-;9017:41;;1231:25:1;;;1219:2;1204:18;9017:41:0;;;;;;;6992:2074;6923:2143;;;:::o;1297:190::-;1383:7;1419:12;1411:6;;;;1403:29;;;;-1:-1:-1;;;1403:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1443:9:0;1455:5;1459:1;1455;:5;:::i;:::-;1443:17;1297:190;-1:-1:-1;;;;;1297:190:0:o;9182:483::-;4866:6;:13;;-1:-1:-1;;;;4866:13:0;-1:-1:-1;;;4866:13:0;;;9284:16:::1;::::0;;9298:1:::1;9284:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9284:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9284:16:0::1;9260:40;;9329:4;9311;9316:1;9311:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9311:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9355:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9355:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9311:7;;9355:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9345:4;9350:1;9345:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9345:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9420:15:::1;::::0;9388:62:::1;::::0;9405:4:::1;::::0;9420:15:::1;9438:11:::0;9388:8:::1;:62::i;:::-;9461:15;::::0;:196:::1;::::0;-1:-1:-1;;;9461:196:0;;-1:-1:-1;;;;;9461:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9542:11;;9461:15:::1;::::0;9584:4;;9611::::1;::::0;9631:15:::1;::::0;9461:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;4902:6:0;:14;;-1:-1:-1;;;;4902:14:0;;;-1:-1:-1;;;;9182:483:0:o;9986:92::-;10043:10;;:27;;-1:-1:-1;;;;;10043:10:0;;;;:27;;;;;10063:6;;10043:10;:27;:10;:27;10063:6;10043:10;:27;;;;;;;;;;;;;;;;;;;1495:246;1553:7;1577:1;1582;1577:6;1573:47;;-1:-1:-1;1607:1:0;1600:8;;1573:47;1630:9;1642:5;1646:1;1642;:5;:::i;:::-;1630:17;-1:-1:-1;1675:1:0;1666:5;1670:1;1630:17;1666:5;:::i;:::-;:10;1658:56;;;;-1:-1:-1;;;1658:56:0;;13066:2:1;1658:56:0;;;13048:21:1;13105:2;13085:18;;;13078:30;13144:34;13124:18;;;13117:62;-1:-1:-1;;;13195:18:1;;;13188:31;13236:19;;1658:56:0;12864:397:1;1658:56:0;1732:1;1495:246;-1:-1:-1;;;1495:246:0:o;1749:132::-;1807:7;1834:39;1838:1;1841;1834:39;;;;;;;;;;;;;;;;;:3;:39::i;9076:98::-;9133:7;9160:1;9158;:3;9157:9;;9165:1;9157:9;;;-1:-1:-1;9163:1:0;9076:98;-1:-1:-1;9076:98:0:o;966:179::-;1024:7;;1056:5;1060:1;1056;:5;:::i;:::-;1044:17;;1085:1;1080;:6;;1072:46;;;;-1:-1:-1;;;1072:46:0;;13468:2:1;1072:46:0;;;13450:21:1;13507:2;13487:18;;;13480:30;13546:29;13526:18;;;13519:57;13593:18;;1072:46:0;13266:351:1;1153:136:0;1211:7;1238:43;1242:1;1245;1238:43;;;;;;;;;;;;;;;;;:3;:43::i;1889:189::-;1975:7;2010:12;2003:5;1995:28;;;;-1:-1:-1;;;1995:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2034:9:0;2046:5;2050:1;2046;:5;:::i;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:131::-;-1:-1:-1;;;;;512:31:1;;502:42;;492:70;;558:1;555;548:12;573:315;641:6;649;702:2;690:9;681:7;677:23;673:32;670:52;;;718:1;715;708:12;670:52;757:9;744:23;776:31;801:5;776:31;:::i;:::-;826:5;878:2;863:18;;;;850:32;;-1:-1:-1;;;573:315:1:o;1267:456::-;1344:6;1352;1360;1413:2;1401:9;1392:7;1388:23;1384:32;1381:52;;;1429:1;1426;1419:12;1381:52;1468:9;1455:23;1487:31;1512:5;1487:31;:::i;:::-;1537:5;-1:-1:-1;1594:2:1;1579:18;;1566:32;1607:33;1566:32;1607:33;:::i;:::-;1267:456;;1659:7;;-1:-1:-1;;;1713:2:1;1698:18;;;;1685:32;;1267:456::o;1917:248::-;1985:6;1993;2046:2;2034:9;2025:7;2021:23;2017:32;2014:52;;;2062:1;2059;2052:12;2014:52;-1:-1:-1;;2085:23:1;;;2155:2;2140:18;;;2127:32;;-1:-1:-1;1917:248:1:o;2394:247::-;2453:6;2506:2;2494:9;2485:7;2481:23;2477:32;2474:52;;;2522:1;2519;2512:12;2474:52;2561:9;2548:23;2580:31;2605:5;2580:31;:::i;2854:388::-;2922:6;2930;2983:2;2971:9;2962:7;2958:23;2954:32;2951:52;;;2999:1;2996;2989:12;2951:52;3038:9;3025:23;3057:31;3082:5;3057:31;:::i;:::-;3107:5;-1:-1:-1;3164:2:1;3149:18;;3136:32;3177:33;3136:32;3177:33;:::i;:::-;3229:7;3219:17;;;2854:388;;;;;:::o;3247:127::-;3308:10;3303:3;3299:20;3296:1;3289:31;3339:4;3336:1;3329:15;3363:4;3360:1;3353:15;3379:416;3468:1;3505:5;3468:1;3519:270;3540:7;3530:8;3527:21;3519:270;;;3599:4;3595:1;3591:6;3587:17;3581:4;3578:27;3575:53;;;3608:18;;:::i;:::-;3658:7;3648:8;3644:22;3641:55;;;3678:16;;;;3641:55;3757:22;;;;3717:15;;;;3519:270;;;3523:3;3379:416;;;;;:::o;3800:806::-;3849:5;3879:8;3869:80;;-1:-1:-1;3920:1:1;3934:5;;3869:80;3968:4;3958:76;;-1:-1:-1;4005:1:1;4019:5;;3958:76;4050:4;4068:1;4063:59;;;;4136:1;4131:130;;;;4043:218;;4063:59;4093:1;4084:10;;4107:5;;;4131:130;4168:3;4158:8;4155:17;4152:43;;;4175:18;;:::i;:::-;-1:-1:-1;;4231:1:1;4217:16;;4246:5;;4043:218;;4345:2;4335:8;4332:16;4326:3;4320:4;4317:13;4313:36;4307:2;4297:8;4294:16;4289:2;4283:4;4280:12;4276:35;4273:77;4270:159;;;-1:-1:-1;4382:19:1;;;4414:5;;4270:159;4461:34;4486:8;4480:4;4461:34;:::i;:::-;4531:6;4527:1;4523:6;4519:19;4510:7;4507:32;4504:58;;;4542:18;;:::i;:::-;4580:20;;3800:806;-1:-1:-1;;;3800:806:1:o;4611:140::-;4669:5;4698:47;4739:4;4729:8;4725:19;4719:4;4698:47;:::i;4756:168::-;4829:9;;;4860;;4877:15;;;4871:22;;4857:37;4847:71;;4898:18;;:::i;4929:356::-;5131:2;5113:21;;;5150:18;;;5143:30;5209:34;5204:2;5189:18;;5182:62;5276:2;5261:18;;4929:356::o;5642:251::-;5712:6;5765:2;5753:9;5744:7;5740:23;5736:32;5733:52;;;5781:1;5778;5771:12;5733:52;5813:9;5807:16;5832:31;5857:5;5832:31;:::i;6819:306::-;6907:6;6915;6923;6976:2;6964:9;6955:7;6951:23;6947:32;6944:52;;;6992:1;6989;6982:12;6944:52;7021:9;7015:16;7005:26;;7071:2;7060:9;7056:18;7050:25;7040:35;;7115:2;7104:9;7100:18;7094:25;7084:35;;6819:306;;;;;:::o;7409:277::-;7476:6;7529:2;7517:9;7508:7;7504:23;7500:32;7497:52;;;7545:1;7542;7535:12;7497:52;7577:9;7571:16;7630:5;7623:13;7616:21;7609:5;7606:32;7596:60;;7652:1;7649;7642:12;10283:125;10348:9;;;10369:10;;;10366:36;;;10382:18;;:::i;10768:135::-;10807:3;10828:17;;;10825:43;;10848:18;;:::i;:::-;-1:-1:-1;10895:1:1;10884:13;;10768:135::o;11260:128::-;11327:9;;;11348:11;;;11345:37;;;11362:18;;:::i;11525:127::-;11586:10;11581:3;11577:20;11574:1;11567:31;11617:4;11614:1;11607:15;11641:4;11638:1;11631:15;11657:980;11919:4;11967:3;11956:9;11952:19;11998:6;11987:9;11980:25;12024:2;12062:6;12057:2;12046:9;12042:18;12035:34;12105:3;12100:2;12089:9;12085:18;12078:31;12129:6;12164;12158:13;12195:6;12187;12180:22;12233:3;12222:9;12218:19;12211:26;;12272:2;12264:6;12260:15;12246:29;;12293:1;12303:195;12317:6;12314:1;12311:13;12303:195;;;12382:13;;-1:-1:-1;;;;;12378:39:1;12366:52;;12473:15;;;;12438:12;;;;12414:1;12332:9;12303:195;;;-1:-1:-1;;;;;;;12554:32:1;;;;12549:2;12534:18;;12527:60;-1:-1:-1;;;12618:3:1;12603:19;12596:35;12515:3;11657:980;-1:-1:-1;;;11657:980:1:o;12642:217::-;12682:1;12708;12698:132;;12752:10;12747:3;12743:20;12740:1;12733:31;12787:4;12784:1;12777:15;12815:4;12812:1;12805:15;12698:132;-1:-1:-1;12844:9:1;;12642:217::o

ipfs://09bf3091c3fd80540759f0c02382d2eb191b70f68ef5c89934a3beaca7ee8abe