Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

pragma solidity ^0.5.0;

import './ERC20.sol';
import './ERC20Detailed.sol';
import './ERC20Pausable.sol';


contract IOTF is ERC20, ERC20Detailed, ERC20Pausable {
    
    constructor(string memory name, string memory symbol, uint8 decimals,uint256 _totalSupply) ERC20Pausable()  ERC20Detailed(name, symbol, decimals) ERC20() public {
        require(_totalSupply > 0);
        _mint(msg.sender, _totalSupply * 10 ** uint256(decimals));
    }
    
    /**
     * @dev Burns a specific amount of tokens.
     * @param value The amount of token to be burned.
     */
    function burn(uint256 value) public whenNotPaused {
        require(!isLock(msg.sender));
        _burn(msg.sender, value);
    }
    
    /**
     * @dev Freeze a specific amount of tokens.
     * @param value The amount of token to be Freeze.
     */
    function freeze(uint256 value) public whenNotPaused {
        require(!isLock(msg.sender));
        _freeze(value);
    }
    
        /**
     * @dev unFreeze a specific amount of tokens.
     * @param value The amount of token to be unFreeze.
     */
    function unfreeze(uint256 value) public whenNotPaused {
        require(!isLock(msg.sender));
        _unfreeze(value);
    }
    
}

pragma solidity ^0.5.0;

import './ERC20Interface.sol';
import './SafeMath.sol';

/**
 * @title Standard ERC20 token
 * @dev Implementation of the basic standard token.
 */
contract ERC20 is IERC20 {
    
    using SafeMath for uint256;

    mapping (address => uint256) private _balances;

    mapping (address => mapping (address => uint256)) private _allowed;
    
    mapping (address => uint256) private _freezeOf;
    
    uint256 private _totalSupply;

    /**
     * @dev Total number of tokens in existence.
     */
    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }

    /**
     * @dev Gets the balance of the specified address.
     * @param tokenOwner The address to query the balance of.
     * @return A uint256 representing the amount owned by the passed address.
     */
    function balanceOf(address tokenOwner) public view returns (uint256 balance) {
        return _balances[tokenOwner];
    }
    
    /**
     * @dev Gets the balance of the specified freeze address.
     * @param tokenOwner The address to query the balance of.
     * @return A uint256 representing the amount owned by the freeze address.
     */
    function freezeOf(address tokenOwner) public view returns (uint256) {
        return _freezeOf[tokenOwner];
    }

    /**
     * @dev Function to check the amount of tokens that an owner allowed to a spender.
     * @param tokenOwner address The address which owns the funds.
     * @param spender address The address which will spend the funds.
     * @return A uint256 specifying the amount of tokens still available for the spender.
     */
    function allowance(address tokenOwner, address spender) public view returns (uint256) {
        return _allowed[tokenOwner][spender];
    }
    
    /**
     * @dev Approve the passed address to spend the specified amount of tokens on behalf of msg.sender.
     * Beware that changing an allowance with this method brings the risk that someone may use both the old
     * and the new allowance by unfortunate transaction ordering. One possible solution to mitigate this
     * race condition is to first reduce the spender's allowance to 0 and set the desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     * @param spender The address which will spend the funds.
     * @param value The amount of tokens to be spent.
     */
    function approve(address spender, uint256 value) public returns (bool success) {
        _approve(msg.sender, spender, value);
        return true;
    }

    /**
     * @dev Approve an address to spend another addresses' tokens.
     * @param tokenOwner The address that owns the tokens.
     * @param spender The address that will spend the tokens.
     * @param value The number of tokens that can be spent.
     */
    function _approve(address tokenOwner, address spender, uint256 value) internal {
        
		require(tokenOwner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowed[tokenOwner][spender] = value;
		
        emit Approval(tokenOwner, spender, value);
        
    }
    
    /**
     * @dev Transfer token to a specified address.
     * @param to The address to transfer to.
     * @param value The amount to be transferred.
     */
    function transfer(address to, uint256 value) public returns (bool) {
        _transfer(msg.sender, to, value);
        return true;
    }

    /**
     * @dev Transfer tokens from one address to another.
     * Note that while this function emits an Approval event, this is not required as per the specification,
     * and other compliant implementations may not emit the event.
     * @param from address The address which you want to send tokens from
     * @param to address The address which you want to transfer to
     * @param value uint256 the amount of tokens to be transferred
     */
    function transferFrom(address from, address to, uint256 value) public returns (bool success) {
        _transfer(from, to, value);
        _approve(from, msg.sender, _allowed[from][msg.sender].sub(value));
        return true;
    }

    /**
     * @dev Transfer token for a specified addresses.
     * @param from The address to transfer from.
     * @param to The address to transfer to.
     * @param value The amount to be transferred.
     */
    function _transfer(address from, address to, uint256 value) internal {
        
		require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
		
        _balances[from] = _balances[from].sub(value);
        _balances[to] = _balances[to].add(value);
        
        emit Transfer(from, to, value);
    }
    
    /**
     * @dev Increase the amount of tokens that an owner allowed to a spender.
     * approve should be called when _allowed[msg.sender][spender] == 0. 
     * To increment allowed value is better to use this function to avoid 2 calls (and wait until the first transaction is mined)
     * Emits an Approval event.
     * @param spender The address which will spend the funds.
     * @param addedValue The amount of tokens to increase the allowance by.
     */
    function increaseAllowance(address spender, uint256 addedValue) public returns (bool success) {
        _approve(msg.sender, spender, _allowed[msg.sender][spender].add(addedValue));
        return true;
    }

    /**
     * @dev Decrease the amount of tokens that an owner allowed to a spender.
     * approve should be called when _allowed[msg.sender][spender] == 0. 
     * To decrement allowed value is better to use this function to avoid 2 calls (and wait until the first transaction is mined)
	 * Emits an Approval event.
     * @param spender The address which will spend the funds.
     * @param subtractedValue The amount of tokens to decrease the allowance by.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool success) {
        _approve(msg.sender, spender, _allowed[msg.sender][spender].sub(subtractedValue));
        return true;
    }

    /**
     * @dev Internal function that mints an amount of the token and assigns it to an account. 
	 * This encapsulates the modification of balances such that the
     * Emits a Transfer event.
     * @param account The account that will receive the created tokens.
     * @param value The amount that will be created.
     */
    function _mint(address account, uint256 value) internal {
		
		require(account != address(0), "ERC20: mint to the zero address");
		
        _totalSupply = _totalSupply.add(value);
        _balances[account] = _balances[account].add(value);
		
        emit Transfer(address(0), account, value);
    }

    /**
     * @dev Internal function that burns an amount of the token of a given account.
     * @param account The account whose tokens will be burnt.
     * @param value The amount that will be burnt.
     */
    function _burn(address account, uint256 value) internal {
		
        require(account != address(0), "ERC20: burn from the zero address");
        
        _totalSupply = _totalSupply.sub(value);
        _balances[account] = _balances[account].sub(value);
		
        emit Transfer(account, address(0), value);
    }
    
    function _freeze(uint256 value) internal {
		
        require(_balances[msg.sender] >= value,"ERC20: balance is not enough"); 
        require(value > 0,"ERC20: value must be greater than 0");
		
        _balances[msg.sender] = _balances[msg.sender].sub(value);
        _freezeOf[msg.sender] = _freezeOf[msg.sender].add(value);
		
        emit Freeze(msg.sender, value);
    }
    
    function _unfreeze(uint256 value) internal{
		
		require(_freezeOf[msg.sender] >= value,"ERC20: balance is not enough"); 
		require(value > 0,"ERC20: value must be greater than 0");
		
        _freezeOf[msg.sender] = _freezeOf[msg.sender].sub(value); 
		_balances[msg.sender] = _balances[msg.sender].add(value);
		
        emit Unfreeze(msg.sender, value);

    }
    
}

