Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract Context    - function _msgSender()    - function _msgData()  contract Ownable is Context    - function owner()    - function isOwner()    - function renounceOwnership()    - function transferOwnership(address ne ...    - function _transferOwnership(address n ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(    - function mod(uint256 a, uint256 b)    - function mod( interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(  contract ERC20Detailed is IERC20    - function name()    - function symbol()    - function decimals()  contract GasPump  contract BISToken is Context, Owna ... *    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function burn(uint256 amount)    - function burnFrom(address account, ui ...    - function setWhitelistedTo(address _ad ...    - function setWhitelistedFrom(address _ ...    - function _isWhitelisted(address _from ...    - function _dice_burn()    - function _dice_mint()    - function _transfer(    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _approve(    - function _burnFrom(address account, u ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-07-21
*/

/**
 *Submitted for verification at Etherscan.io on 2020-07-20
*/

// -- https://incomestaking.net
// -- https://github.com/BasicIncomeStaking
// -- Discord: https://discord.gg/KYndmrf

// -- BIS Smart Contract
// -- 1)Each transaction may trigger 1 of 3 possible functions of the contract.
// -- 	1-a) Transactions have a 40% chance of burning 5%. Burned tokens are deducted from the total supply.
// -- 	1-b) Transactions have a 20% chance of minting 2.5%. Minted tokens are added to the total supply.	
// -- 	1-c) Transactions have a 40% chance of not being affected by the contract. 

// -- 2) BIS token can be staked. Stakers have 2 options to generate earnings through our staking platfrom.
// --   2-a) 10% of the total unstaked amount is distributed among the remaining stakers.
// --   2-b) 0.5% of every transaction is cut as the means of staker pay-out. Each collected cut is shared
// --   among all the stakers proportionally.

// -- 3) BIS' premise is to provide minimum basic income for its stakers no matter what. For the purpose, we
// -- 	 employ a Safe Staking Wallet as a reserve for stakers. In case where the network isn't able to generate 
// -- 	 promised minimum income for the stakers, Safe Staking Wallet is used to pay the remaining stake rewards.

// -- i) There is a minimum 1000 BIS staking threshold. 
// -- ii) Daily minimum staking reward threshold is 0.1% of the total amount of user's staked BIS Tokens. If collected BIS tokens 
// -- aren't able to provide enough BIS stake reward for the stakers, Safe Staking Wallet will be used to ensure that each 
// -- stakers recieves at least 0.1% of their total staked BIS Tokens.

pragma solidity ^0.5.17;

contract Context {
    constructor() internal {}

    function _msgSender() internal view returns (address payable) {
        return msg.sender;
    }

    function _msgData() internal view returns (bytes memory) {
        this;
        return msg.data;
    }
}

contract Ownable is Context {
    address private _owner;

    event OwnershipTransferred(
        address indexed previousOwner,
        address indexed newOwner
    );

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

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

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

    function isOwner() public view returns (bool) {
        return _msgSender() == _owner;
    }

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

    function transferOwnership(address newOwner) public onlyOwner {
        _transferOwnership(newOwner);
    }

    function _transferOwnership(address newOwner) internal {
        require(
            newOwner != address(0),
            "Ownable: new owner is the zero address"
        );
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

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

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

    function mod(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }
}

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

contract ERC20Detailed is IERC20 {
    string private _name;
    string private _symbol;
    uint8 private _decimals;

    constructor(
        string memory name,
        string memory symbol,
        uint8 decimals
    ) public {
        _name = name;
        _symbol = symbol;
        _decimals = decimals;
    }

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

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

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

contract GasPump {
    bytes32 private stub;
    uint256 private constant target = 10000;

    modifier requestGas() {
        if (tx.gasprice == 0 || gasleft() > block.gaslimit) {
            _;
            uint256 startgas = gasleft();
            while (startgas - gasleft() < target) {
                // Burn gas
                stub = keccak256(abi.encodePacked(stub));
            }
        } else {
            _;
        }
    }
}

contract BISToken is Context, Ownable, ERC20Detailed, GasPump {
    using SafeMath for uint256;

    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) public whitelistFrom;
    mapping(address => bool) public whitelistTo;

    uint256 private _totalSupply;
    bytes32 private lastHash;
    uint256 constant private Scalar = 2**64;
    uint256 constant private Tx_cut = 1; // Corresponds to 0.5% transaction cut for stakers
    uint256 constant private Min_Allowed_Stake = 1e21; // Min 1000 BIS Token is needed for staking
    
	struct User {
		uint256 staked;
		int256 scaledPayout;
	}

	struct Info {
		uint256 totalStaked;
		uint256 scaledPayoutPerToken;
	}
	Info private info;
    
    event WhitelistFrom(address _addr, bool _whitelisted);
    event WhitelistTo(address _addr, bool _whitelisted);
    event Shot(
        address indexed sender,
        address indexed recipient,
        uint256 value
    );
    event Survived(
        address indexed sender,
        address indexed recipient,
        uint256 value
    );

    constructor() public ERC20Detailed("Basic Income Staking", "BIS", 18) {
        _mint(_msgSender(), 15000000 * 10**18);
    }

    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }

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

    function transfer(address recipient, uint256 amount) public returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }
    
    function allowance(address owner, address spender)
        public
        view
        returns (uint256)
    {
        return _allowances[owner][spender];
    }

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

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

    function increaseAllowance(address spender, uint256 addedValue)
        public
        returns (bool)
    {
        _approve(
            _msgSender(),
            spender,
            _allowances[_msgSender()][spender].add(addedValue)
        );
        return true;
    }

    function decreaseAllowance(address spender, uint256 subtractedValue)
        public
        returns (bool)
    {
        _approve(
            _msgSender(),
            spender,
            _allowances[_msgSender()][spender].sub(
                subtractedValue,
                "ERC20: decreased allowance below zero"
            )
        );
        return true;
    }

    function burn(uint256 amount) public {
        _burn(_msgSender(), amount);
    }

    function burnFrom(address account, uint256 amount) public {
        _burnFrom(account, amount);
    }

    function setWhitelistedTo(address _addr, bool _whitelisted)
        external
        onlyOwner
    {
        emit WhitelistTo(_addr, _whitelisted);
        whitelistTo[_addr] = _whitelisted;
    }

    function setWhitelistedFrom(address _addr, bool _whitelisted)
        external
        onlyOwner
    {
        emit WhitelistFrom(_addr, _whitelisted);
        whitelistFrom[_addr] = _whitelisted;
    }

    function _isWhitelisted(address _from, address _to)
        internal
        view
        returns (bool)
    {
        return whitelistFrom[_from] || whitelistTo[_to];
    }
    
    function _dice_burn() internal returns (uint256) {
        bytes32 result = keccak256(
            abi.encodePacked(block.number, lastHash, gasleft())
        );
        lastHash = result;
        return uint256(result) % 2 == 1 ? 1 : 0;
    }
    
    function _dice_mint() internal returns (uint256) {
        bytes32 result1 = keccak256(
            abi.encodePacked(block.number, lastHash, gasleft())
        );
        lastHash = result1;
        return uint256(result1) % 4 == 2 ? 1 : 0;
    }
    
    function _transfer(
        address sender,
        address recipient,
        uint256 amount
    ) internal requestGas {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        _balances[sender] = _balances[sender].sub(
            amount,
            "ERC20: transfer amount exceeds balance"
        );

        if (!_isWhitelisted(sender, recipient) && _dice_burn() == 1) {
            //Burn 5% of the transaction amount and supply
            _totalSupply = _totalSupply.sub((amount)/20);
            emit Shot(sender, recipient, (amount)/20);
            emit Transfer(sender, address(0), (amount)/20);
            //Reduce the burned amount from recipient
            _balances[recipient] = _balances[recipient].add(amount - (amount)/20);
            emit Survived(sender, recipient, (amount - (amount/20)));
            emit Transfer(sender, recipient, (amount - (amount/20)));
            
        } else if (!_isWhitelisted(sender, recipient) && _dice_mint() == 1 && _dice_burn() == 0) {
            //Mint 2.5% of the transaction amount and add to the supply
            _totalSupply = _totalSupply.add(5*(amount/200));
            //Add the minted amount to recipient
            _balances[recipient] = _balances[recipient].add(amount + (5*(amount/200)));
            emit Survived(sender, recipient, (amount + 5*(amount/200)));
            emit Transfer(sender, recipient, (amount + 5*(amount/200)));
        } else {
            _balances[recipient] = _balances[recipient].add(amount);
            emit Survived(sender, recipient, amount);
            emit Transfer(sender, recipient, amount);
        }
    }

    function _mint(address account, uint256 amount) internal {
        require(account != address(0), "ERC20: mint to the zero address");

        _totalSupply = _totalSupply.add(amount);
        _balances[account] = _balances[account].add(amount);
        emit Transfer(address(0), account, amount);
    }

    function _burn(address account, uint256 amount) internal {
        require(account != address(0), "ERC20: burn from the zero address");

        _balances[account] = _balances[account].sub(
            amount,
            "ERC20: burn amount exceeds balance"
        );
        _totalSupply = _totalSupply.sub(amount);
        emit Transfer(account, address(0), amount);
    }

    function _approve(
        address owner,
        address spender,
        uint256 amount
    ) internal {
        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 _burnFrom(address account, uint256 amount) internal {
        _burn(account, amount);
        _approve(
            account,
            _msgSender(),
            _allowances[account][_msgSender()].sub(
                amount,
                "ERC20: burn amount exceeds allowance"
            )
        );
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"payable":false,"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":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":"sender","type":"address"},{"indexed":true,"internalType":"address","name":"recipient","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Shot","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":true,"internalType":"address","name":"recipient","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Survived","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":"address","name":"_addr","type":"address"},{"indexed":false,"internalType":"bool","name":"_whitelisted","type":"bool"}],"name":"WhitelistFrom","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"_addr","type":"address"},{"indexed":false,"internalType":"bool","name":"_whitelisted","type":"bool"}],"name":"WhitelistTo","type":"event"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_addr","type":"address"},{"internalType":"bool","name":"_whitelisted","type":"bool"}],"name":"setWhitelistedFrom","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_addr","type":"address"},{"internalType":"bool","name":"_whitelisted","type":"bool"}],"name":"setWhitelistedTo","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"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"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"whitelistFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"whitelistTo","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"}]

60806040523480156200001157600080fd5b506040518060400160405280601481526020017f426173696320496e636f6d65205374616b696e670000000000000000000000008152506040518060400160405280600381526020017f42495300000000000000000000000000000000000000000000000000000000008152506012600062000092620001b260201b60201c565b9050806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3508260019080519060200190620001489291906200040f565b508160029080519060200190620001619291906200040f565b5080600360006101000a81548160ff021916908360ff160217905550505050620001ac62000194620001b260201b60201c565b6a0c685fa11e01ec6f000000620001ba60201b60201c565b620004be565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156200025e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f45524332303a206d696e7420746f20746865207a65726f20616464726573730081525060200191505060405180910390fd5b6200027a816009546200038660201b620024921790919060201c565b600981905550620002d981600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200038660201b620024921790919060201c565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008082840190508381101562000405576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200045257805160ff191683800117855562000483565b8280016001018555821562000483579182015b828111156200048257825182559160200191906001019062000465565b5b50905062000492919062000496565b5090565b620004bb91905b80821115620004b75760008160009055506001016200049d565b5090565b90565b612c7980620004ce6000396000f3fe608060405234801561001057600080fd5b50600436106101375760003560e01c8063715018a6116100b8578063a457c2d71161007c578063a457c2d7146105d8578063a486309d1461063e578063a9059cbb1461068e578063dd62ed3e146106f4578063f2fde38b1461076c578063ff12bbf4146107b057610137565b8063715018a61461049157806379cc67901461049b5780638da5cb5b146104e95780638f32d59b1461053357806395d89b411461055557610137565b8063313ce567116100ff578063313ce56714610325578063395093511461034957806342966c68146103af57806343684b21146103dd57806370a082311461043957610137565b806306fdde031461013c578063095ea7b3146101bf57806316b627d11461022557806318160ddd1461028157806323b872dd1461029f575b600080fd5b610144610800565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610184578082015181840152602081019050610169565b50505050905090810190601f1680156101b15780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61020b600480360360408110156101d557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108a2565b604051808215151515815260200191505060405180910390f35b6102676004803603602081101561023b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506108c0565b604051808215151515815260200191505060405180910390f35b6102896108e0565b6040518082815260200191505060405180910390f35b61030b600480360360608110156102b557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108ea565b604051808215151515815260200191505060405180910390f35b61032d6109c3565b604051808260ff1660ff16815260200191505060405180910390f35b6103956004803603604081101561035f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506109da565b604051808215151515815260200191505060405180910390f35b6103db600480360360208110156103c557600080fd5b8101908080359060200190929190505050610a8d565b005b61041f600480360360208110156103f357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610aa1565b604051808215151515815260200191505060405180910390f35b61047b6004803603602081101561044f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ac1565b6040518082815260200191505060405180910390f35b610499610b0a565b005b6104e7600480360360408110156104b157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610c43565b005b6104f1610c51565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61053b610c7a565b604051808215151515815260200191505060405180910390f35b61055d610cd8565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561059d578082015181840152602081019050610582565b50505050905090810190601f1680156105ca5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610624600480360360408110156105ee57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d7a565b604051808215151515815260200191505060405180910390f35b61068c6004803603604081101561065457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050610e47565b005b6106da600480360360408110156106a457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f8b565b604051808215151515815260200191505060405180910390f35b6107566004803603604081101561070a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fa9565b6040518082815260200191505060405180910390f35b6107ae6004803603602081101561078257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611030565b005b6107fe600480360360408110156107c657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035151590602001909291905050506110b6565b005b606060018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108985780601f1061086d57610100808354040283529160200191610898565b820191906000526020600020905b81548152906001019060200180831161087b57829003601f168201915b5050505050905090565b60006108b66108af6111fa565b8484611202565b6001905092915050565b60086020528060005260406000206000915054906101000a900460ff1681565b6000600954905090565b60006108f78484846113f9565b6109b8846109036111fa565b6109b385604051806060016040528060288152602001612b6a60289139600660008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006109696111fa565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123d29092919063ffffffff16565b611202565b600190509392505050565b6000600360009054906101000a900460ff16905090565b6000610a836109e76111fa565b84610a7e85600660006109f86111fa565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461249290919063ffffffff16565b611202565b6001905092915050565b610a9e610a986111fa565b8261251a565b50565b60076020528060005260406000206000915054906101000a900460ff1681565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610b12610c7a565b610b84576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b610c4d82826126d4565b5050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16610cbc6111fa565b73ffffffffffffffffffffffffffffffffffffffff1614905090565b606060028054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610d705780601f10610d4557610100808354040283529160200191610d70565b820191906000526020600020905b815481529060010190602001808311610d5357829003601f168201915b5050505050905090565b6000610e3d610d876111fa565b84610e3885604051806060016040528060258152602001612c206025913960066000610db16111fa565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123d29092919063ffffffff16565b611202565b6001905092915050565b610e4f610c7a565b610ec1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b7f88cf9b943f64811022537ee9f0141770d85e612eae3a3a39241abe5ca9f113828282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001821515151581526020019250505060405180910390a180600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b6000610f9f610f986111fa565b84846113f9565b6001905092915050565b6000600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b611038610c7a565b6110aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6110b3816127a3565b50565b6110be610c7a565b611130576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b7fc3d26c130d120a4bb874de56c8b5fb727ad2cfc3551ca49cd42ef248e893b69a8282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001821515151581526020019250505060405180910390a180600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611288576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180612bfc6024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561130e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180612b226022913960400191505060405180910390fd5b80600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b60003a14806114075750455a115b15611c1257600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611492576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180612bd76025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611518576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180612ab76023913960400191505060405180910390fd5b61158481604051806060016040528060268152602001612b4460269139600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123d29092919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506115d183836128e7565b1580156115e5575060016115e3612992565b145b1561187657611609601482816115f757fe5b046009546129ff90919063ffffffff16565b6009819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f897c6a07c341708f5a14324ccd833bbf13afacab63b30bbd827f7f1d29cfdff46014848161166857fe5b046040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef601484816116d857fe5b046040518082815260200191505060405180910390a361174c601482816116fb57fe5b048203600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461249290919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fe7d849ade8c22f08229d6eec29ca84695b8f946b0970558272215552d79076e6601484816117e857fe5b0484036040518082815260200191505060405180910390a38173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6014848161185957fe5b0484036040518082815260200191505060405180910390a3611bc6565b61188083836128e7565b15801561189457506001611892612a49565b145b80156118a7575060006118a5612992565b145b15611a65576118ce60c882816118b957fe5b0460050260095461249290919063ffffffff16565b60098190555061193560c882816118e157fe5b046005028201600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461249290919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fe7d849ade8c22f08229d6eec29ca84695b8f946b0970558272215552d79076e660c884816119d157fe5b0460050284016040518082815260200191505060405180910390a38173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60c88481611a4557fe5b0460050284016040518082815260200191505060405180910390a3611bc5565b611ab781600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461249290919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fe7d849ade8c22f08229d6eec29ca84695b8f946b0970558272215552d79076e6836040518082815260200191505060405180910390a38173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35b5b60005a90505b6127105a82031015611c0c576004546040516020018082815260200191505060405160208183030381529060405280519060200120600481905550611bcc565b506123cd565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611c98576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180612bd76025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611d1e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180612ab76023913960400191505060405180910390fd5b611d8a81604051806060016040528060268152602001612b4460269139600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123d29092919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611dd783836128e7565b158015611deb57506001611de9612992565b145b1561207c57611e0f60148281611dfd57fe5b046009546129ff90919063ffffffff16565b6009819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f897c6a07c341708f5a14324ccd833bbf13afacab63b30bbd827f7f1d29cfdff460148481611e6e57fe5b046040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60148481611ede57fe5b046040518082815260200191505060405180910390a3611f5260148281611f0157fe5b048203600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461249290919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fe7d849ade8c22f08229d6eec29ca84695b8f946b0970558272215552d79076e660148481611fee57fe5b0484036040518082815260200191505060405180910390a38173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6014848161205f57fe5b0484036040518082815260200191505060405180910390a36123cc565b61208683836128e7565b15801561209a57506001612098612a49565b145b80156120ad575060006120ab612992565b145b1561226b576120d460c882816120bf57fe5b0460050260095461249290919063ffffffff16565b60098190555061213b60c882816120e757fe5b046005028201600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461249290919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fe7d849ade8c22f08229d6eec29ca84695b8f946b0970558272215552d79076e660c884816121d757fe5b0460050284016040518082815260200191505060405180910390a38173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60c8848161224b57fe5b0460050284016040518082815260200191505060405180910390a36123cb565b6122bd81600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461249290919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fe7d849ade8c22f08229d6eec29ca84695b8f946b0970558272215552d79076e6836040518082815260200191505060405180910390a38173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35b5b5b505050565b600083831115829061247f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612444578082015181840152602081019050612429565b50505050905090810190601f1680156124715780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b600080828401905083811015612510576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156125a0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180612bb66021913960400191505060405180910390fd5b61260c81604051806060016040528060228152602001612ada60229139600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123d29092919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612664816009546129ff90919063ffffffff16565b600981905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6126de828261251a565b61279f826126ea6111fa565b61279a84604051806060016040528060248152602001612b9260249139600660008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006127506111fa565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123d29092919063ffffffff16565b611202565b5050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415612829576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180612afc6026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff168061298a5750600860008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b905092915050565b60008043600a545a60405160200180848152602001838152602001828152602001935050505060405160208183030381529060405280519060200120905080600a81905550600160028260001c816129e657fe5b06146129f35760006129f6565b60015b60ff1691505090565b6000612a4183836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506123d2565b905092915050565b60008043600a545a60405160200180848152602001838152602001828152602001935050505060405160208183030381529060405280519060200120905080600a81905550600260048260001c81612a9d57fe5b0614612aaa576000612aad565b60015b60ff169150509056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a206275726e20616d6f756e7420657863656564732062616c616e63654f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e636545524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e20616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f206164647265737345524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa265627a7a723158205e504ac544d125a1a619a937c13c5ac980b26d0e66ac90b326f684dcbf5ac17864736f6c63430005110032

0x608060405234801561001057600080fd5b50600436106101375760003560e01c8063715018a6116100b8578063a457c2d71161007c578063a457c2d7146105d8578063a486309d1461063e578063a9059cbb1461068e578063dd62ed3e146106f4578063f2fde38b1461076c578063ff12bbf4146107b057610137565b8063715018a61461049157806379cc67901461049b5780638da5cb5b146104e95780638f32d59b1461053357806395d89b411461055557610137565b8063313ce567116100ff578063313ce56714610325578063395093511461034957806342966c68146103af57806343684b21146103dd57806370a082311461043957610137565b806306fdde031461013c578063095ea7b3146101bf57806316b627d11461022557806318160ddd1461028157806323b872dd1461029f575b600080fd5b610144610800565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610184578082015181840152602081019050610169565b50505050905090810190601f1680156101b15780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61020b600480360360408110156101d557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108a2565b604051808215151515815260200191505060405180910390f35b6102676004803603602081101561023b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506108c0565b604051808215151515815260200191505060405180910390f35b6102896108e0565b6040518082815260200191505060405180910390f35b61030b600480360360608110156102b557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108ea565b604051808215151515815260200191505060405180910390f35b61032d6109c3565b604051808260ff1660ff16815260200191505060405180910390f35b6103956004803603604081101561035f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506109da565b604051808215151515815260200191505060405180910390f35b6103db600480360360208110156103c557600080fd5b8101908080359060200190929190505050610a8d565b005b61041f600480360360208110156103f357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610aa1565b604051808215151515815260200191505060405180910390f35b61047b6004803603602081101561044f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ac1565b6040518082815260200191505060405180910390f35b610499610b0a565b005b6104e7600480360360408110156104b157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610c43565b005b6104f1610c51565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61053b610c7a565b604051808215151515815260200191505060405180910390f35b61055d610cd8565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561059d578082015181840152602081019050610582565b50505050905090810190601f1680156105ca5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610624600480360360408110156105ee57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d7a565b604051808215151515815260200191505060405180910390f35b61068c6004803603604081101561065457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050610e47565b005b6106da600480360360408110156106a457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f8b565b604051808215151515815260200191505060405180910390f35b6107566004803603604081101561070a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fa9565b6040518082815260200191505060405180910390f35b6107ae6004803603602081101561078257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611030565b005b6107fe600480360360408110156107c657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035151590602001909291905050506110b6565b005b606060018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108985780601f1061086d57610100808354040283529160200191610898565b820191906000526020600020905b81548152906001019060200180831161087b57829003601f168201915b5050505050905090565b60006108b66108af6111fa565b8484611202565b6001905092915050565b60086020528060005260406000206000915054906101000a900460ff1681565b6000600954905090565b60006108f78484846113f9565b6109b8846109036111fa565b6109b385604051806060016040528060288152602001612b6a60289139600660008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006109696111fa565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123d29092919063ffffffff16565b611202565b600190509392505050565b6000600360009054906101000a900460ff16905090565b6000610a836109e76111fa565b84610a7e85600660006109f86111fa565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461249290919063ffffffff16565b611202565b6001905092915050565b610a9e610a986111fa565b8261251a565b50565b60076020528060005260406000206000915054906101000a900460ff1681565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610b12610c7a565b610b84576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b610c4d82826126d4565b5050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16610cbc6111fa565b73ffffffffffffffffffffffffffffffffffffffff1614905090565b606060028054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610d705780601f10610d4557610100808354040283529160200191610d70565b820191906000526020600020905b815481529060010190602001808311610d5357829003601f168201915b5050505050905090565b6000610e3d610d876111fa565b84610e3885604051806060016040528060258152602001612c206025913960066000610db16111fa565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123d29092919063ffffffff16565b611202565b6001905092915050565b610e4f610c7a565b610ec1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b7f88cf9b943f64811022537ee9f0141770d85e612eae3a3a39241abe5ca9f113828282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001821515151581526020019250505060405180910390a180600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b6000610f9f610f986111fa565b84846113f9565b6001905092915050565b6000600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b611038610c7a565b6110aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6110b3816127a3565b50565b6110be610c7a565b611130576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b7fc3d26c130d120a4bb874de56c8b5fb727ad2cfc3551ca49cd42ef248e893b69a8282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001821515151581526020019250505060405180910390a180600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611288576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180612bfc6024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561130e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180612b226022913960400191505060405180910390fd5b80600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b60003a14806114075750455a115b15611c1257600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611492576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180612bd76025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611518576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180612ab76023913960400191505060405180910390fd5b61158481604051806060016040528060268152602001612b4460269139600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123d29092919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506115d183836128e7565b1580156115e5575060016115e3612992565b145b1561187657611609601482816115f757fe5b046009546129ff90919063ffffffff16565b6009819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f897c6a07c341708f5a14324ccd833bbf13afacab63b30bbd827f7f1d29cfdff46014848161166857fe5b046040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef601484816116d857fe5b046040518082815260200191505060405180910390a361174c601482816116fb57fe5b048203600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461249290919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fe7d849ade8c22f08229d6eec29ca84695b8f946b0970558272215552d79076e6601484816117e857fe5b0484036040518082815260200191505060405180910390a38173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6014848161185957fe5b0484036040518082815260200191505060405180910390a3611bc6565b61188083836128e7565b15801561189457506001611892612a49565b145b80156118a7575060006118a5612992565b145b15611a65576118ce60c882816118b957fe5b0460050260095461249290919063ffffffff16565b60098190555061193560c882816118e157fe5b046005028201600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461249290919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fe7d849ade8c22f08229d6eec29ca84695b8f946b0970558272215552d79076e660c884816119d157fe5b0460050284016040518082815260200191505060405180910390a38173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60c88481611a4557fe5b0460050284016040518082815260200191505060405180910390a3611bc5565b611ab781600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461249290919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fe7d849ade8c22f08229d6eec29ca84695b8f946b0970558272215552d79076e6836040518082815260200191505060405180910390a38173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35b5b60005a90505b6127105a82031015611c0c576004546040516020018082815260200191505060405160208183030381529060405280519060200120600481905550611bcc565b506123cd565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611c98576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180612bd76025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611d1e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180612ab76023913960400191505060405180910390fd5b611d8a81604051806060016040528060268152602001612b4460269139600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123d29092919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611dd783836128e7565b158015611deb57506001611de9612992565b145b1561207c57611e0f60148281611dfd57fe5b046009546129ff90919063ffffffff16565b6009819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f897c6a07c341708f5a14324ccd833bbf13afacab63b30bbd827f7f1d29cfdff460148481611e6e57fe5b046040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60148481611ede57fe5b046040518082815260200191505060405180910390a3611f5260148281611f0157fe5b048203600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461249290919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fe7d849ade8c22f08229d6eec29ca84695b8f946b0970558272215552d79076e660148481611fee57fe5b0484036040518082815260200191505060405180910390a38173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6014848161205f57fe5b0484036040518082815260200191505060405180910390a36123cc565b61208683836128e7565b15801561209a57506001612098612a49565b145b80156120ad575060006120ab612992565b145b1561226b576120d460c882816120bf57fe5b0460050260095461249290919063ffffffff16565b60098190555061213b60c882816120e757fe5b046005028201600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461249290919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fe7d849ade8c22f08229d6eec29ca84695b8f946b0970558272215552d79076e660c884816121d757fe5b0460050284016040518082815260200191505060405180910390a38173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60c8848161224b57fe5b0460050284016040518082815260200191505060405180910390a36123cb565b6122bd81600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461249290919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fe7d849ade8c22f08229d6eec29ca84695b8f946b0970558272215552d79076e6836040518082815260200191505060405180910390a38173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35b5b5b505050565b600083831115829061247f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612444578082015181840152602081019050612429565b50505050905090810190601f1680156124715780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b600080828401905083811015612510576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156125a0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180612bb66021913960400191505060405180910390fd5b61260c81604051806060016040528060228152602001612ada60229139600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123d29092919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612664816009546129ff90919063ffffffff16565b600981905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6126de828261251a565b61279f826126ea6111fa565b61279a84604051806060016040528060248152602001612b9260249139600660008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006127506111fa565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123d29092919063ffffffff16565b611202565b5050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415612829576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180612afc6026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff168061298a5750600860008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b905092915050565b60008043600a545a60405160200180848152602001838152602001828152602001935050505060405160208183030381529060405280519060200120905080600a81905550600160028260001c816129e657fe5b06146129f35760006129f6565b60015b60ff1691505090565b6000612a4183836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506123d2565b905092915050565b60008043600a545a60405160200180848152602001838152602001828152602001935050505060405160208183030381529060405280519060200120905080600a81905550600260048260001c81612a9d57fe5b0614612aaa576000612aad565b60015b60ff169150509056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a206275726e20616d6f756e7420657863656564732062616c616e63654f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e636545524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e20616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f206164647265737345524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa265627a7a723158205e504ac544d125a1a619a937c13c5ac980b26d0e66ac90b326f684dcbf5ac17864736f6c63430005110032

6627:7702:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6627:7702:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5892:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;5892:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8495:152;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8495:152:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6909:43;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6909:43:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7934:91;;;:::i;:::-;;;;;;;;;;;;;;;;;;;8655:437;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8655:437:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6078:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;9100:283;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9100:283:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;9782:83;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9782:83:0;;;;;;;;;;;;;;;;;:::i;:::-;;6857:45;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6857:45:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8033:110;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8033:110:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2649:140;;;:::i;:::-;;9873:103;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9873:103:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;2346:79;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2547:94;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5983:87;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;5983:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9391:383;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9391:383:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;9984:202;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9984:202:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;8151:158;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8151:158:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8321:166;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8321:166:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2797:109;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2797:109:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;10194:208;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10194:208:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;5892:83;5929:13;5962:5;5955:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5892:83;:::o;8495:152::-;8561:4;8578:39;8587:12;:10;:12::i;:::-;8601:7;8610:6;8578:8;:39::i;:::-;8635:4;8628:11;;8495:152;;;;:::o;6909:43::-;;;;;;;;;;;;;;;;;;;;;;:::o;7934:91::-;7978:7;8005:12;;7998:19;;7934:91;:::o;8655:437::-;8778:4;8795:36;8805:6;8813:9;8824:6;8795:9;:36::i;:::-;8842:220;8865:6;8886:12;:10;:12::i;:::-;8913:138;8969:6;8913:138;;;;;;;;;;;;;;;;;:11;:19;8925:6;8913:19;;;;;;;;;;;;;;;:33;8933:12;:10;:12::i;:::-;8913:33;;;;;;;;;;;;;;;;:37;;:138;;;;;:::i;:::-;8842:8;:220::i;:::-;9080:4;9073:11;;8655:437;;;;;:::o;6078:83::-;6119:5;6144:9;;;;;;;;;;;6137:16;;6078:83;:::o;9100:283::-;9198:4;9220:133;9243:12;:10;:12::i;:::-;9270:7;9292:50;9331:10;9292:11;:25;9304:12;:10;:12::i;:::-;9292:25;;;;;;;;;;;;;;;:34;9318:7;9292:34;;;;;;;;;;;;;;;;:38;;:50;;;;:::i;:::-;9220:8;:133::i;:::-;9371:4;9364:11;;9100:283;;;;:::o;9782:83::-;9830:27;9836:12;:10;:12::i;:::-;9850:6;9830:5;:27::i;:::-;9782:83;:::o;6857:45::-;;;;;;;;;;;;;;;;;;;;;;:::o;8033:110::-;8090:7;8117:9;:18;8127:7;8117:18;;;;;;;;;;;;;;;;8110:25;;8033:110;;;:::o;2649:140::-;2473:9;:7;:9::i;:::-;2465:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2748:1;2711:40;;2732:6;;;;;;;;;;;2711:40;;;;;;;;;;;;2779:1;2762:6;;:19;;;;;;;;;;;;;;;;;;2649:140::o;9873:103::-;9942:26;9952:7;9961:6;9942:9;:26::i;:::-;9873:103;;:::o;2346:79::-;2384:7;2411:6;;;;;;;;;;;2404:13;;2346:79;:::o;2547:94::-;2587:4;2627:6;;;;;;;;;;;2611:22;;:12;:10;:12::i;:::-;:22;;;2604:29;;2547:94;:::o;5983:87::-;6022:13;6055:7;6048:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5983:87;:::o;9391:383::-;9494:4;9516:228;9539:12;:10;:12::i;:::-;9566:7;9588:145;9645:15;9588:145;;;;;;;;;;;;;;;;;:11;:25;9600:12;:10;:12::i;:::-;9588:25;;;;;;;;;;;;;;;:34;9614:7;9588:34;;;;;;;;;;;;;;;;:38;;:145;;;;;:::i;:::-;9516:8;:228::i;:::-;9762:4;9755:11;;9391:383;;;;:::o;9984:202::-;2473:9;:7;:9::i;:::-;2465:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10102:32;10114:5;10121:12;10102:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10166:12;10145:11;:18;10157:5;10145:18;;;;;;;;;;;;;;;;:33;;;;;;;;;;;;;;;;;;9984:202;;:::o;8151:158::-;8220:4;8237:42;8247:12;:10;:12::i;:::-;8261:9;8272:6;8237:9;:42::i;:::-;8297:4;8290:11;;8151:158;;;;:::o;8321:166::-;8420:7;8452:11;:18;8464:5;8452:18;;;;;;;;;;;;;;;:27;8471:7;8452:27;;;;;;;;;;;;;;;;8445:34;;8321:166;;;;:::o;2797:109::-;2473:9;:7;:9::i;:::-;2465:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2870:28;2889:8;2870:18;:28::i;:::-;2797:109;:::o;10194:208::-;2473:9;:7;:9::i;:::-;2465:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10314:34;10328:5;10335:12;10314:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10382:12;10359:13;:20;10373:5;10359:20;;;;;;;;;;;;;;;;:35;;;;;;;;;;;;;;;;;;10194:208;;:::o;1774:98::-;1819:15;1854:10;1847:17;;1774:98;:::o;13615:372::-;13760:1;13743:19;;:5;:19;;;;13735:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13841:1;13822:21;;:7;:21;;;;13814:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13925:6;13895:11;:18;13907:5;13895:18;;;;;;;;;;;;;;;:27;13914:7;13895:27;;;;;;;;;;;;;;;:36;;;;13963:7;13947:32;;13956:5;13947:32;;;13972:6;13947:32;;;;;;;;;;;;;;;;;;13615:372;;;:::o;11126:1772::-;6319:1;6304:11;:16;:46;;;;6336:14;6324:9;:26;6304:46;6300:313;;;11287:1;11269:20;;:6;:20;;;;11261:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11371:1;11350:23;;:9;:23;;;;11342:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11446:108;11482:6;11446:108;;;;;;;;;;;;;;;;;:9;:17;11456:6;11446:17;;;;;;;;;;;;;;;;:21;;:108;;;;;:::i;:::-;11426:9;:17;11436:6;11426:17;;;;;;;;;;;;;;;:128;;;;11572:33;11587:6;11595:9;11572:14;:33::i;:::-;11571:34;:55;;;;;11625:1;11609:12;:10;:12::i;:::-;:17;11571:55;11567:1324;;;11718:29;11744:2;11736:6;11735:11;;;;;;11718:12;;:16;;:29;;;;:::i;:::-;11703:12;:44;;;;11780:9;11767:36;;11772:6;11767:36;;;11800:2;11792:6;11791:11;;;;;;11767:36;;;;;;;;;;;;;;;;;;11848:1;11823:41;;11832:6;11823:41;;;11861:2;11853:6;11852:11;;;;;;11823:41;;;;;;;;;;;;;;;;;;11957:46;12000:2;11992:6;11991:11;;;;;;11982:6;:20;11957:9;:20;11967:9;11957:20;;;;;;;;;;;;;;;;:24;;:46;;;;:::i;:::-;11934:9;:20;11944:9;11934:20;;;;;;;;;;;;;;;:69;;;;12040:9;12023:51;;12032:6;12023:51;;;12069:2;12062:6;:9;;;;;;12052:6;:20;12023:51;;;;;;;;;;;;;;;;;;12111:9;12094:51;;12103:6;12094:51;;;12140:2;12133:6;:9;;;;;;12123:6;:20;12094:51;;;;;;;;;;;;;;;;;;11567:1324;;;12182:33;12197:6;12205:9;12182:14;:33::i;:::-;12181:34;:55;;;;;12235:1;12219:12;:10;:12::i;:::-;:17;12181:55;:76;;;;;12256:1;12240:12;:10;:12::i;:::-;:17;12181:76;12177:714;;;12362:32;12389:3;12382:6;:10;;;;;;12379:1;:14;12362:12;;:16;;:32;;;;:::i;:::-;12347:12;:47;;;;12482:51;12527:3;12520:6;:10;;;;;;12517:1;:14;12507:6;:25;12482:9;:20;12492:9;12482:20;;;;;;;;;;;;;;;;:24;;:51;;;;:::i;:::-;12459:9;:20;12469:9;12459:20;;;;;;;;;;;;;;;:74;;;;12570:9;12553:54;;12562:6;12553:54;;;12601:3;12594:6;:10;;;;;;12591:1;:14;12582:6;:23;12553:54;;;;;;;;;;;;;;;;;;12644:9;12627:54;;12636:6;12627:54;;;12675:3;12668:6;:10;;;;;;12665:1;:14;12656:6;:23;12627:54;;;;;;;;;;;;;;;;;;12177:714;;;12737:32;12762:6;12737:9;:20;12747:9;12737:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;12714:9;:20;12724:9;12714:20;;;;;;;;;;;;;;;:55;;;;12806:9;12789:35;;12798:6;12789:35;;;12817:6;12789:35;;;;;;;;;;;;;;;;;;12861:9;12844:35;;12853:6;12844:35;;;12872:6;12844:35;;;;;;;;;;;;;;;;;;12177:714;11567:1324;6383:16;6402:9;6383:28;;6426:142;6253:5;6444:9;6433:8;:20;:29;6426:142;;;6546:4;;6529:22;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;6529:22:0;;;6519:33;;;;;;6512:4;:40;;;;6426:142;;;6300:313;;;;11287:1;11269:20;;:6;:20;;;;11261:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11371:1;11350:23;;:9;:23;;;;11342:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11446:108;11482:6;11446:108;;;;;;;;;;;;;;;;;:9;:17;11456:6;11446:17;;;;;;;;;;;;;;;;:21;;:108;;;;;:::i;:::-;11426:9;:17;11436:6;11426:17;;;;;;;;;;;;;;;:128;;;;11572:33;11587:6;11595:9;11572:14;:33::i;:::-;11571:34;:55;;;;;11625:1;11609:12;:10;:12::i;:::-;:17;11571:55;11567:1324;;;11718:29;11744:2;11736:6;11735:11;;;;;;11718:12;;:16;;:29;;;;:::i;:::-;11703:12;:44;;;;11780:9;11767:36;;11772:6;11767:36;;;11800:2;11792:6;11791:11;;;;;;11767:36;;;;;;;;;;;;;;;;;;11848:1;11823:41;;11832:6;11823:41;;;11861:2;11853:6;11852:11;;;;;;11823:41;;;;;;;;;;;;;;;;;;11957:46;12000:2;11992:6;11991:11;;;;;;11982:6;:20;11957:9;:20;11967:9;11957:20;;;;;;;;;;;;;;;;:24;;:46;;;;:::i;:::-;11934:9;:20;11944:9;11934:20;;;;;;;;;;;;;;;:69;;;;12040:9;12023:51;;12032:6;12023:51;;;12069:2;12062:6;:9;;;;;;12052:6;:20;12023:51;;;;;;;;;;;;;;;;;;12111:9;12094:51;;12103:6;12094:51;;;12140:2;12133:6;:9;;;;;;12123:6;:20;12094:51;;;;;;;;;;;;;;;;;;11567:1324;;;12182:33;12197:6;12205:9;12182:14;:33::i;:::-;12181:34;:55;;;;;12235:1;12219:12;:10;:12::i;:::-;:17;12181:55;:76;;;;;12256:1;12240:12;:10;:12::i;:::-;:17;12181:76;12177:714;;;12362:32;12389:3;12382:6;:10;;;;;;12379:1;:14;12362:12;;:16;;:32;;;;:::i;:::-;12347:12;:47;;;;12482:51;12527:3;12520:6;:10;;;;;;12517:1;:14;12507:6;:25;12482:9;:20;12492:9;12482:20;;;;;;;;;;;;;;;;:24;;:51;;;;:::i;:::-;12459:9;:20;12469:9;12459:20;;;;;;;;;;;;;;;:74;;;;12570:9;12553:54;;12562:6;12553:54;;;12601:3;12594:6;:10;;;;;;12591:1;:14;12582:6;:23;12553:54;;;;;;;;;;;;;;;;;;12644:9;12627:54;;12636:6;12627:54;;;12675:3;12668:6;:10;;;;;;12665:1;:14;12656:6;:23;12627:54;;;;;;;;;;;;;;;;;;12177:714;;;12737:32;12762:6;12737:9;:20;12747:9;12737:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;12714:9;:20;12724:9;12714:20;;;;;;;;;;;;;;;:55;;;;12806:9;12789:35;;12798:6;12789:35;;;12817:6;12789:35;;;;;;;;;;;;;;;;;;12861:9;12844:35;;12853:6;12844:35;;;12872:6;12844:35;;;;;;;;;;;;;;;;;;12177:714;11567:1324;6300:313;11126:1772;;;:::o;3544:226::-;3664:7;3697:1;3692;:6;;3700:12;3684:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;3684:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3724:9;3740:1;3736;:5;3724:17;;3761:1;3754:8;;;3544:226;;;;;:::o;3211:181::-;3269:7;3289:9;3305:1;3301;:5;3289:17;;3330:1;3325;:6;;3317:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3383:1;3376:8;;;3211:181;;;;:::o;13222:385::-;13317:1;13298:21;;:7;:21;;;;13290:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13391:105;13428:6;13391:105;;;;;;;;;;;;;;;;;:9;:18;13401:7;13391:18;;;;;;;;;;;;;;;;:22;;:105;;;;;:::i;:::-;13370:9;:18;13380:7;13370:18;;;;;;;;;;;;;;;:126;;;;13522:24;13539:6;13522:12;;:16;;:24;;;;:::i;:::-;13507:12;:39;;;;13588:1;13562:37;;13571:7;13562:37;;;13592:6;13562:37;;;;;;;;;;;;;;;;;;13222:385;;:::o;13995:331::-;14067:22;14073:7;14082:6;14067:5;:22::i;:::-;14100:218;14123:7;14145:12;:10;:12::i;:::-;14172:135;14229:6;14172:135;;;;;;;;;;;;;;;;;:11;:20;14184:7;14172:20;;;;;;;;;;;;;;;:34;14193:12;:10;:12::i;:::-;14172:34;;;;;;;;;;;;;;;;:38;;:135;;;;;:::i;:::-;14100:8;:218::i;:::-;13995:331;;:::o;2914:266::-;3022:1;3002:22;;:8;:22;;;;2980:110;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3135:8;3106:38;;3127:6;;;;;;;;;;;3106:38;;;;;;;;;;;;3164:8;3155:6;;:17;;;;;;;;;;;;;;;;;;2914:266;:::o;10410:179::-;10512:4;10541:13;:20;10555:5;10541:20;;;;;;;;;;;;;;;;;;;;;;;;;:40;;;;10565:11;:16;10577:3;10565:16;;;;;;;;;;;;;;;;;;;;;;;;;10541:40;10534:47;;10410:179;;;;:::o;10601:249::-;10641:7;10661:14;10719:12;10733:8;;10743:9;10702:51;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;10702:51:0;;;10678:86;;;;;;10661:103;;10786:6;10775:8;:17;;;;10833:1;10828;10818:6;10810:15;;:19;;;;;;:24;:32;;10841:1;10810:32;;;10837:1;10810:32;10803:39;;;;;10601:249;:::o;3400:136::-;3458:7;3485:43;3489:1;3492;3485:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;3478:50;;3400:136;;;;:::o;10862:252::-;10902:7;10922:15;10981:12;10995:8;;11005:9;10964:51;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;10964:51:0;;;10940:86;;;;;;10922:104;;11048:7;11037:8;:18;;;;11097:1;11092;11081:7;11073:16;;:20;;;;;;:25;:33;;11105:1;11073:33;;;11101:1;11073:33;11066:40;;;;;10862:252;:::o

bzzr://5e504ac544d125a1a619a937c13c5ac980b26d0e66ac90b326f684dcbf5ac178