Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•    - function _msgSender()
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b, st ...
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
• interface IUniswapV2Factory
•    - function createPair(address tokenA, a ...
• interface IUniswapV2Router02
•    - function swapExactTokensForETHSupport ...
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•  contract SEMI 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 isContract(address account)
•    - function swapTokensForEth(uint256 tok ...
•    - function removeLimits()
•    - function sendETHToFee(uint256 amount)
•    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

/**
 
 https://t.me/SemiEntry

 https://semitruckcoin.com
 

*/


pragma solidity 0.8.20;

abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }
}

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;
        return c;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;
        return c;
    }

}

contract Ownable is Context {
    address private _owner;
    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    constructor () {
        address msgSender = _msgSender();
        _owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }

    function owner() public view returns (address) {
        return _owner;
    }

    modifier onlyOwner() {
        require(_owner == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    function renounceOwnership() public virtual onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }

}

interface IUniswapV2Factory {
    function createPair(address tokenA, address tokenB) external returns (address pair);
}

interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);
}

contract SEMI is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    address payable private _taxWallet;
    uint256 firstBlock;

    uint256 private _initialBuyTax=20;
    uint256 private _initialSellTax=21;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=20;
    uint256 private _reduceSellTaxAt=20;
    uint256 private _preventSwapBefore=24;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 690000000000 * 10**_decimals;
    string private constant _name = unicode"Semi";
    string private constant _symbol = unicode"SEMI";
    uint256 public _maxTxAmount =   13800000000 * 10**_decimals;
    uint256 public _maxWalletSize = 13800000000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 6900000000 * 10**_decimals;
    uint256 public _maxTaxSwap= 13800000000 * 10**_decimals;

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

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

    constructor () {

        _taxWallet = payable(_msgSender());
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;
        
        emit Transfer(address(0), _msgSender(), _tTotal);
    }

    function name() public pure returns (string memory) {
        return _name;
    }

    function symbol() public pure returns (string memory) {
        return _symbol;
    }

    function decimals() public pure returns (uint8) {
        return _decimals;
    }

    function totalSupply() public pure override returns (uint256) {
        return _tTotal;
    }

    function balanceOf(address account) public view override returns (uint256) {
        return _balances[account];
    }

    function transfer(address recipient, uint256 amount) public override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    function allowance(address owner, address spender) public view override returns (uint256) {
        return _allowances[owner][spender];
    }

    function approve(address spender, uint256 amount) public override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }

    function _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()) {
            taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

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

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

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

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

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

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


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

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

    function swapTokensForEth(uint256 tokenAmount) private lockTheSwap {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = uniswapV2Router.WETH();
        _approve(address(this), address(uniswapV2Router), tokenAmount);
        uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            0,
            path,
            address(this),
            block.timestamp
        );
    }

    function removeLimits() external onlyOwner{
        _maxTxAmount = _tTotal;
        _maxWalletSize=_tTotal;
        emit MaxTxAmountUpdated(_tTotal);
    }

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

    function openTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
        firstBlock = block.number;
    }

    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"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":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052601460065560156007555f6008555f6009556014600a556014600b556018600c555f600d556009600a620000399190620005f8565b6403368b4a006200004b919062000648565b600e556009600a6200005e9190620005f8565b6403368b4a0062000070919062000648565b600f556009600a620000839190620005f8565b64019b45a50062000095919062000648565b6010556009600a620000a89190620005f8565b6403368b4a00620000ba919062000648565b6011555f601360156101000a81548160ff0219169083151502179055505f601360166101000a81548160ff021916908315150217905550348015620000fd575f80fd5b505f6200010f6200043860201b60201c565b9050805f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a350620001bb6200043860201b60201c565b60045f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506009600a6200020a9190620005f8565b64a0a73474006200021c919062000648565b60015f6200022f6200043860201b60201c565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550600160035f620002816200043f60201b60201c565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff021916908315150217905550600160035f3073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff021916908315150217905550600160035f60045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff021916908315150217905550620003ab6200043860201b60201c565b73ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6009600a620004099190620005f8565b64a0a73474006200041b919062000648565b6040516200042a9190620006a3565b60405180910390a3620006be565b5f33905090565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b6001851115620004f057808604811115620004c857620004c762000466565b5b6001851615620004d85780820291505b8081029050620004e88562000493565b9450620004a8565b94509492505050565b5f826200050a5760019050620005dc565b8162000519575f9050620005dc565b81600181146200053257600281146200053d5762000573565b6001915050620005dc565b60ff84111562000552576200055162000466565b5b8360020a9150848211156200056c576200056b62000466565b5b50620005dc565b5060208310610133831016604e8410600b8410161715620005ad5782820a905083811115620005a757620005a662000466565b5b620005dc565b620005bc84848460016200049f565b92509050818404811115620005d657620005d562000466565b5b81810290505b9392505050565b5f819050919050565b5f60ff82169050919050565b5f6200060482620005e3565b91506200061183620005ec565b9250620006407fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484620004f9565b905092915050565b5f6200065482620005e3565b91506200066183620005e3565b92508282026200067181620005e3565b915082820484148315176200068b576200068a62000466565b5b5092915050565b6200069d81620005e3565b82525050565b5f602082019050620006b85f83018462000692565b92915050565b612d4680620006cc5f395ff3fe608060405260043610610101575f3560e01c8063751039fc1161009457806395d89b411161006357806395d89b4114610312578063a9059cbb1461033c578063bf474bed14610378578063c9567bf9146103a2578063dd62ed3e146103b857610108565b8063751039fc1461027e5780637d1db4a5146102945780638da5cb5b146102be5780638f9a55c0146102e857610108565b806323b872dd116100d057806323b872dd146101c6578063313ce5671461020257806370a082311461022c578063715018a61461026857610108565b806306fdde031461010c578063095ea7b3146101365780630faee56f1461017257806318160ddd1461019c57610108565b3661010857005b5f80fd5b348015610117575f80fd5b506101206103f4565b60405161012d9190611eec565b60405180910390f35b348015610141575f80fd5b5061015c60048036038101906101579190611f9d565b610431565b6040516101699190611ff5565b60405180910390f35b34801561017d575f80fd5b5061018661044e565b604051610193919061201d565b60405180910390f35b3480156101a7575f80fd5b506101b0610454565b6040516101bd919061201d565b60405180910390f35b3480156101d1575f80fd5b506101ec60048036038101906101e79190612036565b610478565b6040516101f99190611ff5565b60405180910390f35b34801561020d575f80fd5b5061021661054c565b60405161022391906120a1565b60405180910390f35b348015610237575f80fd5b50610252600480360381019061024d91906120ba565b610554565b60405161025f919061201d565b60405180910390f35b348015610273575f80fd5b5061027c61059a565b005b348015610289575f80fd5b506102926106e8565b005b34801561029f575f80fd5b506102a861081a565b6040516102b5919061201d565b60405180910390f35b3480156102c9575f80fd5b506102d2610820565b6040516102df91906120f4565b60405180910390f35b3480156102f3575f80fd5b506102fc610847565b604051610309919061201d565b60405180910390f35b34801561031d575f80fd5b5061032661084d565b6040516103339190611eec565b60405180910390f35b348015610347575f80fd5b50610362600480360381019061035d9190611f9d565b61088a565b60405161036f9190611ff5565b60405180910390f35b348015610383575f80fd5b5061038c6108a7565b604051610399919061201d565b60405180910390f35b3480156103ad575f80fd5b506103b66108ad565b005b3480156103c3575f80fd5b506103de60048036038101906103d9919061210d565b610dd7565b6040516103eb919061201d565b60405180910390f35b60606040518060400160405280600481526020017f53656d6900000000000000000000000000000000000000000000000000000000815250905090565b5f61044461043d610e59565b8484610e60565b6001905092915050565b60115481565b5f6009600a61046391906122a7565b64a0a734740061047391906122f1565b905090565b5f610484848484611023565b61054184610490610e59565b61053c85604051806060016040528060288152602001612ce96028913960025f8b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6104f3610e59565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461193d9092919063ffffffff16565b610e60565b600190509392505050565b5f6009905090565b5f60015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6105a2610e59565b73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461062e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106259061237c565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35f805f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6106f0610e59565b73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461077c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107739061237c565b60405180910390fd5b6009600a61078a91906122a7565b64a0a734740061079a91906122f1565b600e819055506009600a6107ae91906122a7565b64a0a73474006107be91906122f1565b600f819055507f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6009600a6107f391906122a7565b64a0a734740061080391906122f1565b604051610810919061201d565b60405180910390a1565b600e5481565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b600f5481565b60606040518060400160405280600481526020017f53454d4900000000000000000000000000000000000000000000000000000000815250905090565b5f61089d610896610e59565b8484611023565b6001905092915050565b60105481565b6108b5610e59565b73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610941576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109389061237c565b60405180910390fd5b601360149054906101000a900460ff1615610991576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610988906123e4565b60405180910390fd5b737a250d5630b4cf539739df2c5dacb4c659f2488d60125f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550610a2e3060125f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff166009600a610a1991906122a7565b64a0a7347400610a2991906122f1565b610e60565b60125f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610a98573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610abc9190612416565b73ffffffffffffffffffffffffffffffffffffffff1663c9c653963060125f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610b42573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b669190612416565b6040518363ffffffff1660e01b8152600401610b83929190612441565b6020604051808303815f875af1158015610b9f573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610bc39190612416565b60135f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060125f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f305d7194730610c4a30610554565b5f80610c54610820565b426040518863ffffffff1660e01b8152600401610c76969594939291906124aa565b60606040518083038185885af1158015610c92573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610cb7919061251d565b50505060135f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663095ea7b360125f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff167fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6040518363ffffffff1660e01b8152600401610d5792919061256d565b6020604051808303815f875af1158015610d73573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610d9791906125be565b506001601360166101000a81548160ff0219169083151502179055506001601360146101000a81548160ff02191690831515021790555043600581905550565b5f60025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610ece576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ec590612659565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610f3c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f33906126e7565b60405180910390fd5b8060025f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051611016919061201d565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611091576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161108890612775565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036110ff576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110f690612803565b60405180910390fd5b5f8111611141576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161113890612891565b60405180910390fd5b5f61114a610820565b73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16141580156111b85750611188610820565b73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614155b1561168d576111f960646111eb600a54600d54116111d8576006546111dc565b6008545b8561199f90919063ffffffff16565b611a1690919063ffffffff16565b905060135f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161480156112a4575060125f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614155b80156112f7575060035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16155b156113da57600e54821115611341576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611338906128f9565b60405180910390fd5b600f548261134e85610554565b6113589190612917565b1115611399576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161139090612994565b60405180910390fd5b4360036005546113a99190612917565b11156113c2576113b883611a5f565b156113c1575f80fd5b5b600d5f8154809291906113d4906129b2565b91905055505b60135f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561147e575060035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16155b156114dc57600f548261149085610554565b61149a9190612917565b11156114db576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114d290612994565b60405180910390fd5b5b60135f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614801561156457503073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614155b156115a8576115a56064611597600b54600d541161158457600754611588565b6009545b8561199f90919063ffffffff16565b611a1690919063ffffffff16565b90505b5f6115b230610554565b9050601360159054906101000a900460ff1615801561161d575060135f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16145b80156116355750601360169054906101000a900460ff165b8015611642575060105481115b80156116515750600c54600d54115b1561168b5761167361166e8461166984601154611a70565b611a70565b611a88565b5f4790505f8111156116895761168847611cf3565b5b505b505b5f81111561178c576116e58160015f3073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054611d5b90919063ffffffff16565b60015f3073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055503073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051611783919061201d565b60405180910390a35b6117dc8260015f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054611db890919063ffffffff16565b60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208190555061187f6118338284611db890919063ffffffff16565b60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054611d5b90919063ffffffff16565b60015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6119228486611db890919063ffffffff16565b60405161192f919061201d565b60405180910390a350505050565b5f838311158290611984576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161197b9190611eec565b60405180910390fd5b505f838561199291906129f9565b9050809150509392505050565b5f8083036119af575f9050611a10565b5f82846119bc91906122f1565b90508284826119cb9190612a59565b14611a0b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a0290612af9565b60405180910390fd5b809150505b92915050565b5f611a5783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611e01565b905092915050565b5f80823b90505f8111915050919050565b5f818311611a7e5782611a80565b815b905092915050565b6001601360156101000a81548160ff0219169083151502179055505f600267ffffffffffffffff811115611abf57611abe612b17565b5b604051908082528060200260200182016040528015611aed5781602001602082028036833780820191505090505b50905030815f81518110611b0457611b03612b44565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff168152505060125f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015611ba8573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611bcc9190612416565b81600181518110611be057611bdf612b44565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff1681525050611c463060125f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684610e60565b60125f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663791ac947835f8430426040518663ffffffff1660e01b8152600401611ca8959493929190612c28565b5f604051808303815f87803b158015611cbf575f80fd5b505af1158015611cd1573d5f803e3d5ffd5b50505050505f601360156101000a81548160ff02191690831515021790555050565b60045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc8290811502906040515f60405180830381858888f19350505050158015611d57573d5f803e3d5ffd5b5050565b5f808284611d699190612917565b905083811015611dae576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611da590612cca565b60405180910390fd5b8091505092915050565b5f611df983836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061193d565b905092915050565b5f8083118290611e47576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e3e9190611eec565b60405180910390fd5b505f8385611e559190612a59565b9050809150509392505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015611e99578082015181840152602081019050611e7e565b5f8484015250505050565b5f601f19601f8301169050919050565b5f611ebe82611e62565b611ec88185611e6c565b9350611ed8818560208601611e7c565b611ee181611ea4565b840191505092915050565b5f6020820190508181035f830152611f048184611eb4565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f611f3982611f10565b9050919050565b611f4981611f2f565b8114611f53575f80fd5b50565b5f81359050611f6481611f40565b92915050565b5f819050919050565b611f7c81611f6a565b8114611f86575f80fd5b50565b5f81359050611f9781611f73565b92915050565b5f8060408385031215611fb357611fb2611f0c565b5b5f611fc085828601611f56565b9250506020611fd185828601611f89565b9150509250929050565b5f8115159050919050565b611fef81611fdb565b82525050565b5f6020820190506120085f830184611fe6565b92915050565b61201781611f6a565b82525050565b5f6020820190506120305f83018461200e565b92915050565b5f805f6060848603121561204d5761204c611f0c565b5b5f61205a86828701611f56565b935050602061206b86828701611f56565b925050604061207c86828701611f89565b9150509250925092565b5f60ff82169050919050565b61209b81612086565b82525050565b5f6020820190506120b45f830184612092565b92915050565b5f602082840312156120cf576120ce611f0c565b5b5f6120dc84828501611f56565b91505092915050565b6120ee81611f2f565b82525050565b5f6020820190506121075f8301846120e5565b92915050565b5f806040838503121561212357612122611f0c565b5b5f61213085828601611f56565b925050602061214185828601611f56565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b60018511156121cd578086048111156121a9576121a861214b565b5b60018516156121b85780820291505b80810290506121c685612178565b945061218d565b94509492505050565b5f826121e557600190506122a0565b816121f2575f90506122a0565b8160018114612208576002811461221257612241565b60019150506122a0565b60ff8411156122245761222361214b565b5b8360020a91508482111561223b5761223a61214b565b5b506122a0565b5060208310610133831016604e8410600b84101617156122765782820a9050838111156122715761227061214b565b5b6122a0565b6122838484846001612184565b9250905081840481111561229a5761229961214b565b5b81810290505b9392505050565b5f6122b182611f6a565b91506122bc83612086565b92506122e97fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff84846121d6565b905092915050565b5f6122fb82611f6a565b915061230683611f6a565b925082820261231481611f6a565b9150828204841483151761232b5761232a61214b565b5b5092915050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f612366602083611e6c565b915061237182612332565b602082019050919050565b5f6020820190508181035f8301526123938161235a565b9050919050565b7f74726164696e6720697320616c7265616479206f70656e0000000000000000005f82015250565b5f6123ce601783611e6c565b91506123d98261239a565b602082019050919050565b5f6020820190508181035f8301526123fb816123c2565b9050919050565b5f8151905061241081611f40565b92915050565b5f6020828403121561242b5761242a611f0c565b5b5f61243884828501612402565b91505092915050565b5f6040820190506124545f8301856120e5565b61246160208301846120e5565b9392505050565b5f819050919050565b5f819050919050565b5f61249461248f61248a84612468565b612471565b611f6a565b9050919050565b6124a48161247a565b82525050565b5f60c0820190506124bd5f8301896120e5565b6124ca602083018861200e565b6124d7604083018761249b565b6124e4606083018661249b565b6124f160808301856120e5565b6124fe60a083018461200e565b979650505050505050565b5f8151905061251781611f73565b92915050565b5f805f6060848603121561253457612533611f0c565b5b5f61254186828701612509565b935050602061255286828701612509565b925050604061256386828701612509565b9150509250925092565b5f6040820190506125805f8301856120e5565b61258d602083018461200e565b9392505050565b61259d81611fdb565b81146125a7575f80fd5b50565b5f815190506125b881612594565b92915050565b5f602082840312156125d3576125d2611f0c565b5b5f6125e0848285016125aa565b91505092915050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f612643602483611e6c565b915061264e826125e9565b604082019050919050565b5f6020820190508181035f83015261267081612637565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f6126d1602283611e6c565b91506126dc82612677565b604082019050919050565b5f6020820190508181035f8301526126fe816126c5565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f61275f602583611e6c565b915061276a82612705565b604082019050919050565b5f6020820190508181035f83015261278c81612753565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6127ed602383611e6c565b91506127f882612793565b604082019050919050565b5f6020820190508181035f83015261281a816127e1565b9050919050565b7f5472616e7366657220616d6f756e74206d7573742062652067726561746572205f8201527f7468616e207a65726f0000000000000000000000000000000000000000000000602082015250565b5f61287b602983611e6c565b915061288682612821565b604082019050919050565b5f6020820190508181035f8301526128a88161286f565b9050919050565b7f4578636565647320746865205f6d61785478416d6f756e742e000000000000005f82015250565b5f6128e3601983611e6c565b91506128ee826128af565b602082019050919050565b5f6020820190508181035f830152612910816128d7565b9050919050565b5f61292182611f6a565b915061292c83611f6a565b92508282019050808211156129445761294361214b565b5b92915050565b7f4578636565647320746865206d617857616c6c657453697a652e0000000000005f82015250565b5f61297e601a83611e6c565b91506129898261294a565b602082019050919050565b5f6020820190508181035f8301526129ab81612972565b9050919050565b5f6129bc82611f6a565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036129ee576129ed61214b565b5b600182019050919050565b5f612a0382611f6a565b9150612a0e83611f6a565b9250828203905081811115612a2657612a2561214b565b5b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f612a6382611f6a565b9150612a6e83611f6a565b925082612a7e57612a7d612a2c565b5b828204905092915050565b7f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f5f8201527f7700000000000000000000000000000000000000000000000000000000000000602082015250565b5f612ae3602183611e6c565b9150612aee82612a89565b604082019050919050565b5f6020820190508181035f830152612b1081612ad7565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b5f81519050919050565b5f82825260208201905092915050565b5f819050602082019050919050565b612ba381611f2f565b82525050565b5f612bb48383612b9a565b60208301905092915050565b5f602082019050919050565b5f612bd682612b71565b612be08185612b7b565b9350612beb83612b8b565b805f5b83811015612c1b578151612c028882612ba9565b9750612c0d83612bc0565b925050600181019050612bee565b5085935050505092915050565b5f60a082019050612c3b5f83018861200e565b612c48602083018761249b565b8181036040830152612c5a8186612bcc565b9050612c6960608301856120e5565b612c76608083018461200e565b9695505050505050565b7f536166654d6174683a206164646974696f6e206f766572666c6f7700000000005f82015250565b5f612cb4601b83611e6c565b9150612cbf82612c80565b602082019050919050565b5f6020820190508181035f830152612ce181612ca8565b905091905056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220f9c6879d5946a813e1a16f1fc8287835d78415209cae9d0153446f7e511ab6e764736f6c63430008140033