pragma solidity ^0.5.0;

import './ERC20Interface.sol';

/**
 * @title ERC20Detailed token
 * @dev The decimals are only for visualization purposes.
 * All the operations are done using the smallest and indivisible token unit,
 * just as on Ethereum all the operations are done in wei.
 */
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;
    }

    /**
     * @return the name of the token.
     */
    function name() public view returns (string memory) {
        return _name;
    }

    /**
     * @return the symbol of the token.
     */
    function symbol() public view returns (string memory) {
        return _symbol;
    }

    /**
     * @return the number of decimals of the token.
     */
    function decimals() public view returns (uint8) {
        return _decimals;
    }
}

pragma solidity ^0.5.0;

/**
 * @title ERC20 interface
 * @dev see https://eips.ethereum.org/EIPS/eip-20
 */
interface IERC20 {
    
    function balanceOf(address tokenOwner) external view returns (uint256);

    function allowance(address tokenOwner, address spender) external view returns (uint256);
    function approve(address spender, uint256 tokens) external returns (bool success);

    function transfer(address to, uint256 tokens) external returns (bool success);
    function transferFrom(address from, address to, uint256 value) external returns (bool);

    function totalSupply() external view returns (uint256 total);

    event Transfer(address indexed from, address indexed to, uint256 tokens);
	
    event Approval(address indexed tokenOwner, address indexed spender, uint256 tokens);
	
    event Freeze(address indexed from, uint256 tokens);
	
    event Unfreeze(address indexed from, uint256 tokens);
    
}

pragma solidity ^0.5.0;

import './ERC20.sol';
import './Pausable.sol';
import './Lockable.sol';

/**
 * @title Pausable token
 * @dev ERC20 modified with pausable transfers. 
 */
contract ERC20Pausable is ERC20, Pausable,Lockable {
    
    function transfer(address to, uint256 value) public whenNotPaused returns (bool) {
        require(!isLock(msg.sender));
        require(!isLock(to));
        return super.transfer(to, value);
    }

    function transferFrom(address from, address to, uint256 value) public whenNotPaused returns (bool) {
        require(!isLock(msg.sender));
        require(!isLock(from));
        require(!isLock(to));
        return super.transferFrom(from, to, value);
    }

    function approve(address spender, uint256 value) public whenNotPaused returns (bool) {
        require(!isLock(msg.sender));
        require(!isLock(spender));
        return super.approve(spender, value);
    }

    function increaseAllowance(address spender, uint addedValue) public whenNotPaused returns (bool) {
        require(!isLock(msg.sender));
        require(!isLock(spender));
        return super.increaseAllowance(spender, addedValue);
    }

    function decreaseAllowance(address spender, uint subtractedValue) public whenNotPaused returns (bool) {
        require(!isLock(msg.sender));
        require(!isLock(spender));
        return super.decreaseAllowance(spender, subtractedValue);
    }
}

pragma solidity ^0.5.0;

import './PauserRole.sol';

/**
 * @title Lockable
 * @dev Base contract which allows children to implement an emergency stop mechanism.
 */
contract Lockable is PauserRole{

    mapping (address => bool) private lockers;
    
    event LockAccount(address account, bool islock);
    
    /**
     * @dev Check if the account is locked.
     * @param account specific account address.
     */
    function isLock(address account) public view returns (bool) {
        return lockers[account];
    }
    
    /**
     * @dev Lock or thaw account address
     * @param account specific account address.
     * @param islock true lock, false thaw.
     */
    function lock(address account, bool islock)  public onlyPauser {
        lockers[account] = islock;
        emit LockAccount(account, islock);
    }
}

pragma solidity ^0.5.0;

import './PauserRole.sol';

/**
 * @title Pausable
 * @dev Base contract which allows children to implement an emergency stop mechanism.
 */
contract Pausable is PauserRole {
    
    event Paused(address account);
    event Unpaused(address account);

    bool private _paused;

    constructor () internal {
        _paused = false;
    }

    /**
     * @return True if the contract is paused, false otherwise.
     */
    function paused() public view returns (bool) {
        return _paused;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is not paused.
     */
    modifier whenNotPaused() {
        require(!_paused);
        _;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is paused.
     */
    modifier whenPaused() {
        require(_paused);
        _;
    }

    /**
     * @dev Called by a pauser to pause, triggers stopped state.
     */
    function pause() public onlyPauser whenNotPaused {
        _paused = true;
        emit Paused(msg.sender);
    }

    /**
     * @dev Called by a pauser to unpause, returns to normal state.
     */
    function unpause() public onlyPauser whenPaused {
        _paused = false;
        emit Unpaused(msg.sender);
    }
	
}

pragma solidity ^0.5.0;

import './Roles.sol';

contract PauserRole {
	
    using Roles for Roles.Role;

    event PauserAdded(address indexed account);
    event PauserRemoved(address indexed account);

    Roles.Role private _pausers;

    constructor () internal {
        _addPauser(msg.sender);
    }

    modifier onlyPauser() {
        require(isPauser(msg.sender), "PauserRole: caller does not have the Pauser role");
        _;
    }

    function isPauser(address account) public view returns (bool) {
        return _pausers.has(account);
    }

    function addPauser(address account) public onlyPauser {
        _addPauser(account);
    }

    function renouncePauser() public {
        _removePauser(msg.sender);
    }

    function _addPauser(address account) internal {
        _pausers.add(account);
        emit PauserAdded(account);
    }

    function _removePauser(address account) internal {
        _pausers.remove(account);
        emit PauserRemoved(account);
    }
	
}

pragma solidity ^0.5.0;

/**
 * @title Roles
 * @dev Library for managing addresses assigned to a Role.
 */
library Roles {
	
    struct Role {
        mapping (address => bool) bearer;
    }

    /**
     * @dev Give an account access to this role.
     */
    function add(Role storage role, address account) internal {
        require(!has(role, account));

        role.bearer[account] = true;
    }

    /**
     * @dev Remove an account's access to this role.
     */
    function remove(Role storage role, address account) internal {
        require(has(role, account));

        role.bearer[account] = false;
    }

    /**
     * @dev Check if an account has this role.
     * @return bool
     */
    function has(Role storage role, address account) internal view returns (bool) {
        require(account != address(0));
        return role.bearer[account];
    }
	
}

pragma solidity ^0.5.0;
/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
		
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
		
        require(b <= a, "SafeMath: subtraction overflow");
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, "SafeMath: division by zero");
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
		
        require(b != 0, "SafeMath: modulo by zero");
        return a % b;
    }
	
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"from","type":"address"},{"name":"to","type":"address"},{"name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"unpause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"value","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"account","type":"address"}],"name":"isPauser","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"account","type":"address"}],"name":"isLock","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"account","type":"address"},{"name":"islock","type":"bool"}],"name":"lock","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"value","type":"uint256"}],"name":"unfreeze","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renouncePauser","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"tokenOwner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"account","type":"address"}],"name":"addPauser","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"pause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"to","type":"address"},{"name":"value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"tokenOwner","type":"address"}],"name":"freezeOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"value","type":"uint256"}],"name":"freeze","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"tokenOwner","type":"address"},{"name":"spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[{"name":"name","type":"string"},{"name":"symbol","type":"string"},{"name":"decimals","type":"uint8"},{"name":"_totalSupply","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"name":"account","type":"address"},{"indexed":false,"name":"islock","type":"bool"}],"name":"LockAccount","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"account","type":"address"}],"name":"PauserAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"account","type":"address"}],"name":"PauserRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"tokens","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"tokenOwner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"tokens","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":false,"name":"tokens","type":"uint256"}],"name":"Freeze","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":false,"name":"tokens","type":"uint256"}],"name":"Unfreeze","type":"event"}]