0x608060405260043610610101575f3560e01c8063751039fc1161009457806395d89b411161006357806395d89b4114610312578063a9059cbb1461033c578063bf474bed14610378578063c9567bf9146103a2578063dd62ed3e146103b857610108565b8063751039fc1461027e5780637d1db4a5146102945780638da5cb5b146102be5780638f9a55c0146102e857610108565b806323b872dd116100d057806323b872dd146101c6578063313ce5671461020257806370a082311461022c578063715018a61461026857610108565b806306fdde031461010c578063095ea7b3146101365780630faee56f1461017257806318160ddd1461019c57610108565b3661010857005b5f80fd5b348015610117575f80fd5b506101206103f4565b60405161012d9190611eec565b60405180910390f35b348015610141575f80fd5b5061015c60048036038101906101579190611f9d565b610431565b6040516101699190611ff5565b60405180910390f35b34801561017d575f80fd5b5061018661044e565b604051610193919061201d565b60405180910390f35b3480156101a7575f80fd5b506101b0610454565b6040516101bd919061201d565b60405180910390f35b3480156101d1575f80fd5b506101ec60048036038101906101e79190612036565b610478565b6040516101f99190611ff5565b60405180910390f35b34801561020d575f80fd5b5061021661054c565b60405161022391906120a1565b60405180910390f35b348015610237575f80fd5b50610252600480360381019061024d91906120ba565b610554565b60405161025f919061201d565b60405180910390f35b348015610273575f80fd5b5061027c61059a565b005b348015610289575f80fd5b506102926106e8565b005b34801561029f575f80fd5b506102a861081a565b6040516102b5919061201d565b60405180910390f35b3480156102c9575f80fd5b506102d2610820565b6040516102df91906120f4565b60405180910390f35b3480156102f3575f80fd5b506102fc610847565b604051610309919061201d565b60405180910390f35b34801561031d575f80fd5b5061032661084d565b6040516103339190611eec565b60405180910390f35b348015610347575f80fd5b50610362600480360381019061035d9190611f9d565b61088a565b60405161036f9190611ff5565b60405180910390f35b348015610383575f80fd5b5061038c6108a7565b604051610399919061201d565b60405180910390f35b3480156103ad575f80fd5b506103b66108ad565b005b3480156103c3575f80fd5b506103de60048036038101906103d9919061210d565b610dd7565b6040516103eb919061201d565b60405180910390f35b60606040518060400160405280600481526020017f53656d6900000000000000000000000000000000000000000000000000000000815250905090565b5f61044461043d610e59565b8484610e60565b6001905092915050565b60115481565b5f6009600a61046391906122a7565b64a0a734740061047391906122f1565b905090565b5f610484848484611023565b61054184610490610e59565b61053c85604051806060016040528060288152602001612ce96028913960025f8b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6104f3610e59565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461193d9092919063ffffffff16565b610e60565b600190509392505050565b5f6009905090565b5f60015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6105a2610e59565b73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461062e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106259061237c565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35f805f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6106f0610e59565b73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461077c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107739061237c565b60405180910390fd5b6009600a61078a91906122a7565b64a0a734740061079a91906122f1565b600e819055506009600a6107ae91906122a7565b64a0a73474006107be91906122f1565b600f819055507f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6009600a6107f391906122a7565b64a0a734740061080391906122f1565b604051610810919061201d565b60405180910390a1565b600e5481565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b600f5481565b60606040518060400160405280600481526020017f53454d4900000000000000000000000000000000000000000000000000000000815250905090565b5f61089d610896610e59565b8484611023565b6001905092915050565b60105481565b6108b5610e59565b73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610941576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109389061237c565b60405180910390fd5b601360149054906101000a900460ff1615610991576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610988906123e4565b60405180910390fd5b737a250d5630b4cf539739df2c5dacb4c659f2488d60125f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550610a2e3060125f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff166009600a610a1991906122a7565b64a0a7347400610a2991906122f1565b610e60565b60125f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610a98573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610abc9190612416565b73ffffffffffffffffffffffffffffffffffffffff1663c9c653963060125f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610b42573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b669190612416565b6040518363ffffffff1660e01b8152600401610b83929190612441565b6020604051808303815f875af1158015610b9f573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610bc39190612416565b60135f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060125f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f305d7194730610c4a30610554565b5f80610c54610820565b426040518863ffffffff1660e01b8152600401610c76969594939291906124aa565b60606040518083038185885af1158015610c92573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610cb7919061251d565b50505060135f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663095ea7b360125f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff167fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6040518363ffffffff1660e01b8152600401610d5792919061256d565b6020604051808303815f875af1158015610d73573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610d9791906125be565b506001601360166101000a81548160ff0219169083151502179055506001601360146101000a81548160ff02191690831515021790555043600581905550565b5f60025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610ece576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ec590612659565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610f3c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f33906126e7565b60405180910390fd5b8060025f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051611016919061201d565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611091576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161108890612775565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036110ff576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110f690612803565b60405180910390fd5b5f8111611141576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161113890612891565b60405180910390fd5b5f61114a610820565b73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16141580156111b85750611188610820565b73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614155b1561168d576111f960646111eb600a54600d54116111d8576006546111dc565b6008545b8561199f90919063ffffffff16565b611a1690919063ffffffff16565b905060135f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161480156112a4575060125f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614155b80156112f7575060035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16155b156113da57600e54821115611341576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611338906128f9565b60405180910390fd5b600f548261134e85610554565b6113589190612917565b1115611399576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161139090612994565b60405180910390fd5b4360036005546113a99190612917565b11156113c2576113b883611a5f565b156113c1575f80fd5b5b600d5f8154809291906113d4906129b2565b91905055505b60135f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561147e575060035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16155b156114dc57600f548261149085610554565b61149a9190612917565b11156114db576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114d290612994565b60405180910390fd5b5b60135f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614801561156457503073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614155b156115a8576115a56064611597600b54600d541161158457600754611588565b6009545b8561199f90919063ffffffff16565b611a1690919063ffffffff16565b90505b5f6115b230610554565b9050601360159054906101000a900460ff1615801561161d575060135f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16145b80156116355750601360169054906101000a900460ff165b8015611642575060105481115b80156116515750600c54600d54115b1561168b5761167361166e8461166984601154611a70565b611a70565b611a88565b5f4790505f8111156116895761168847611cf3565b5b505b505b5f81111561178c576116e58160015f3073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054611d5b90919063ffffffff16565b60015f3073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055503073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051611783919061201d565b60405180910390a35b6117dc8260015f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054611db890919063ffffffff16565b60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208190555061187f6118338284611db890919063ffffffff16565b60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054611d5b90919063ffffffff16565b60015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6119228486611db890919063ffffffff16565b60405161192f919061201d565b60405180910390a350505050565b5f838311158290611984576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161197b9190611eec565b60405180910390fd5b505f838561199291906129f9565b9050809150509392505050565b5f8083036119af575f9050611a10565b5f82846119bc91906122f1565b90508284826119cb9190612a59565b14611a0b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a0290612af9565b60405180910390fd5b809150505b92915050565b5f611a5783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611e01565b905092915050565b5f80823b90505f8111915050919050565b5f818311611a7e5782611a80565b815b905092915050565b6001601360156101000a81548160ff0219169083151502179055505f600267ffffffffffffffff811115611abf57611abe612b17565b5b604051908082528060200260200182016040528015611aed5781602001602082028036833780820191505090505b50905030815f81518110611b0457611b03612b44565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff168152505060125f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015611ba8573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611bcc9190612416565b81600181518110611be057611bdf612b44565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff1681525050611c463060125f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684610e60565b60125f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663791ac947835f8430426040518663ffffffff1660e01b8152600401611ca8959493929190612c28565b5f604051808303815f87803b158015611cbf575f80fd5b505af1158015611cd1573d5f803e3d5ffd5b50505050505f601360156101000a81548160ff02191690831515021790555050565b60045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc8290811502906040515f60405180830381858888f19350505050158015611d57573d5f803e3d5ffd5b5050565b5f808284611d699190612917565b905083811015611dae576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611da590612cca565b60405180910390fd5b8091505092915050565b5f611df983836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061193d565b905092915050565b5f8083118290611e47576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e3e9190611eec565b60405180910390fd5b505f8385611e559190612a59565b9050809150509392505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015611e99578082015181840152602081019050611e7e565b5f8484015250505050565b5f601f19601f8301169050919050565b5f611ebe82611e62565b611ec88185611e6c565b9350611ed8818560208601611e7c565b611ee181611ea4565b840191505092915050565b5f6020820190508181035f830152611f048184611eb4565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f611f3982611f10565b9050919050565b611f4981611f2f565b8114611f53575f80fd5b50565b5f81359050611f6481611f40565b92915050565b5f819050919050565b611f7c81611f6a565b8114611f86575f80fd5b50565b5f81359050611f9781611f73565b92915050565b5f8060408385031215611fb357611fb2611f0c565b5b5f611fc085828601611f56565b9250506020611fd185828601611f89565b9150509250929050565b5f8115159050919050565b611fef81611fdb565b82525050565b5f6020820190506120085f830184611fe6565b92915050565b61201781611f6a565b82525050565b5f6020820190506120305f83018461200e565b92915050565b5f805f6060848603121561204d5761204c611f0c565b5b5f61205a86828701611f56565b935050602061206b86828701611f56565b925050604061207c86828701611f89565b9150509250925092565b5f60ff82169050919050565b61209b81612086565b82525050565b5f6020820190506120b45f830184612092565b92915050565b5f602082840312156120cf576120ce611f0c565b5b5f6120dc84828501611f56565b91505092915050565b6120ee81611f2f565b82525050565b5f6020820190506121075f8301846120e5565b92915050565b5f806040838503121561212357612122611f0c565b5b5f61213085828601611f56565b925050602061214185828601611f56565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b60018511156121cd578086048111156121a9576121a861214b565b5b60018516156121b85780820291505b80810290506121c685612178565b945061218d565b94509492505050565b5f826121e557600190506122a0565b816121f2575f90506122a0565b8160018114612208576002811461221257612241565b60019150506122a0565b60ff8411156122245761222361214b565b5b8360020a91508482111561223b5761223a61214b565b5b506122a0565b5060208310610133831016604e8410600b84101617156122765782820a9050838111156122715761227061214b565b5b6122a0565b6122838484846001612184565b9250905081840481111561229a5761229961214b565b5b81810290505b9392505050565b5f6122b182611f6a565b91506122bc83612086565b92506122e97fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff84846121d6565b905092915050565b5f6122fb82611f6a565b915061230683611f6a565b925082820261231481611f6a565b9150828204841483151761232b5761232a61214b565b5b5092915050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f612366602083611e6c565b915061237182612332565b602082019050919050565b5f6020820190508181035f8301526123938161235a565b9050919050565b7f74726164696e6720697320616c7265616479206f70656e0000000000000000005f82015250565b5f6123ce601783611e6c565b91506123d98261239a565b602082019050919050565b5f6020820190508181035f8301526123fb816123c2565b9050919050565b5f8151905061241081611f40565b92915050565b5f6020828403121561242b5761242a611f0c565b5b5f61243884828501612402565b91505092915050565b5f6040820190506124545f8301856120e5565b61246160208301846120e5565b9392505050565b5f819050919050565b5f819050919050565b5f61249461248f61248a84612468565b612471565b611f6a565b9050919050565b6124a48161247a565b82525050565b5f60c0820190506124bd5f8301896120e5565b6124ca602083018861200e565b6124d7604083018761249b565b6124e4606083018661249b565b6124f160808301856120e5565b6124fe60a083018461200e565b979650505050505050565b5f8151905061251781611f73565b92915050565b5f805f6060848603121561253457612533611f0c565b5b5f61254186828701612509565b935050602061255286828701612509565b925050604061256386828701612509565b9150509250925092565b5f6040820190506125805f8301856120e5565b61258d602083018461200e565b9392505050565b61259d81611fdb565b81146125a7575f80fd5b50565b5f815190506125b881612594565b92915050565b5f602082840312156125d3576125d2611f0c565b5b5f6125e0848285016125aa565b91505092915050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f612643602483611e6c565b915061264e826125e9565b604082019050919050565b5f6020820190508181035f83015261267081612637565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f6126d1602283611e6c565b91506126dc82612677565b604082019050919050565b5f6020820190508181035f8301526126fe816126c5565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f61275f602583611e6c565b915061276a82612705565b604082019050919050565b5f6020820190508181035f83015261278c81612753565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6127ed602383611e6c565b91506127f882612793565b604082019050919050565b5f6020820190508181035f83015261281a816127e1565b9050919050565b7f5472616e7366657220616d6f756e74206d7573742062652067726561746572205f8201527f7468616e207a65726f0000000000000000000000000000000000000000000000602082015250565b5f61287b602983611e6c565b915061288682612821565b604082019050919050565b5f6020820190508181035f8301526128a88161286f565b9050919050565b7f4578636565647320746865205f6d61785478416d6f756e742e000000000000005f82015250565b5f6128e3601983611e6c565b91506128ee826128af565b602082019050919050565b5f6020820190508181035f830152612910816128d7565b9050919050565b5f61292182611f6a565b915061292c83611f6a565b92508282019050808211156129445761294361214b565b5b92915050565b7f4578636565647320746865206d617857616c6c657453697a652e0000000000005f82015250565b5f61297e601a83611e6c565b91506129898261294a565b602082019050919050565b5f6020820190508181035f8301526129ab81612972565b9050919050565b5f6129bc82611f6a565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036129ee576129ed61214b565b5b600182019050919050565b5f612a0382611f6a565b9150612a0e83611f6a565b9250828203905081811115612a2657612a2561214b565b5b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f612a6382611f6a565b9150612a6e83611f6a565b925082612a7e57612a7d612a2c565b5b828204905092915050565b7f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f5f8201527f7700000000000000000000000000000000000000000000000000000000000000602082015250565b5f612ae3602183611e6c565b9150612aee82612a89565b604082019050919050565b5f6020820190508181035f830152612b1081612ad7565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b5f81519050919050565b5f82825260208201905092915050565b5f819050602082019050919050565b612ba381611f2f565b82525050565b5f612bb48383612b9a565b60208301905092915050565b5f602082019050919050565b5f612bd682612b71565b612be08185612b7b565b9350612beb83612b8b565b805f5b83811015612c1b578151612c028882612ba9565b9750612c0d83612bc0565b925050600181019050612bee565b5085935050505092915050565b5f60a082019050612c3b5f83018861200e565b612c48602083018761249b565b8181036040830152612c5a8186612bcc565b9050612c6960608301856120e5565b612c76608083018461200e565b9695505050505050565b7f536166654d6174683a206164646974696f6e206f766572666c6f7700000000005f82015250565b5f612cb4601b83611e6c565b9150612cbf82612c80565b602082019050919050565b5f6020820190508181035f830152612ce181612ca8565b905091905056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220f9c6879d5946a813e1a16f1fc8287835d78415209cae9d0153446f7e511ab6e764736f6c63430008140033