60806040523480156200001157600080fd5b5060405162002c6338038062002c63833981018060405260808110156200003757600080fd5b8101908080516401000000008111156200005057600080fd5b828101905060208101848111156200006757600080fd5b81518560018202830111640100000000821117156200008557600080fd5b50509291906020018051640100000000811115620000a257600080fd5b82810190506020810184811115620000b957600080fd5b8151856001820283011164010000000082111715620000d757600080fd5b50509291906020018051906020019092919080519060200190929190505050838383826004908051906020019062000111929190620005a9565b5081600590805190602001906200012a929190620005a9565b5080600660006101000a81548160ff021916908360ff1602179055505050506200016333620001bb640100000000026401000000009004565b6000600860006101000a81548160ff0219169083151502179055506000811115156200018e57600080fd5b620001b1338360ff16600a0a830262000225640100000000026401000000009004565b5050505062000658565b620001df81600762000403640100000000026200255b179091906401000000009004565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515620002cb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f45524332303a206d696e7420746f20746865207a65726f20616464726573730081525060200191505060405180910390fd5b620002f08160035462000489640100000000026200245e179091906401000000009004565b60038190555062000357816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205462000489640100000000026200245e179091906401000000009004565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6200041e828262000514640100000000026401000000009004565b1515156200042b57600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b60008082840190508381101515156200050a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141515156200055257600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620005ec57805160ff19168380011785556200061d565b828001600101855582156200061d579182015b828111156200061c578251825591602001919060010190620005ff565b5b5090506200062c919062000630565b5090565b6200065591905b808211156200065157600081600090555060010162000637565b5090565b90565b6125fb80620006686000396000f3fe60806040526004361061012d576000357c01000000000000000000000000000000000000000000000000000000009004806306fdde0314610132578063095ea7b3146101c257806318160ddd1461023557806323b872dd14610260578063313ce567146102f357806339509351146103245780633f4ba83a1461039757806342966c68146103ae57806346fbf68e146103e95780635016128e146104525780635c975abb146104bb5780635f8f9c5d146104ea5780636623fc46146105475780636ef8d66d1461058257806370a082311461059957806382dc1ec4146105fe5780638456cb591461064f57806395d89b4114610666578063a457c2d7146106f6578063a9059cbb14610769578063cd4217c1146107dc578063d7a78db814610841578063dd62ed3e1461087c575b600080fd5b34801561013e57600080fd5b50610147610901565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561018757808201518184015260208101905061016c565b50505050905090810190601f1680156101b45780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101ce57600080fd5b5061021b600480360360408110156101e557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506109a3565b604051808215151515815260200191505060405180910390f35b34801561024157600080fd5b5061024a6109fd565b6040518082815260200191505060405180910390f35b34801561026c57600080fd5b506102d96004803603606081101561028357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a07565b604051808215151515815260200191505060405180910390f35b3480156102ff57600080fd5b50610308610a78565b604051808260ff1660ff16815260200191505060405180910390f35b34801561033057600080fd5b5061037d6004803603604081101561034757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a8f565b604051808215151515815260200191505060405180910390f35b3480156103a357600080fd5b506103ac610ae9565b005b3480156103ba57600080fd5b506103e7600480360360208110156103d157600080fd5b8101908080359060200190929190505050610c27565b005b3480156103f557600080fd5b506104386004803603602081101561040c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610c65565b604051808215151515815260200191505060405180910390f35b34801561045e57600080fd5b506104a16004803603602081101561047557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610c82565b604051808215151515815260200191505060405180910390f35b3480156104c757600080fd5b506104d0610cd8565b604051808215151515815260200191505060405180910390f35b3480156104f657600080fd5b506105456004803603604081101561050d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050610cef565b005b34801561055357600080fd5b506105806004803603602081101561056a57600080fd5b8101908080359060200190929190505050610e5c565b005b34801561058e57600080fd5b50610597610e99565b005b3480156105a557600080fd5b506105e8600480360360208110156105bc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ea4565b6040518082815260200191505060405180910390f35b34801561060a57600080fd5b5061064d6004803603602081101561062157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610eec565b005b34801561065b57600080fd5b50610664610f9b565b005b34801561067257600080fd5b5061067b6110da565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156106bb5780820151818401526020810190506106a0565b50505050905090810190601f1680156106e85780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561070257600080fd5b5061074f6004803603604081101561071957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061117c565b604051808215151515815260200191505060405180910390f35b34801561077557600080fd5b506107c26004803603604081101561078c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506111d6565b604051808215151515815260200191505060405180910390f35b3480156107e857600080fd5b5061082b600480360360208110156107ff57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611230565b6040518082815260200191505060405180910390f35b34801561084d57600080fd5b5061087a6004803603602081101561086457600080fd5b8101908080359060200190929190505050611279565b005b34801561088857600080fd5b506108eb6004803603604081101561089f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506112b6565b6040518082815260200191505060405180910390f35b606060048054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156109995780601f1061096e57610100808354040283529160200191610999565b820191906000526020600020905b81548152906001019060200180831161097c57829003601f168201915b5050505050905090565b6000600860009054906101000a900460ff161515156109c157600080fd5b6109ca33610c82565b1515156109d657600080fd5b6109df83610c82565b1515156109eb57600080fd5b6109f5838361133d565b905092915050565b6000600354905090565b6000600860009054906101000a900460ff16151515610a2557600080fd5b610a2e33610c82565b151515610a3a57600080fd5b610a4384610c82565b151515610a4f57600080fd5b610a5883610c82565b151515610a6457600080fd5b610a6f848484611354565b90509392505050565b6000600660009054906101000a900460ff16905090565b6000600860009054906101000a900460ff16151515610aad57600080fd5b610ab633610c82565b151515610ac257600080fd5b610acb83610c82565b151515610ad757600080fd5b610ae18383611405565b905092915050565b610af233610c65565b1515610b8c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260308152602001807f506175736572526f6c653a2063616c6c657220646f6573206e6f74206861766581526020017f207468652050617573657220726f6c650000000000000000000000000000000081525060400191505060405180910390fd5b600860009054906101000a900460ff161515610ba757600080fd5b6000600860006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b600860009054906101000a900460ff16151515610c4357600080fd5b610c4c33610c82565b151515610c5857600080fd5b610c6233826114aa565b50565b6000610c7b82600761168d90919063ffffffff16565b9050919050565b6000600960008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b6000600860009054906101000a900460ff16905090565b610cf833610c65565b1515610d92576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260308152602001807f506175736572526f6c653a2063616c6c657220646f6573206e6f74206861766581526020017f207468652050617573657220726f6c650000000000000000000000000000000081525060400191505060405180910390fd5b80600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055507f44470762d57decc756f36bb9c7381b522388c21b7b48a4b012357d29611386128282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001821515151581526020019250505060405180910390a15050565b600860009054906101000a900460ff16151515610e7857600080fd5b610e8133610c82565b151515610e8d57600080fd5b610e9681611721565b50565b610ea2336119ef565b565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610ef533610c65565b1515610f8f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260308152602001807f506175736572526f6c653a2063616c6c657220646f6573206e6f74206861766581526020017f207468652050617573657220726f6c650000000000000000000000000000000081525060400191505060405180910390fd5b610f9881611a49565b50565b610fa433610c65565b151561103e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260308152602001807f506175736572526f6c653a2063616c6c657220646f6573206e6f74206861766581526020017f207468652050617573657220726f6c650000000000000000000000000000000081525060400191505060405180910390fd5b600860009054906101000a900460ff1615151561105a57600080fd5b6001600860006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b606060058054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156111725780601f1061114757610100808354040283529160200191611172565b820191906000526020600020905b81548152906001019060200180831161115557829003601f168201915b5050505050905090565b6000600860009054906101000a900460ff1615151561119a57600080fd5b6111a333610c82565b1515156111af57600080fd5b6111b883610c82565b1515156111c457600080fd5b6111ce8383611aa3565b905092915050565b6000600860009054906101000a900460ff161515156111f457600080fd5b6111fd33610c82565b15151561120957600080fd5b61121283610c82565b15151561121e57600080fd5b6112288383611b48565b905092915050565b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600860009054906101000a900460ff1615151561129557600080fd5b61129e33610c82565b1515156112aa57600080fd5b6112b381611b5f565b50565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600061134a338484611e2c565b6001905092915050565b60006113618484846120ad565b6113fa84336113f585600160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123d390919063ffffffff16565b611e2c565b600190509392505050565b60006114a0338461149b85600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461245e90919063ffffffff16565b611e2c565b6001905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515611575576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001807f45524332303a206275726e2066726f6d20746865207a65726f2061646472657381526020017f730000000000000000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b61158a816003546123d390919063ffffffff16565b6003819055506115e1816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123d390919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141515156116ca57600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b80600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101515156117d8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f45524332303a2062616c616e6365206973206e6f7420656e6f7567680000000081525060200191505060405180910390fd5b600081111515611876576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001807f45524332303a2076616c7565206d75737420626520677265617465722074686181526020017f6e2030000000000000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b6118c881600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123d390919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061195c816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461245e90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167f2cfce4af01bcb9d6cf6c84ee1b7c491100b8695368264146a94d71e10a63083f826040518082815260200191505060405180910390a250565b611a038160076124e890919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e60405160405180910390a250565b611a5d81600761255b90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b6000611b3e3384611b3985600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123d390919063ffffffff16565b611e2c565b6001905092915050565b6000611b553384846120ad565b6001905092915050565b806000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410151515611c15576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f45524332303a2062616c616e6365206973206e6f7420656e6f7567680000000081525060200191505060405180910390fd5b600081111515611cb3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001807f45524332303a2076616c7565206d75737420626520677265617465722074686181526020017f6e2030000000000000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b611d04816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123d390919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611d9881600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461245e90919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167ff97a274face0b5517365ad396b1fdba6f68bd3135ef603e44272adba3af5a1e0826040518082815260200191505060405180910390a250565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515611ef7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260248152602001807f45524332303a20617070726f76652066726f6d20746865207a65726f2061646481526020017f726573730000000000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515611fc2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001807f45524332303a20617070726f766520746f20746865207a65726f20616464726581526020017f737300000000000000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515612178576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260258152602001807f45524332303a207472616e736665722066726f6d20746865207a65726f20616481526020017f647265737300000000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515612243576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001807f45524332303a207472616e7366657220746f20746865207a65726f206164647281526020017f657373000000000000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b612294816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123d390919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612327816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461245e90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b600082821115151561244d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525060200191505060405180910390fd5b600082840390508091505092915050565b60008082840190508381101515156124de576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b6124f2828261168d565b15156124fd57600080fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b612565828261168d565b15151561257157600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550505056fea165627a7a72305820677b80260ff3e901129eb5bb184b9364a239b8d55b0cf706fac95fac4ecfc64f0029000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c00000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000003b9aca00000000000000000000000000000000000000000000000000000000000000000a494f544620546f6b656e000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004494f544600000000000000000000000000000000000000000000000000000000

0x60806040526004361061012d576000357c01000000000000000000000000000000000000000000000000000000009004806306fdde0314610132578063095ea7b3146101c257806318160ddd1461023557806323b872dd14610260578063313ce567146102f357806339509351146103245780633f4ba83a1461039757806342966c68146103ae57806346fbf68e146103e95780635016128e146104525780635c975abb146104bb5780635f8f9c5d146104ea5780636623fc46146105475780636ef8d66d1461058257806370a082311461059957806382dc1ec4146105fe5780638456cb591461064f57806395d89b4114610666578063a457c2d7146106f6578063a9059cbb14610769578063cd4217c1146107dc578063d7a78db814610841578063dd62ed3e1461087c575b600080fd5b34801561013e57600080fd5b50610147610901565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561018757808201518184015260208101905061016c565b50505050905090810190601f1680156101b45780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101ce57600080fd5b5061021b600480360360408110156101e557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506109a3565b604051808215151515815260200191505060405180910390f35b34801561024157600080fd5b5061024a6109fd565b6040518082815260200191505060405180910390f35b34801561026c57600080fd5b506102d96004803603606081101561028357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a07565b604051808215151515815260200191505060405180910390f35b3480156102ff57600080fd5b50610308610a78565b604051808260ff1660ff16815260200191505060405180910390f35b34801561033057600080fd5b5061037d6004803603604081101561034757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a8f565b604051808215151515815260200191505060405180910390f35b3480156103a357600080fd5b506103ac610ae9565b005b3480156103ba57600080fd5b506103e7600480360360208110156103d157600080fd5b8101908080359060200190929190505050610c27565b005b3480156103f557600080fd5b506104386004803603602081101561040c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610c65565b604051808215151515815260200191505060405180910390f35b34801561045e57600080fd5b506104a16004803603602081101561047557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610c82565b604051808215151515815260200191505060405180910390f35b3480156104c757600080fd5b506104d0610cd8565b604051808215151515815260200191505060405180910390f35b3480156104f657600080fd5b506105456004803603604081101561050d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050610cef565b005b34801561055357600080fd5b506105806004803603602081101561056a57600080fd5b8101908080359060200190929190505050610e5c565b005b34801561058e57600080fd5b50610597610e99565b005b3480156105a557600080fd5b506105e8600480360360208110156105bc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ea4565b6040518082815260200191505060405180910390f35b34801561060a57600080fd5b5061064d6004803603602081101561062157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610eec565b005b34801561065b57600080fd5b50610664610f9b565b005b34801561067257600080fd5b5061067b6110da565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156106bb5780820151818401526020810190506106a0565b50505050905090810190601f1680156106e85780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561070257600080fd5b5061074f6004803603604081101561071957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061117c565b604051808215151515815260200191505060405180910390f35b34801561077557600080fd5b506107c26004803603604081101561078c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506111d6565b604051808215151515815260200191505060405180910390f35b3480156107e857600080fd5b5061082b600480360360208110156107ff57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611230565b6040518082815260200191505060405180910390f35b34801561084d57600080fd5b5061087a6004803603602081101561086457600080fd5b8101908080359060200190929190505050611279565b005b34801561088857600080fd5b506108eb6004803603604081101561089f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506112b6565b6040518082815260200191505060405180910390f35b606060048054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156109995780601f1061096e57610100808354040283529160200191610999565b820191906000526020600020905b81548152906001019060200180831161097c57829003601f168201915b5050505050905090565b6000600860009054906101000a900460ff161515156109c157600080fd5b6109ca33610c82565b1515156109d657600080fd5b6109df83610c82565b1515156109eb57600080fd5b6109f5838361133d565b905092915050565b6000600354905090565b6000600860009054906101000a900460ff16151515610a2557600080fd5b610a2e33610c82565b151515610a3a57600080fd5b610a4384610c82565b151515610a4f57600080fd5b610a5883610c82565b151515610a6457600080fd5b610a6f848484611354565b90509392505050565b6000600660009054906101000a900460ff16905090565b6000600860009054906101000a900460ff16151515610aad57600080fd5b610ab633610c82565b151515610ac257600080fd5b610acb83610c82565b151515610ad757600080fd5b610ae18383611405565b905092915050565b610af233610c65565b1515610b8c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260308152602001807f506175736572526f6c653a2063616c6c657220646f6573206e6f74206861766581526020017f207468652050617573657220726f6c650000000000000000000000000000000081525060400191505060405180910390fd5b600860009054906101000a900460ff161515610ba757600080fd5b6000600860006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b600860009054906101000a900460ff16151515610c4357600080fd5b610c4c33610c82565b151515610c5857600080fd5b610c6233826114aa565b50565b6000610c7b82600761168d90919063ffffffff16565b9050919050565b6000600960008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b6000600860009054906101000a900460ff16905090565b610cf833610c65565b1515610d92576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260308152602001807f506175736572526f6c653a2063616c6c657220646f6573206e6f74206861766581526020017f207468652050617573657220726f6c650000000000000000000000000000000081525060400191505060405180910390fd5b80600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055507f44470762d57decc756f36bb9c7381b522388c21b7b48a4b012357d29611386128282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001821515151581526020019250505060405180910390a15050565b600860009054906101000a900460ff16151515610e7857600080fd5b610e8133610c82565b151515610e8d57600080fd5b610e9681611721565b50565b610ea2336119ef565b565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610ef533610c65565b1515610f8f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260308152602001807f506175736572526f6c653a2063616c6c657220646f6573206e6f74206861766581526020017f207468652050617573657220726f6c650000000000000000000000000000000081525060400191505060405180910390fd5b610f9881611a49565b50565b610fa433610c65565b151561103e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260308152602001807f506175736572526f6c653a2063616c6c657220646f6573206e6f74206861766581526020017f207468652050617573657220726f6c650000000000000000000000000000000081525060400191505060405180910390fd5b600860009054906101000a900460ff1615151561105a57600080fd5b6001600860006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b606060058054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156111725780601f1061114757610100808354040283529160200191611172565b820191906000526020600020905b81548152906001019060200180831161115557829003601f168201915b5050505050905090565b6000600860009054906101000a900460ff1615151561119a57600080fd5b6111a333610c82565b1515156111af57600080fd5b6111b883610c82565b1515156111c457600080fd5b6111ce8383611aa3565b905092915050565b6000600860009054906101000a900460ff161515156111f457600080fd5b6111fd33610c82565b15151561120957600080fd5b61121283610c82565b15151561121e57600080fd5b6112288383611b48565b905092915050565b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600860009054906101000a900460ff1615151561129557600080fd5b61129e33610c82565b1515156112aa57600080fd5b6112b381611b5f565b50565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600061134a338484611e2c565b6001905092915050565b60006113618484846120ad565b6113fa84336113f585600160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123d390919063ffffffff16565b611e2c565b600190509392505050565b60006114a0338461149b85600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461245e90919063ffffffff16565b611e2c565b6001905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515611575576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001807f45524332303a206275726e2066726f6d20746865207a65726f2061646472657381526020017f730000000000000000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b61158a816003546123d390919063ffffffff16565b6003819055506115e1816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123d390919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141515156116ca57600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b80600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101515156117d8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f45524332303a2062616c616e6365206973206e6f7420656e6f7567680000000081525060200191505060405180910390fd5b600081111515611876576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001807f45524332303a2076616c7565206d75737420626520677265617465722074686181526020017f6e2030000000000000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b6118c881600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123d390919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061195c816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461245e90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167f2cfce4af01bcb9d6cf6c84ee1b7c491100b8695368264146a94d71e10a63083f826040518082815260200191505060405180910390a250565b611a038160076124e890919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e60405160405180910390a250565b611a5d81600761255b90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b6000611b3e3384611b3985600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123d390919063ffffffff16565b611e2c565b6001905092915050565b6000611b553384846120ad565b6001905092915050565b806000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410151515611c15576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f45524332303a2062616c616e6365206973206e6f7420656e6f7567680000000081525060200191505060405180910390fd5b600081111515611cb3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001807f45524332303a2076616c7565206d75737420626520677265617465722074686181526020017f6e2030000000000000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b611d04816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123d390919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611d9881600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461245e90919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167ff97a274face0b5517365ad396b1fdba6f68bd3135ef603e44272adba3af5a1e0826040518082815260200191505060405180910390a250565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515611ef7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260248152602001807f45524332303a20617070726f76652066726f6d20746865207a65726f2061646481526020017f726573730000000000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515611fc2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001807f45524332303a20617070726f766520746f20746865207a65726f20616464726581526020017f737300000000000000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515612178576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260258152602001807f45524332303a207472616e736665722066726f6d20746865207a65726f20616481526020017f647265737300000000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515612243576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001807f45524332303a207472616e7366657220746f20746865207a65726f206164647281526020017f657373000000000000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b612294816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123d390919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612327816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461245e90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b600082821115151561244d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525060200191505060405180910390fd5b600082840390508091505092915050565b60008082840190508381101515156124de576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b6124f2828261168d565b15156124fd57600080fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b612565828261168d565b15151561257157600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550505056fea165627a7a72305820677b80260ff3e901129eb5bb184b9364a239b8d55b0cf706fac95fac4ecfc64f0029