3549:7483:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5362:83;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6195:161;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4624:55;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5639:95;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6364:313;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5548:83;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5742:119;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2630:148;;;;;;;;;;;;;:::i;:::-;;10018:159;;;;;;;;;;;;;:::i;:::-;;4425:59;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2416:79;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4491:59;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5453:87;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5869:167;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4557:60;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10285:707;;;;;;;;;;;;;:::i;:::-;;6044:143;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5362:83;5399:13;5432:5;;;;;;;;;;;;;;;;;5425:12;;5362:83;:::o;6195:161::-;6270:4;6287:39;6296:12;:10;:12::i;:::-;6310:7;6319:6;6287:8;:39::i;:::-;6344:4;6337:11;;6195:161;;;;:::o;4624:55::-;;;;:::o;5639:95::-;5692:7;4241:1;4299:2;:13;;;;:::i;:::-;4284:12;:28;;;;:::i;:::-;5712:14;;5639:95;:::o;6364:313::-;6462:4;6479:36;6489:6;6497:9;6508:6;6479:9;:36::i;:::-;6526:121;6535:6;6543:12;:10;:12::i;:::-;6557:89;6595:6;6557:89;;;;;;;;;;;;;;;;;:11;:19;6569:6;6557:19;;;;;;;;;;;;;;;:33;6577:12;:10;:12::i;:::-;6557:33;;;;;;;;;;;;;;;;:37;;:89;;;;;:::i;:::-;6526:8;:121::i;:::-;6665:4;6658:11;;6364:313;;;;;:::o;5548:83::-;5589:5;4241:1;5607:16;;5548:83;:::o;5742:119::-;5808:7;5835:9;:18;5845:7;5835:18;;;;;;;;;;;;;;;;5828:25;;5742:119;;;:::o;2630:148::-;2553:12;:10;:12::i;:::-;2543:22;;:6;;;;;;;;;;:22;;;2535:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;2737:1:::1;2700:40;;2721:6;::::0;::::1;;;;;;;;2700:40;;;;;;;;;;;;2768:1;2751:6:::0;::::1;:19;;;;;;;;;;;;;;;;;;2630:148::o:0;10018:159::-;2553:12;:10;:12::i;:::-;2543:22;;:6;;;;;;;;;;:22;;;2535:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;4241:1:::1;4299:2;:13;;;;:::i;:::-;4284:12;:28;;;;:::i;:::-;10071:12;:22;;;;4241:1;4299:2;:13;;;;:::i;:::-;4284:12;:28;;;;:::i;:::-;10104:14;:22;;;;10142:27;4241:1;4299:2;:13;;;;:::i;:::-;4284:12;:28;;;;:::i;:::-;10142:27;;;;;;:::i;:::-;;;;;;;;10018:159::o:0;4425:59::-;;;;:::o;2416:79::-;2454:7;2481:6;;;;;;;;;;;2474:13;;2416:79;:::o;4491:59::-;;;;:::o;5453:87::-;5492:13;5525:7;;;;;;;;;;;;;;;;;5518:14;;5453:87;:::o;5869:167::-;5947:4;5964:42;5974:12;:10;:12::i;:::-;5988:9;5999:6;5964:9;:42::i;:::-;6024:4;6017:11;;5869:167;;;;:::o;4557:60::-;;;;:::o;10285:707::-;2553:12;:10;:12::i;:::-;2543:22;;:6;;;;;;;;;;:22;;;2535:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;10349:11:::1;;;;;;;;;;;10348:12;10340:47;;;;;;;;;;;;:::i;:::-;;;;;;;;;10435:42;10398:15;;:80;;;;;;;;;;;;;;;;;;10489:58;10506:4;10521:15;;;;;;;;;;;4241:1;4299:2;:13;;;;:::i;:::-;4284:12;:28;;;;:::i;:::-;10489:8;:58::i;:::-;10592:15;;;;;;;;;;;:23;;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10574:55;;;10638:4;10645:15;;;;;;;;;;;:20;;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10574:94;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10558:13;;:110;;;;;;;;;;;;;;;;;;10679:15;;;;;;;;;;;:31;;;10718:21;10749:4;10755:24;10773:4;10755:9;:24::i;:::-;10780:1;10782::::0;10784:7:::1;:5;:7::i;:::-;10792:15;10679:129;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;10826:13;;;;;;;;;;;10819:29;;;10857:15;;;;;;;;;;;10875:14;10819:71;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;10915:4;10901:11;;:18;;;;;;;;;;;;;;;;;;10944:4;10930:11;;:18;;;;;;;;;;;;;;;;;;10972:12;10959:10;:25;;;;10285:707::o:0;6044:143::-;6125:7;6152:11;:18;6164:5;6152:18;;;;;;;;;;;;;;;:27;6171:7;6152:27;;;;;;;;;;;;;;;;6145:34;;6044:143;;;;:::o;171:98::-;224:7;251:10;244:17;;171:98;:::o;6685:335::-;6795:1;6778:19;;:5;:19;;;6770:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;6876:1;6857:21;;:7;:21;;;6849:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;6958:6;6928:11;:18;6940:5;6928:18;;;;;;;;;;;;;;;:27;6947:7;6928:27;;;;;;;;;;;;;;;:36;;;;6996:7;6980:32;;6989:5;6980:32;;;7005:6;6980:32;;;;;;:::i;:::-;;;;;;;;6685:335;;;:::o;7028:2180::-;7132:1;7116:18;;:4;:18;;;7108:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;7209:1;7195:16;;:2;:16;;;7187:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;7279:1;7270:6;:10;7262:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;7337:17;7379:7;:5;:7::i;:::-;7371:15;;:4;:15;;;;:32;;;;;7396:7;:5;:7::i;:::-;7390:13;;:2;:13;;;;7371:32;7367:1485;;;7432:76;7504:3;7432:67;7454:15;;7444:9;;:25;7443:55;;7484:14;;7443:55;;;7471:12;;7443:55;7432:6;:10;;:67;;;;:::i;:::-;:71;;:76;;;;:::i;:::-;7420:88;;7537:13;;;;;;;;;;;7529:21;;:4;:21;;;:55;;;;;7568:15;;;;;;;;;;;7554:30;;:2;:30;;;;7529:55;:83;;;;;7590:18;:22;7609:2;7590:22;;;;;;;;;;;;;;;;;;;;;;;;;7588:24;7529:83;7525:436;;;7652:12;;7642:6;:22;;7634:60;;;;;;;;;;;;:::i;:::-;;;;;;;;;7747:14;;7737:6;7721:13;7731:2;7721:9;:13::i;:::-;:22;;;;:::i;:::-;:40;;7713:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;7835:12;7830:1;7817:10;;:14;;;;:::i;:::-;:30;7813:103;;;7881:14;7892:2;7881:10;:14::i;:::-;7880:15;7872:24;;;;;;7813:103;7934:9;;:11;;;;;;;;;:::i;:::-;;;;;;7525:436;7987:13;;;;;;;;;;;7981:19;;:2;:19;;;;:47;;;;;8006:18;:22;8025:2;8006:22;;;;;;;;;;;;;;;;;;;;;;;;;8004:24;7981:47;7977:167;;;8083:14;;8073:6;8057:13;8067:2;8057:9;:13::i;:::-;:22;;;;:::i;:::-;:40;;8049:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;7977:167;8169:13;;;;;;;;;;;8163:19;;:2;:19;;;:43;;;;;8201:4;8186:20;;:4;:20;;;;8163:43;8160:174;;;8239:79;8314:3;8239:70;8261:16;;8251:9;;:26;8250:58;;8293:15;;8250:58;;;8279:13;;8250:58;8239:6;:10;;:70;;;;:::i;:::-;:74;;:79;;;;:::i;:::-;8227:91;;8160:174;8350:28;8381:24;8399:4;8381:9;:24::i;:::-;8350:55;;8425:6;;;;;;;;;;;8424:7;:32;;;;;8443:13;;;;;;;;;;;8435:21;;:2;:21;;;8424:32;:47;;;;;8460:11;;;;;;;;;;;8424:47;:89;;;;;8496:17;;8475:20;:38;8424:89;:121;;;;;8527:18;;8517:9;;:28;8424:121;8420:421;;;8566:67;8583:49;8587:6;8594:37;8598:20;8619:11;;8594:3;:37::i;:::-;8583:3;:49::i;:::-;8566:16;:67::i;:::-;8652:26;8681:21;8652:50;;8745:1;8724:18;:22;8721:105;;;8771:35;8784:21;8771:12;:35::i;:::-;8721:105;8547:294;8420:421;7405:1447;7367:1485;8877:1;8867:9;:11;8864:161;;;8917:39;8946:9;8917;:24;8935:4;8917:24;;;;;;;;;;;;;;;;:28;;:39;;;;:::i;:::-;8892:9;:24;8910:4;8892:24;;;;;;;;;;;;;;;:64;;;;8997:4;8974:39;;8983:4;8974:39;;;9003:9;8974:39;;;;;;:::i;:::-;;;;;;;;8864:161;9051:27;9071:6;9051:9;:15;9061:4;9051:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;9035:9;:15;9045:4;9035:15;;;;;;;;;;;;;;;:43;;;;9103:40;9121:21;9132:9;9121:6;:10;;:21;;;;:::i;:::-;9103:9;:13;9113:2;9103:13;;;;;;;;;;;;;;;;:17;;:40;;;;:::i;:::-;9089:9;:13;9099:2;9089:13;;;;;;;;;;;;;;;:54;;;;9174:2;9159:41;;9168:4;9159:41;;;9178:21;9189:9;9178:6;:10;;:21;;;;:::i;:::-;9159:41;;;;;;:::i;:::-;;;;;;;;7097:2111;7028:2180;;;:::o;1308:190::-;1394:7;1427:1;1422;:6;;1430:12;1414:29;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;1454:9;1470:1;1466;:5;;;;:::i;:::-;1454:17;;1489:1;1482:8;;;1308:190;;;;;:::o;1506:246::-;1564:7;1593:1;1588;:6;1584:47;;1618:1;1611:8;;;;1584:47;1641:9;1657:1;1653;:5;;;;:::i;:::-;1641:17;;1686:1;1681;1677;:5;;;;:::i;:::-;:10;1669:56;;;;;;;;;;;;:::i;:::-;;;;;;;;;1743:1;1736:8;;;1506:246;;;;;:::o;1760:132::-;1818:7;1845:39;1849:1;1852;1845:39;;;;;;;;;;;;;;;;;:3;:39::i;:::-;1838:46;;1760:132;;;;:::o;9324:195::-;9383:4;9400:12;9467:7;9455:20;9447:28;;9510:1;9503:4;:8;9496:15;;;9324:195;;;:::o;9218:98::-;9275:7;9302:1;9300;:3;9299:9;;9307:1;9299:9;;;9305:1;9299:9;9292:16;;9218:98;;;;:::o;9527:483::-;4970:4;4961:6;;:13;;;;;;;;;;;;;;;;;;9605:21:::1;9643:1;9629:16;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9605:40;;9674:4;9656;9661:1;9656:7;;;;;;;;:::i;:::-;;;;;;;:23;;;;;;;;;::::0;::::1;9700:15;;;;;;;;;;;:20;;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9690:4;9695:1;9690:7;;;;;;;;:::i;:::-;;;;;;;:32;;;;;;;;;::::0;::::1;9733:62;9750:4;9765:15;;;;;;;;;;;9783:11;9733:8;:62::i;:::-;9806:15;;;;;;;;;;;:66;;;9887:11;9913:1;9929:4;9956;9976:15;9806:196;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;9594:416;5006:5:::0;4997:6;;:14;;;;;;;;;;;;;;;;;;9527:483;:::o;10185:92::-;10242:10;;;;;;;;;;;:19;;:27;10262:6;10242:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10185:92;:::o;977:179::-;1035:7;1055:9;1071:1;1067;:5;;;;:::i;:::-;1055:17;;1096:1;1091;:6;;1083:46;;;;;;;;;;;;:::i;:::-;;;;;;;;;1147:1;1140:8;;;977:179;;;;:::o;1164:136::-;1222:7;1249:43;1253:1;1256;1249:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;1242:50;;1164:136;;;;:::o;1900:189::-;1986:7;2018:1;2014;:5;2021:12;2006:28;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;2045:9;2061:1;2057;:5;;;;:::i;:::-;2045:17;;2080:1;2073:8;;;1900:189;;;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1430:117::-;1539:1;1536;1529:12;1676:126;1713:7;1753:42;1746:5;1742:54;1731:65;;1676:126;;;:::o;1808:96::-;1845:7;1874:24;1892:5;1874:24;:::i;:::-;1863:35;;1808:96;;;:::o;1910:122::-;1983:24;2001:5;1983:24;:::i;:::-;1976:5;1973:35;1963:63;;2022:1;2019;2012:12;1963:63;1910:122;:::o;2038:139::-;2084:5;2122:6;2109:20;2100:29;;2138:33;2165:5;2138:33;:::i;:::-;2038:139;;;;:::o;2183:77::-;2220:7;2249:5;2238:16;;2183:77;;;:::o;2266:122::-;2339:24;2357:5;2339:24;:::i;:::-;2332:5;2329:35;2319:63;;2378:1;2375;2368:12;2319:63;2266:122;:::o;2394:139::-;2440:5;2478:6;2465:20;2456:29;;2494:33;2521:5;2494:33;:::i;:::-;2394:139;;;;:::o;2539:474::-;2607:6;2615;2664:2;2652:9;2643:7;2639:23;2635:32;2632:119;;;2670:79;;:::i;:::-;2632:119;2790:1;2815:53;2860:7;2851:6;2840:9;2836:22;2815:53;:::i;:::-;2805:63;;2761:117;2917:2;2943:53;2988:7;2979:6;2968:9;2964:22;2943:53;:::i;:::-;2933:63;;2888:118;2539:474;;;;;:::o;3019:90::-;3053:7;3096:5;3089:13;3082:21;3071:32;;3019:90;;;:::o;3115:109::-;3196:21;3211:5;3196:21;:::i;:::-;3191:3;3184:34;3115:109;;:::o;3230:210::-;3317:4;3355:2;3344:9;3340:18;3332:26;;3368:65;3430:1;3419:9;3415:17;3406:6;3368:65;:::i;:::-;3230:210;;;;:::o;3446:118::-;3533:24;3551:5;3533:24;:::i;:::-;3528:3;3521:37;3446:118;;:::o;3570:222::-;3663:4;3701:2;3690:9;3686:18;3678:26;;3714:71;3782:1;3771:9;3767:17;3758:6;3714:71;:::i;:::-;3570:222;;;;:::o;3798:619::-;3875:6;3883;3891;3940:2;3928:9;3919:7;3915:23;3911:32;3908:119;;;3946:79;;:::i;:::-;3908:119;4066:1;4091:53;4136:7;4127:6;4116:9;4112:22;4091:53;:::i;:::-;4081:63;;4037:117;4193:2;4219:53;4264:7;4255:6;4244:9;4240:22;4219:53;:::i;:::-;4209:63;;4164:118;4321:2;4347:53;4392:7;4383:6;4372:9;4368:22;4347:53;:::i;:::-;4337:63;;4292:118;3798:619;;;;;:::o;4423:86::-;4458:7;4498:4;4491:5;4487:16;4476:27;;4423:86;;;:::o;4515:112::-;4598:22;4614:5;4598:22;:::i;:::-;4593:3;4586:35;4515:112;;:::o;4633:214::-;4722:4;4760:2;4749:9;4745:18;4737:26;;4773:67;4837:1;4826:9;4822:17;4813:6;4773:67;:::i;:::-;4633:214;;;;:::o;4853:329::-;4912:6;4961:2;4949:9;4940:7;4936:23;4932:32;4929:119;;;4967:79;;:::i;:::-;4929:119;5087:1;5112:53;5157:7;5148:6;5137:9;5133:22;5112:53;:::i;:::-;5102:63;;5058:117;4853:329;;;;:::o;5188:118::-;5275:24;5293:5;5275:24;:::i;:::-;5270:3;5263:37;5188:118;;:::o;5312:222::-;5405:4;5443:2;5432:9;5428:18;5420:26;;5456:71;5524:1;5513:9;5509:17;5500:6;5456:71;:::i;:::-;5312:222;;;;:::o;5540:474::-;5608:6;5616;5665:2;5653:9;5644:7;5640:23;5636:32;5633:119;;;5671:79;;:::i;:::-;5633:119;5791:1;5816:53;5861:7;5852:6;5841:9;5837:22;5816:53;:::i;:::-;5806:63;;5762:117;5918:2;5944:53;5989:7;5980:6;5969:9;5965:22;5944:53;:::i;:::-;5934:63;;5889:118;5540:474;;;;;:::o;6020:180::-;6068:77;6065:1;6058:88;6165:4;6162:1;6155:15;6189:4;6186:1;6179:15;6206:102;6248:8;6295:5;6292:1;6288:13;6267:34;;6206:102;;;:::o;6314:848::-;6375:5;6382:4;6406:6;6397:15;;6430:5;6421:14;;6444:712;6465:1;6455:8;6452:15;6444:712;;;6560:4;6555:3;6551:14;6545:4;6542:24;6539:50;;;6569:18;;:::i;:::-;6539:50;6619:1;6609:8;6605:16;6602:451;;;7034:4;7027:5;7023:16;7014:25;;6602:451;7084:4;7078;7074:15;7066:23;;7114:32;7137:8;7114:32;:::i;:::-;7102:44;;6444:712;;;6314:848;;;;;;;:::o;7168:1073::-;7222:5;7413:8;7403:40;;7434:1;7425:10;;7436:5;;7403:40;7462:4;7452:36;;7479:1;7470:10;;7481:5;;7452:36;7548:4;7596:1;7591:27;;;;7632:1;7627:191;;;;7541:277;;7591:27;7609:1;7600:10;;7611:5;;;7627:191;7672:3;7662:8;7659:17;7656:43;;;7679:18;;:::i;:::-;7656:43;7728:8;7725:1;7721:16;7712:25;;7763:3;7756:5;7753:14;7750:40;;;7770:18;;:::i;:::-;7750:40;7803:5;;;7541:277;;7927:2;7917:8;7914:16;7908:3;7902:4;7899:13;7895:36;7877:2;7867:8;7864:16;7859:2;7853:4;7850:12;7846:35;7830:111;7827:246;;;7983:8;7977:4;7973:19;7964:28;;8018:3;8011:5;8008:14;8005:40;;;8025:18;;:::i;:::-;8005:40;8058:5;;7827:246;8098:42;8136:3;8126:8;8120:4;8117:1;8098:42;:::i;:::-;8083:57;;;;8172:4;8167:3;8163:14;8156:5;8153:25;8150:51;;;8181:18;;:::i;:::-;8150:51;8230:4;8223:5;8219:16;8210:25;;7168:1073;;;;;;:::o;8247:281::-;8305:5;8329:23;8347:4;8329:23;:::i;:::-;8321:31;;8373:25;8389:8;8373:25;:::i;:::-;8361:37;;8417:104;8454:66;8444:8;8438:4;8417:104;:::i;:::-;8408:113;;8247:281;;;;:::o;8534:410::-;8574:7;8597:20;8615:1;8597:20;:::i;:::-;8592:25;;8631:20;8649:1;8631:20;:::i;:::-;8626:25;;8686:1;8683;8679:9;8708:30;8726:11;8708:30;:::i;:::-;8697:41;;8887:1;8878:7;8874:15;8871:1;8868:22;8848:1;8841:9;8821:83;8798:139;;8917:18;;:::i;:::-;8798:139;8582:362;8534:410;;;;:::o;8950:182::-;9090:34;9086:1;9078:6;9074:14;9067:58;8950:182;:::o;9138:366::-;9280:3;9301:67;9365:2;9360:3;9301:67;:::i;:::-;9294:74;;9377:93;9466:3;9377:93;:::i;:::-;9495:2;9490:3;9486:12;9479:19;;9138:366;;;:::o;9510:419::-;9676:4;9714:2;9703:9;9699:18;9691:26;;9763:9;9757:4;9753:20;9749:1;9738:9;9734:17;9727:47;9791:131;9917:4;9791:131;:::i;:::-;9783:139;;9510:419;;;:::o;9935:173::-;10075:25;10071:1;10063:6;10059:14;10052:49;9935:173;:::o;10114:366::-;10256:3;10277:67;10341:2;10336:3;10277:67;:::i;:::-;10270:74;;10353:93;10442:3;10353:93;:::i;:::-;10471:2;10466:3;10462:12;10455:19;;10114:366;;;:::o;10486:419::-;10652:4;10690:2;10679:9;10675:18;10667:26;;10739:9;10733:4;10729:20;10725:1;10714:9;10710:17;10703:47;10767:131;10893:4;10767:131;:::i;:::-;10759:139;;10486:419;;;:::o;10911:143::-;10968:5;10999:6;10993:13;10984:22;;11015:33;11042:5;11015:33;:::i;:::-;10911:143;;;;:::o;11060:351::-;11130:6;11179:2;11167:9;11158:7;11154:23;11150:32;11147:119;;;11185:79;;:::i;:::-;11147:119;11305:1;11330:64;11386:7;11377:6;11366:9;11362:22;11330:64;:::i;:::-;11320:74;;11276:128;11060:351;;;;:::o;11417:332::-;11538:4;11576:2;11565:9;11561:18;11553:26;;11589:71;11657:1;11646:9;11642:17;11633:6;11589:71;:::i;:::-;11670:72;11738:2;11727:9;11723:18;11714:6;11670:72;:::i;:::-;11417:332;;;;;:::o;11755:85::-;11800:7;11829:5;11818:16;;11755:85;;;:::o;11846:60::-;11874:3;11895:5;11888:12;;11846:60;;;:::o;11912:158::-;11970:9;12003:61;12021:42;12030:32;12056:5;12030:32;:::i;:::-;12021:42;:::i;:::-;12003:61;:::i;:::-;11990:74;;11912:158;;;:::o;12076:147::-;12171:45;12210:5;12171:45;:::i;:::-;12166:3;12159:58;12076:147;;:::o;12229:807::-;12478:4;12516:3;12505:9;12501:19;12493:27;;12530:71;12598:1;12587:9;12583:17;12574:6;12530:71;:::i;:::-;12611:72;12679:2;12668:9;12664:18;12655:6;12611:72;:::i;:::-;12693:80;12769:2;12758:9;12754:18;12745:6;12693:80;:::i;:::-;12783;12859:2;12848:9;12844:18;12835:6;12783:80;:::i;:::-;12873:73;12941:3;12930:9;12926:19;12917:6;12873:73;:::i;:::-;12956;13024:3;13013:9;13009:19;13000:6;12956:73;:::i;:::-;12229:807;;;;;;;;;:::o;13042:143::-;13099:5;13130:6;13124:13;13115:22;;13146:33;13173:5;13146:33;:::i;:::-;13042:143;;;;:::o;13191:663::-;13279:6;13287;13295;13344:2;13332:9;13323:7;13319:23;13315:32;13312:119;;;13350:79;;:::i;:::-;13312:119;13470:1;13495:64;13551:7;13542:6;13531:9;13527:22;13495:64;:::i;:::-;13485:74;;13441:128;13608:2;13634:64;13690:7;13681:6;13670:9;13666:22;13634:64;:::i;:::-;13624:74;;13579:129;13747:2;13773:64;13829:7;13820:6;13809:9;13805:22;13773:64;:::i;:::-;13763:74;;13718:129;13191:663;;;;;:::o;13860:332::-;13981:4;14019:2;14008:9;14004:18;13996:26;;14032:71;14100:1;14089:9;14085:17;14076:6;14032:71;:::i;:::-;14113:72;14181:2;14170:9;14166:18;14157:6;14113:72;:::i;:::-;13860:332;;;;;:::o;14198:116::-;14268:21;14283:5;14268:21;:::i;:::-;14261:5;14258:32;14248:60;;14304:1;14301;14294:12;14248:60;14198:116;:::o;14320:137::-;14374:5;14405:6;14399:13;14390:22;;14421:30;14445:5;14421:30;:::i;:::-;14320:137;;;;:::o;14463:345::-;14530:6;14579:2;14567:9;14558:7;14554:23;14550:32;14547:119;;;14585:79;;:::i;:::-;14547:119;14705:1;14730:61;14783:7;14774:6;14763:9;14759:22;14730:61;:::i;:::-;14720:71;;14676:125;14463:345;;;;:::o;14814:223::-;14954:34;14950:1;14942:6;14938:14;14931:58;15023:6;15018:2;15010:6;15006:15;14999:31;14814:223;:::o;15043:366::-;15185:3;15206:67;15270:2;15265:3;15206:67;:::i;:::-;15199:74;;15282:93;15371:3;15282:93;:::i;:::-;15400:2;15395:3;15391:12;15384:19;;15043:366;;;:::o;15415:419::-;15581:4;15619:2;15608:9;15604:18;15596:26;;15668:9;15662:4;15658:20;15654:1;15643:9;15639:17;15632:47;15696:131;15822:4;15696:131;:::i;:::-;15688:139;;15415:419;;;:::o;15840:221::-;15980:34;15976:1;15968:6;15964:14;15957:58;16049:4;16044:2;16036:6;16032:15;16025:29;15840:221;:::o;16067:366::-;16209:3;16230:67;16294:2;16289:3;16230:67;:::i;:::-;16223:74;;16306:93;16395:3;16306:93;:::i;:::-;16424:2;16419:3;16415:12;16408:19;;16067:366;;;:::o;16439:419::-;16605:4;16643:2;16632:9;16628:18;16620:26;;16692:9;16686:4;16682:20;16678:1;16667:9;16663:17;16656:47;16720:131;16846:4;16720:131;:::i;:::-;16712:139;;16439:419;;;:::o;16864:224::-;17004:34;17000:1;16992:6;16988:14;16981:58;17073:7;17068:2;17060:6;17056:15;17049:32;16864:224;:::o;17094:366::-;17236:3;17257:67;17321:2;17316:3;17257:67;:::i;:::-;17250:74;;17333:93;17422:3;17333:93;:::i;:::-;17451:2;17446:3;17442:12;17435:19;;17094:366;;;:::o;17466:419::-;17632:4;17670:2;17659:9;17655:18;17647:26;;17719:9;17713:4;17709:20;17705:1;17694:9;17690:17;17683:47;17747:131;17873:4;17747:131;:::i;:::-;17739:139;;17466:419;;;:::o;17891:222::-;18031:34;18027:1;18019:6;18015:14;18008:58;18100:5;18095:2;18087:6;18083:15;18076:30;17891:222;:::o;18119:366::-;18261:3;18282:67;18346:2;18341:3;18282:67;:::i;:::-;18275:74;;18358:93;18447:3;18358:93;:::i;:::-;18476:2;18471:3;18467:12;18460:19;;18119:366;;;:::o;18491:419::-;18657:4;18695:2;18684:9;18680:18;18672:26;;18744:9;18738:4;18734:20;18730:1;18719:9;18715:17;18708:47;18772:131;18898:4;18772:131;:::i;:::-;18764:139;;18491:419;;;:::o;18916:228::-;19056:34;19052:1;19044:6;19040:14;19033:58;19125:11;19120:2;19112:6;19108:15;19101:36;18916:228;:::o;19150:366::-;19292:3;19313:67;19377:2;19372:3;19313:67;:::i;:::-;19306:74;;19389:93;19478:3;19389:93;:::i;:::-;19507:2;19502:3;19498:12;19491:19;;19150:366;;;:::o;19522:419::-;19688:4;19726:2;19715:9;19711:18;19703:26;;19775:9;19769:4;19765:20;19761:1;19750:9;19746:17;19739:47;19803:131;19929:4;19803:131;:::i;:::-;19795:139;;19522:419;;;:::o;19947:175::-;20087:27;20083:1;20075:6;20071:14;20064:51;19947:175;:::o;20128:366::-;20270:3;20291:67;20355:2;20350:3;20291:67;:::i;:::-;20284:74;;20367:93;20456:3;20367:93;:::i;:::-;20485:2;20480:3;20476:12;20469:19;;20128:366;;;:::o;20500:419::-;20666:4;20704:2;20693:9;20689:18;20681:26;;20753:9;20747:4;20743:20;20739:1;20728:9;20724:17;20717:47;20781:131;20907:4;20781:131;:::i;:::-;20773:139;;20500:419;;;:::o;20925:191::-;20965:3;20984:20;21002:1;20984:20;:::i;:::-;20979:25;;21018:20;21036:1;21018:20;:::i;:::-;21013:25;;21061:1;21058;21054:9;21047:16;;21082:3;21079:1;21076:10;21073:36;;;21089:18;;:::i;:::-;21073:36;20925:191;;;;:::o;21122:176::-;21262:28;21258:1;21250:6;21246:14;21239:52;21122:176;:::o;21304:366::-;21446:3;21467:67;21531:2;21526:3;21467:67;:::i;:::-;21460:74;;21543:93;21632:3;21543:93;:::i;:::-;21661:2;21656:3;21652:12;21645:19;;21304:366;;;:::o;21676:419::-;21842:4;21880:2;21869:9;21865:18;21857:26;;21929:9;21923:4;21919:20;21915:1;21904:9;21900:17;21893:47;21957:131;22083:4;21957:131;:::i;:::-;21949:139;;21676:419;;;:::o;22101:233::-;22140:3;22163:24;22181:5;22163:24;:::i;:::-;22154:33;;22209:66;22202:5;22199:77;22196:103;;22279:18;;:::i;:::-;22196:103;22326:1;22319:5;22315:13;22308:20;;22101:233;;;:::o;22340:194::-;22380:4;22400:20;22418:1;22400:20;:::i;:::-;22395:25;;22434:20;22452:1;22434:20;:::i;:::-;22429:25;;22478:1;22475;22471:9;22463:17;;22502:1;22496:4;22493:11;22490:37;;;22507:18;;:::i;:::-;22490:37;22340:194;;;;:::o;22540:180::-;22588:77;22585:1;22578:88;22685:4;22682:1;22675:15;22709:4;22706:1;22699:15;22726:185;22766:1;22783:20;22801:1;22783:20;:::i;:::-;22778:25;;22817:20;22835:1;22817:20;:::i;:::-;22812:25;;22856:1;22846:35;;22861:18;;:::i;:::-;22846:35;22903:1;22900;22896:9;22891:14;;22726:185;;;;:::o;22917:220::-;23057:34;23053:1;23045:6;23041:14;23034:58;23126:3;23121:2;23113:6;23109:15;23102:28;22917:220;:::o;23143:366::-;23285:3;23306:67;23370:2;23365:3;23306:67;:::i;:::-;23299:74;;23382:93;23471:3;23382:93;:::i;:::-;23500:2;23495:3;23491:12;23484:19;;23143:366;;;:::o;23515:419::-;23681:4;23719:2;23708:9;23704:18;23696:26;;23768:9;23762:4;23758:20;23754:1;23743:9;23739:17;23732:47;23796:131;23922:4;23796:131;:::i;:::-;23788:139;;23515:419;;;:::o;23940:180::-;23988:77;23985:1;23978:88;24085:4;24082:1;24075:15;24109:4;24106:1;24099:15;24126:180;24174:77;24171:1;24164:88;24271:4;24268:1;24261:15;24295:4;24292:1;24285:15;24312:114;24379:6;24413:5;24407:12;24397:22;;24312:114;;;:::o;24432:184::-;24531:11;24565:6;24560:3;24553:19;24605:4;24600:3;24596:14;24581:29;;24432:184;;;;:::o;24622:132::-;24689:4;24712:3;24704:11;;24742:4;24737:3;24733:14;24725:22;;24622:132;;;:::o;24760:108::-;24837:24;24855:5;24837:24;:::i;:::-;24832:3;24825:37;24760:108;;:::o;24874:179::-;24943:10;24964:46;25006:3;24998:6;24964:46;:::i;:::-;25042:4;25037:3;25033:14;25019:28;;24874:179;;;;:::o;25059:113::-;25129:4;25161;25156:3;25152:14;25144:22;;25059:113;;;:::o;25208:732::-;25327:3;25356:54;25404:5;25356:54;:::i;:::-;25426:86;25505:6;25500:3;25426:86;:::i;:::-;25419:93;;25536:56;25586:5;25536:56;:::i;:::-;25615:7;25646:1;25631:284;25656:6;25653:1;25650:13;25631:284;;;25732:6;25726:13;25759:63;25818:3;25803:13;25759:63;:::i;:::-;25752:70;;25845:60;25898:6;25845:60;:::i;:::-;25835:70;;25691:224;25678:1;25675;25671:9;25666:14;;25631:284;;;25635:14;25931:3;25924:10;;25332:608;;;25208:732;;;;:::o;25946:831::-;26209:4;26247:3;26236:9;26232:19;26224:27;;26261:71;26329:1;26318:9;26314:17;26305:6;26261:71;:::i;:::-;26342:80;26418:2;26407:9;26403:18;26394:6;26342:80;:::i;:::-;26469:9;26463:4;26459:20;26454:2;26443:9;26439:18;26432:48;26497:108;26600:4;26591:6;26497:108;:::i;:::-;26489:116;;26615:72;26683:2;26672:9;26668:18;26659:6;26615:72;:::i;:::-;26697:73;26765:3;26754:9;26750:19;26741:6;26697:73;:::i;:::-;25946:831;;;;;;;;:::o;26783:177::-;26923:29;26919:1;26911:6;26907:14;26900:53;26783:177;:::o;26966:366::-;27108:3;27129:67;27193:2;27188:3;27129:67;:::i;:::-;27122:74;;27205:93;27294:3;27205:93;:::i;:::-;27323:2;27318:3;27314:12;27307:19;;26966:366;;;:::o;27338:419::-;27504:4;27542:2;27531:9;27527:18;27519:26;;27591:9;27585:4;27581:20;27577:1;27566:9;27562:17;27555:47;27619:131;27745:4;27619:131;:::i;:::-;27611:139;;27338:419;;;:::o

ipfs://f9c6879d5946a813e1a16f1fc8287835d78415209cae9d0153446f7e511ab6e7