000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c00000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000003b9aca00000000000000000000000000000000000000000000000000000000000000000a494f544620546f6b656e000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004494f544600000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : name (string): IOTF Token
Arg [1] : symbol (string): IOTF
Arg [2] : decimals (uint8): 8
Arg [3] : _totalSupply (uint256): 1000000000

-----Encoded View---------------
8 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000000000000000000000000080
Arg [1] : 00000000000000000000000000000000000000000000000000000000000000c0
Arg [2] : 0000000000000000000000000000000000000000000000000000000000000008
Arg [3] : 000000000000000000000000000000000000000000000000000000003b9aca00
Arg [4] : 000000000000000000000000000000000000000000000000000000000000000a
Arg [5] : 494f544620546f6b656e00000000000000000000000000000000000000000000
Arg [6] : 0000000000000000000000000000000000000000000000000000000000000004
Arg [7] : 494f544600000000000000000000000000000000000000000000000000000000

109:1107:4:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;641:81:1;;8:9:-1;5:2;;;30:1;27;20:12;5:2;641:81:1;;;:::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;641:81:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;710:211:3;;8:9:-1;5:2;;;30:1;27;20:12;5:2;710:211:3;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;710:211:3;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;529:89:0;;8:9:-1;5:2;;;30:1;27;20:12;5:2;529:89:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;446:258:3;;8:9:-1;5:2;;;30:1;27;20:12;5:2;446:258:3;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;446:258:3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;943:81:1;;8:9:-1;5:2;;;30:1;27;20:12;5:2;943:81:1;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;927:238:3;;8:9:-1;5:2;;;30:1;27;20:12;5:2;927:238:3;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;927:238:3;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1167:115:6;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1167:115:6;;;:::i;:::-;;570:129:4;;8:9:-1;5:2;;;30:1;27;20:12;5:2;570:129:4;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;570:129:4;;;;;;;;;;;;;;;;;:::i;:::-;;448:107:7;;8:9:-1;5:2;;;30:1;27;20:12;5:2;448:107:7;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;448:107:7;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;422:100:5;;8:9:-1;5:2;;;30:1;27;20:12;5:2;422:100:5;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;422:100:5;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;451:76:6;;8:9:-1;5:2;;;30:1;27;20:12;5:2;451:76:6;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;681:148:5;;8:9:-1;5:2;;;30:1;27;20:12;5:2;681:148:5;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;681:148:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;1084:125:4;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1084:125:4;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1084:125:4;;;;;;;;;;;;;;;;;:::i;:::-;;657:75:7;;8:9:-1;5:2;;;30:1;27;20:12;5:2;657:75:7;;;:::i;:::-;;835:122:0;;8:9:-1;5:2;;;30:1;27;20:12;5:2;835:122:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;835:122:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;561:90:7;;8:9:-1;5:2;;;30:1;27;20:12;5:2;561:90:7;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;561:90:7;;;;;;;;;;;;;;;;;;;:::i;:::-;;964:113:6;;8:9:-1;5:2;;;30:1;27;20:12;5:2;964:113:6;;;:::i;:::-;;784:85:1;;8:9:-1;5:2;;;30:1;27;20:12;5:2;784:85:1;;;:::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;784:85:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1171:248:3;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1171:248:3;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1171:248:3;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;242:198;;8:9:-1;5:2;;;30:1;27;20:12;5:2;242:198:3;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;242:198:3;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1185:113:0;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1185:113:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1185:113:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;827:121:4;;8:9:-1;5:2;;;30:1;27;20:12;5:2;827:121:4;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;827:121:4;;;;;;;;;;;;;;;;;:::i;:::-;;1634:139:0;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1634:139:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1634:139:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;641:81:1;678:13;710:5;703:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;641:81;:::o;710:211:3:-;789:4;680:7:6;;;;;;;;;;;679:8;671:17;;;;;;;;814:18:3;821:10;814:6;:18::i;:::-;813:19;805:28;;;;;;;;852:15;859:7;852:6;:15::i;:::-;851:16;843:25;;;;;;;;885:29;899:7;908:5;885:13;:29::i;:::-;878:36;;710:211;;;;:::o;529:89:0:-;573:7;599:12;;592:19;;529:89;:::o;446:258:3:-;539:4;680:7:6;;;;;;;;;;;679:8;671:17;;;;;;;;564:18:3;571:10;564:6;:18::i;:::-;563:19;555:28;;;;;;;;602:12;609:4;602:6;:12::i;:::-;601:13;593:22;;;;;;;;634:10;641:2;634:6;:10::i;:::-;633:11;625:20;;;;;;;;662:35;681:4;687:2;691:5;662:18;:35::i;:::-;655:42;;446:258;;;;;:::o;943:81:1:-;984:5;1008:9;;;;;;;;;;;1001:16;;943:81;:::o;927:238:3:-;1018:4;680:7:6;;;;;;;;;;;679:8;671:17;;;;;;;;1043:18:3;1050:10;1043:6;:18::i;:::-;1042:19;1034:28;;;;;;;;1081:15;1088:7;1081:6;:15::i;:::-;1080:16;1072:25;;;;;;;;1114:44;1138:7;1147:10;1114:23;:44::i;:::-;1107:51;;927:238;;;;:::o;1167:115:6:-;351:20:7;360:10;351:8;:20::i;:::-;343:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;851:7:6;;;;;;;;;;;843:16;;;;;;;;1235:5;1225:7;;:15;;;;;;;;;;;;;;;;;;1255:20;1264:10;1255:20;;;;;;;;;;;;;;;;;;;;;;1167:115::o;570:129:4:-;680:7:6;;;;;;;;;;;679:8;671:17;;;;;;;;639:18:4;646:10;639:6;:18::i;:::-;638:19;630:28;;;;;;;;668:24;674:10;686:5;668;:24::i;:::-;570:129;:::o;448:107:7:-;504:4;527:21;540:7;527:8;:12;;:21;;;;:::i;:::-;520:28;;448:107;;;:::o;422:100:5:-;476:4;499:7;:16;507:7;499:16;;;;;;;;;;;;;;;;;;;;;;;;;492:23;;422:100;;;:::o;451:76:6:-;490:4;513:7;;;;;;;;;;;506:14;;451:76;:::o;681:148:5:-;351:20:7;360:10;351:8;:20::i;:::-;343:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;773:6:5;754:7;:16;762:7;754:16;;;;;;;;;;;;;;;;:25;;;;;;;;;;;;;;;;;;794:28;806:7;815:6;794:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;681:148;;:::o;1084:125:4:-;680:7:6;;;;;;;;;;;679:8;671:17;;;;;;;;1157:18:4;1164:10;1157:6;:18::i;:::-;1156:19;1148:28;;;;;;;;1186:16;1196:5;1186:9;:16::i;:::-;1084:125;:::o;657:75:7:-;700:25;714:10;700:13;:25::i;:::-;657:75::o;835:122:0:-;895:15;929:9;:21;939:10;929:21;;;;;;;;;;;;;;;;922:28;;835:122;;;:::o;561:90:7:-;351:20;360:10;351:8;:20::i;:::-;343:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;625:19;636:7;625:10;:19::i;:::-;561:90;:::o;964:113:6:-;351:20:7;360:10;351:8;:20::i;:::-;343:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;680:7:6;;;;;;;;;;;679:8;671:17;;;;;;;;1033:4;1023:7;;:14;;;;;;;;;;;;;;;;;;1052:18;1059:10;1052:18;;;;;;;;;;;;;;;;;;;;;;964:113::o;784:85:1:-;823:13;855:7;848:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;784:85;:::o;1171:248:3:-;1267:4;680:7:6;;;;;;;;;;;679:8;671:17;;;;;;;;1292:18:3;1299:10;1292:6;:18::i;:::-;1291:19;1283:28;;;;;;;;1330:15;1337:7;1330:6;:15::i;:::-;1329:16;1321:25;;;;;;;;1363:49;1387:7;1396:15;1363:23;:49::i;:::-;1356:56;;1171:248;;;;:::o;242:198::-;317:4;680:7:6;;;;;;;;;;;679:8;671:17;;;;;;;;342:18:3;349:10;342:6;:18::i;:::-;341:19;333:28;;;;;;;;380:10;387:2;380:6;:10::i;:::-;379:11;371:20;;;;;;;;408:25;423:2;427:5;408:14;:25::i;:::-;401:32;;242:198;;;;:::o;1185:113:0:-;1244:7;1270:9;:21;1280:10;1270:21;;;;;;;;;;;;;;;;1263:28;;1185:113;;;:::o;827:121:4:-;680:7:6;;;;;;;;;;;679:8;671:17;;;;;;;;898:18:4;905:10;898:6;:18::i;:::-;897:19;889:28;;;;;;;;927:14;935:5;927:7;:14::i;:::-;827:121;:::o;1634:139:0:-;1711:7;1737:8;:20;1746:10;1737:20;;;;;;;;;;;;;;;:29;1758:7;1737:29;;;;;;;;;;;;;;;;1730:36;;1634:139;;;;:::o;2413:153::-;2478:12;2502:36;2511:10;2523:7;2532:5;2502:8;:36::i;:::-;2555:4;2548:11;;2413:153;;;;:::o;3969:232::-;4048:12;4072:26;4082:4;4088:2;4092:5;4072:9;:26::i;:::-;4108:65;4117:4;4123:10;4135:37;4166:5;4135:8;:14;4144:4;4135:14;;;;;;;;;;;;;;;:26;4150:10;4135:26;;;;;;;;;;;;;;;;:30;;:37;;;;:::i;:::-;4108:8;:65::i;:::-;4190:4;4183:11;;3969:232;;;;;:::o;5286:208::-;5366:12;5390:76;5399:10;5411:7;5420:45;5454:10;5420:8;:20;5429:10;5420:20;;;;;;;;;;;;;;;:29;5441:7;5420:29;;;;;;;;;;;;;;;;:33;;:45;;;;:::i;:::-;5390:8;:76::i;:::-;5483:4;5476:11;;5286:208;;;;:::o;7045:314::-;7141:1;7122:21;;:7;:21;;;;7114:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7215:23;7232:5;7215:12;;:16;;:23;;;;:::i;:::-;7200:12;:38;;;;7269:29;7292:5;7269:9;:18;7279:7;7269:18;;;;;;;;;;;;;;;;:22;;:29;;;;:::i;:::-;7248:9;:18;7258:7;7248:18;;;;;;;;;;;;;;;:50;;;;7342:1;7316:36;;7325:7;7316:36;;;7346:5;7316:36;;;;;;;;;;;;;;;;;;7045:314;;:::o;711:162:8:-;783:4;826:1;807:21;;:7;:21;;;;799:30;;;;;;;;846:4;:11;;:20;858:7;846:20;;;;;;;;;;;;;;;;;;;;;;;;;839:27;;711:162;;;;:::o;7755:363:0:-;7837:5;7812:9;:21;7822:10;7812:21;;;;;;;;;;;;;;;;:30;;7804:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7895:1;7887:5;:9;7879:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7972:32;7998:5;7972:9;:21;7982:10;7972:21;;;;;;;;;;;;;;;;:25;;:32;;;;:::i;:::-;7948:9;:21;7958:10;7948:21;;;;;;;;;;;;;;;:56;;;;8033:32;8059:5;8033:9;:21;8043:10;8033:21;;;;;;;;;;;;;;;;:25;;:32;;;;:::i;:::-;8009:9;:21;8019:10;8009:21;;;;;;;;;;;;;;;:56;;;;8092:10;8083:27;;;8104:5;8083:27;;;;;;;;;;;;;;;;;;7755:363;:::o;863:127:7:-;922:24;938:7;922:8;:15;;:24;;;;:::i;:::-;975:7;961:22;;;;;;;;;;;;863:127;:::o;738:119::-;794:21;807:7;794:8;:12;;:21;;;;:::i;:::-;842:7;830:20;;;;;;;;;;;;738:119;:::o;5970:218:0:-;6055:12;6079:81;6088:10;6100:7;6109:50;6143:15;6109:8;:20;6118:10;6109:20;;;;;;;;;;;;;;;:29;6130:7;6109:29;;;;;;;;;;;;;;;;:33;;:50;;;;:::i;:::-;6079:8;:81::i;:::-;6177:4;6170:11;;5970:218;;;;:::o;3369:137::-;3430:4;3446:32;3456:10;3468:2;3472:5;3446:9;:32::i;:::-;3495:4;3488:11;;3369:137;;;;:::o;7369:376::-;7456:5;7431:9;:21;7441:10;7431:21;;;;;;;;;;;;;;;;:30;;7423:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7520:1;7512:5;:9;7504:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7597:32;7623:5;7597:9;:21;7607:10;7597:21;;;;;;;;;;;;;;;;:25;;:32;;;;:::i;:::-;7573:9;:21;7583:10;7573:21;;;;;;;;;;;;;;;:56;;;;7663:32;7689:5;7663:9;:21;7673:10;7663:21;;;;;;;;;;;;;;;;:25;;:32;;;;:::i;:::-;7639:9;:21;7649:10;7639:21;;;;;;;;;;;;;;;:56;;;;7720:10;7713:25;;;7732:5;7713:25;;;;;;;;;;;;;;;;;;7369:376;:::o;2836:361::-;2958:1;2936:24;;:10;:24;;;;2928:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3038:1;3019:21;;:7;:21;;;;3011:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3122:5;3090:8;:20;3099:10;3090:20;;;;;;;;;;;;;;;:29;3111:7;3090:29;;;;;;;;;;;;;;;:37;;;;3166:7;3145:36;;3154:10;3145:36;;;3175:5;3145:36;;;;;;;;;;;;;;;;;;2836:361;;;:::o;4421:387::-;4527:1;4511:18;;:4;:18;;;;4503:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4603:1;4589:16;;:2;:16;;;;4581:64;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4676:26;4696:5;4676:9;:15;4686:4;4676:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;4658:9;:15;4668:4;4658:15;;;;;;;;;;;;;;;:44;;;;4728:24;4746:5;4728:9;:13;4738:2;4728:13;;;;;;;;;;;;;;;;:17;;:24;;;;:::i;:::-;4712:9;:13;4722:2;4712:13;;;;;;;;;;;;;;;:40;;;;4791:2;4776:25;;4785:4;4776:25;;;4795:5;4776:25;;;;;;;;;;;;;;;;;;4421:387;;;:::o;1276:182:9:-;1334:7;1369:1;1364;:6;;1356:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1415:9;1431:1;1427;:5;1415:17;;1450:1;1443:8;;;1276:182;;;;:::o;833:179::-;891:7;913:9;929:1;925;:5;913:17;;953:1;948;:6;;940:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1004:1;997:8;;;833:179;;;;:::o;478:144:8:-;557:18;561:4;567:7;557:3;:18::i;:::-;549:27;;;;;;;;610:5;587:4;:11;;:20;599:7;587:20;;;;;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;478:144;;:::o;262:141::-;339:18;343:4;349:7;339:3;:18::i;:::-;338:19;330:28;;;;;;;;392:4;369;:11;;:20;381:7;369:20;;;;;;;;;;;;;;;;:27;;;;;;;;;;;;;;;;;;262:141;;:::o

bzzr://677b80260ff3e901129eb5bb184b9364a239b8d55b0cf706fac95fac4ecfc64f