Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library IterableMapping
•    - function insert(itmap storage self, a ...
•    - function iterate_start(itmap storage ...
•    - function iterate_valid(itmap storage ...
•    - function iterate_next(itmap storage s ...
•    - function iterate_get(itmap storage se ...
•    - function iterate_getValue(itmap stora ...
•  contract Ownable
•    - function transferOwnership(address ne ...
•  contract Pausable is Ownable
•    - function pause()
•    - function unpause()
• library SafeMath
•    - function mul(uint256 _a, uint256 _b)
•    - function div(uint256 _a, uint256 _b)
•    - function sub(uint256 _a, uint256 _b)
•    - function add(uint256 _a, uint256 _b)
•  contract ERC20Basic
•    - function totalSupply()
•    - function balanceOf(address _who)
•    - function transfer(address _to, uint25 ...
•  contract BasicToken is ERC20Basic
•    - function totalSupply()
•    - function transfer(address _to, uint25 ...
•    - function balanceOf(address _owner)
•  contract ERC20 is ERC20Basic
•    - function allowance(address _owner, ad ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•  contract StandardToken is ERC20, B ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•    - function increaseApproval(address _sp ...
•    - function decreaseApproval(address _sp ...
•  contract PausableToken is Standard ...
•    - function transfer(address _to, uint25 ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function increaseApproval(address _sp ...
•    - function decreaseApproval(address _sp ...
•  contract Seele is PausableToken *
•    - function balancesStart()
•    - function balancesGetBool(uint256 num)
•    - function balancesGetNext(uint256 num)
•    - function balancesGetValue(uint256 num ...

More Options

• Is this a proxy?
• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-03-22
*/

pragma solidity ^0.5.1;

library IterableMapping {
    struct itmap {
        mapping(address => IndexValue) data;
        KeyFlag[] keys;
        uint256 size;
    }
    struct IndexValue {
        uint256 keyIndex;
        uint256 value;
    }
    struct KeyFlag {
        address key;
        bool deleted;
    }
    function insert(itmap storage self, address key, uint256 value)
        public
        returns (bool replaced)
    {
        uint256 keyIndex = self.data[key].keyIndex;
        self.data[key].value = value;
        if (keyIndex > 0) return true;
        else {
            keyIndex = self.keys.length++;
            self.data[key].keyIndex = keyIndex + 1;
            self.keys[keyIndex].key = key;
            self.size++;
            return false;
        }
    }
    function iterate_start(itmap storage self)
        public
        view
        returns (uint256 keyIndex)
    {
        return iterate_next(self, uint256(-1));
    }
    function iterate_valid(itmap storage self, uint256 keyIndex)
        public
        view
        returns (bool)
    {
        return keyIndex < self.keys.length;
    }
    function iterate_next(itmap storage self, uint256 keyIndex)
        public
        view
        returns (uint256)
    {
        uint256 _tmpKeyIndex = keyIndex;
        _tmpKeyIndex++;
        while (
            _tmpKeyIndex < self.keys.length && self.keys[_tmpKeyIndex].deleted
        ) _tmpKeyIndex++;
        return _tmpKeyIndex;
    }
    function iterate_get(itmap storage self, uint256 keyIndex)
        public
        view
        returns (address key, uint256 value)
    {
        key = self.keys[keyIndex].key;
        value = self.data[key].value;
    }
    function iterate_getValue(itmap storage self, address key)
        public
        view
        returns (uint256 value)
    {
        return self.data[key].value;
    }
}

// File: zeppelin-solidity/contracts/ownership/Ownable.sol

/**
 * @title Ownable
 * @dev The Ownable contract has an owner address, and provides basic authorization control
 * functions, this simplifies the implementation of "user permissions".
 */
contract Ownable {
    address public owner;

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

    /**
   * @dev The Ownable constructor sets the original `owner` of the contract to the sender
   * account.
   */
    constructor() public {
        owner = msg.sender;
    }

    /**
   * @dev Throws if called by any account other than the owner.
   */
    modifier onlyOwner() {
        require(
            msg.sender == owner,
            "called by any account other than the owner"
        );
        _;
    }

    /**
   * @dev Allows the current owner to transfer control of the contract to a newOwner.
   * @param newOwner The address to transfer ownership to.
   */
    function transferOwnership(address newOwner) public onlyOwner {
        require(newOwner != address(0), "owner address should not 0");
        emit OwnershipTransferred(owner, newOwner);
        owner = newOwner;
    }

}

// File: zeppelin-solidity/contracts/lifecycle/Pausable.sol

/**
 * @title Pausable
 * @dev Base contract which allows children to implement an emergency stop mechanism.
 */
contract Pausable is Ownable {
    event Pause();
    event Unpause();

    bool public paused = false;

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

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

    /**
   * @dev called by the owner to pause, triggers stopped state
   */
    function pause() public onlyOwner whenNotPaused {
        paused = true;
        emit Pause();
    }

    /**
   * @dev called by the owner to unpause, returns to normal state
   */
    function unpause() public onlyOwner whenPaused {
        paused = false;
        emit Unpause();
    }
}

/**
 * @title SafeMath
 * @dev Math operations with safety checks that throw on error
 */
library SafeMath {
    /**
  * @dev Multiplies two numbers, throws on overflow.
  */
    function mul(uint256 _a, uint256 _b) internal pure returns (uint256 c) {
        // Gas optimization: this is cheaper than asserting '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;
        }

        c = _a * _b;
        assert(c / _a == _b);
        return c;
    }

    /**
  * @dev Integer division of two numbers, truncating the quotient.
  */
    function div(uint256 _a, uint256 _b) internal pure returns (uint256) {
        assert(_b > 0); // Solidity automatically throws when dividing by 0
        uint256 c = _a / _b;
        assert(_a == _b * c + (_a % _b)); // There is no case in which this doesn't hold
        return _a / _b;
    }

    /**
  * @dev Subtracts two numbers, throws on overflow (i.e. if subtrahend is greater than minuend).
  */
    function sub(uint256 _a, uint256 _b) internal pure returns (uint256) {
        assert(_b <= _a);
        return _a - _b;
    }

    /**
  * @dev Adds two numbers, throws on overflow.
  */
    function add(uint256 _a, uint256 _b) internal pure returns (uint256 c) {
        c = _a + _b;
        assert(c >= _a);
        return c;
    }
}

/**
 * @title ERC20Basic
 * @dev Simpler version of ERC20 interface
 * See https://github.com/ethereum/EIPs/issues/179
 */
contract ERC20Basic {
    function totalSupply() public view returns (uint256);
    function balanceOf(address _who) public view returns (uint256);
    function transfer(address _to, uint256 _value) public returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
}

/**
 * @title Basic token
 * @dev Basic version of StandardToken, with no allowances.
 */
contract BasicToken is ERC20Basic {
    using SafeMath for uint256;
    IterableMapping.itmap balances;

    uint256 internal totalSupply_;

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

    /**
  * @dev Transfer token for 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) {
        require(
            _value <= IterableMapping.iterate_getValue(balances, msg.sender),
            "not enough balances"
        );
        require(_to != address(0), "0 address not allow");

        IterableMapping.insert(
            balances,
            msg.sender,
            IterableMapping.iterate_getValue(balances, msg.sender).sub(_value)
        );
        IterableMapping.insert(
            balances,
            _to,
            IterableMapping.iterate_getValue(balances, _to).add(_value)
        );
        emit Transfer(msg.sender, _to, _value);
        return true;
    }

    /**
  * @dev Gets the balance of the specified address.
  * @param _owner The address to query the the balance of.
  * @return An uint256 representing the amount owned by the passed address.
  */
    function balanceOf(address _owner) public view returns (uint256) {
        return IterableMapping.iterate_getValue(balances, _owner);
    }

}

/**
 * @title ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/20
 */
contract ERC20 is ERC20Basic {
    function allowance(address _owner, address _spender)
        public
        view
        returns (uint256);

    function transferFrom(address _from, address _to, uint256 _value)
        public
        returns (bool);

    function approve(address _spender, uint256 _value) public returns (bool);
    event Approval(
        address indexed owner,
        address indexed spender,
        uint256 value
    );
}

/**
 * @title Standard ERC20 token
 *
 * @dev Implementation of the basic standard token.
 * https://github.com/ethereum/EIPs/issues/20
 * Based on code by FirstBlood: https://github.com/Firstbloodio/token/blob/master/smart_contract/FirstBloodToken.sol
 */
contract StandardToken is ERC20, BasicToken {
    mapping(address => mapping(address => uint256)) internal allowed;

    /**
   * @dev Transfer tokens from one address to another
   * @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)
    {
        require(
            _value <= IterableMapping.iterate_getValue(balances, _from),
            "balance not enough"
        );
        require(_value <= allowed[_from][msg.sender], "balance not enough");
        require(_to != address(0), "0 address not allow");

        IterableMapping.insert(
            balances,
            _from,
            IterableMapping.iterate_getValue(balances, _from).sub(_value)
        );
        IterableMapping.insert(
            balances,
            _to,
            IterableMapping.iterate_getValue(balances, _to).add(_value)
        );
        allowed[_from][msg.sender] = allowed[_from][msg.sender].sub(_value);
        emit Transfer(_from, _to, _value);
        return true;
    }

    /**
   * @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) {
        allowed[msg.sender][_spender] = _value;
        emit Approval(msg.sender, _spender, _value);
        return true;
    }

    /**
   * @dev Function to check the amount of tokens that an owner allowed to a spender.
   * @param _owner 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 _owner, address _spender)
        public
        view
        returns (uint256)
    {
        return allowed[_owner][_spender];
    }

    /**
   * @dev Increase the amount of tokens that an owner allowed to a spender.
   * approve should be called when allowed[_spender] == 0. To increment
   * allowed value is better to use this function to avoid 2 calls (and wait until
   * the first transaction is mined)
   * From MonolithDAO Token.sol
   * @param _spender The address which will spend the funds.
   * @param _addedValue The amount of tokens to increase the allowance by.
   */
    function increaseApproval(address _spender, uint256 _addedValue)
        public
        returns (bool)
    {
        allowed[msg.sender][_spender] = (
            allowed[msg.sender][_spender].add(_addedValue)
        );
        emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
        return true;
    }

    /**
   * @dev Decrease the amount of tokens that an owner allowed to a spender.
   * approve should be called when allowed[_spender] == 0. To decrement
   * allowed value is better to use this function to avoid 2 calls (and wait until
   * the first transaction is mined)
   * From MonolithDAO Token.sol
   * @param _spender The address which will spend the funds.
   * @param _subtractedValue The amount of tokens to decrease the allowance by.
   */
    function decreaseApproval(address _spender, uint256 _subtractedValue)
        public
        returns (bool)
    {
        uint256 oldValue = allowed[msg.sender][_spender];
        if (_subtractedValue >= oldValue) {
            allowed[msg.sender][_spender] = 0;
        } else {
            allowed[msg.sender][_spender] = oldValue.sub(_subtractedValue);
        }
        emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
        return true;
    }

}

/**
 * @title Pausable token
 *
 * @dev StandardToken modified with pausable transfers.
 **/

contract PausableToken is StandardToken, Pausable {
    function transfer(address _to, uint256 _value)
        public
        whenNotPaused
        returns (bool)
    {
        return super.transfer(_to, _value);
    }

    function transferFrom(address _from, address _to, uint256 _value)
        public
        whenNotPaused
        returns (bool)
    {
        return super.transferFrom(_from, _to, _value);
    }

    function approve(address _spender, uint256 _value)
        public
        whenNotPaused
        returns (bool)
    {
        return super.approve(_spender, _value);
    }

    function increaseApproval(address _spender, uint256 _addedValue)
        public
        whenNotPaused
        returns (bool success)
    {
        return super.increaseApproval(_spender, _addedValue);
    }

    function decreaseApproval(address _spender, uint256 _subtractedValue)
        public
        whenNotPaused
        returns (bool success)
    {
        return super.decreaseApproval(_spender, _subtractedValue);
    }
}

contract Seele is PausableToken {
    string public name = "Seele Token";
    string public symbol = "Seele";
    uint8 public decimals = 18;
    uint256 public INITIAL_SUPPLY = 30000000000 ether;

    constructor() public {
        totalSupply_ = INITIAL_SUPPLY;
        IterableMapping.insert(balances, msg.sender, INITIAL_SUPPLY);
    }

    function balancesStart() public view returns (uint256) {
        return IterableMapping.iterate_start(balances);
    }

    function balancesGetBool(uint256 num) public view returns (bool) {
        return IterableMapping.iterate_valid(balances, num);
    }

    function balancesGetNext(uint256 num) public view returns (uint256) {
        return IterableMapping.iterate_next(balances, num);
    }
    function balancesGetValue(uint256 num)
        public
        view
        returns (address, uint256)
    {
        address key;
        uint256 value;
        (key, value) = IterableMapping.iterate_get(balances, num);
        return (key, value);
    }
}

• 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":[],"name":"Pause","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":[],"name":"Unpause","type":"event"},{"constant":true,"inputs":[],"name":"INITIAL_SUPPLY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"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":"_value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"num","type":"uint256"}],"name":"balancesGetBool","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"num","type":"uint256"}],"name":"balancesGetNext","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"num","type":"uint256"}],"name":"balancesGetValue","outputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"balancesStart","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","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":"decreaseApproval","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_addedValue","type":"uint256"}],"name":"increaseApproval","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","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":"pause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","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":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","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":false,"inputs":[],"name":"unpause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]

60806040526000600560146101000a81548160ff0219169083151502179055506040518060400160405280600b81526020017f5365656c6520546f6b656e000000000000000000000000000000000000000000815250600690805190602001906200006c92919062000212565b506040518060400160405280600581526020017f5365656c6500000000000000000000000000000000000000000000000000000081525060079080519060200190620000ba92919062000212565b506012600860006101000a81548160ff021916908360ff1602179055506b60ef6b1aba6f072330000000600955348015620000f457600080fd5b5033600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060095460038190555073e13d843d03626edc3722a2a5c25fc31070e5cd8363ab517b4f6000336009546040518463ffffffff1660e01b8152600401808481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828152602001935050505060206040518083038186803b158015620001ce57600080fd5b505af4158015620001e3573d6000803e3d6000fd5b505050506040513d6020811015620001fa57600080fd5b810190808051906020019092919050505050620002c1565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200025557805160ff191683800117855562000286565b8280016001018555821562000286579182015b828111156200028557825182559160200191906001019062000268565b5b50905062000295919062000299565b5090565b620002be91905b80821115620002ba576000816000905550600101620002a0565b5090565b90565b61273980620002d16000396000f3fe608060405234801561001057600080fd5b50600436106101375760003560e01c80637e0c5747116100b8578063b8ba5c201161007c578063b8ba5c20146105a7578063cf2adac8146105c5578063d1505c5d14610607578063d73dd6231461064d578063dd62ed3e146106b3578063f2fde38b1461072b57610137565b80637e0c5747146103f55780638456cb591461046a5780638da5cb5b1461047457806395d89b41146104be578063a9059cbb1461054157610137565b8063313ce567116100ff578063313ce567146102e75780633f4ba83a1461030b5780635c975abb14610315578063661884631461033757806370a082311461039d57610137565b806306fdde031461013c578063095ea7b3146101bf57806318160ddd1461022557806323b872dd146102435780632ff2e9dc146102c9575b600080fd5b61014461076f565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610184578082015181840152602081019050610169565b50505050905090810190601f1680156101b15780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61020b600480360360408110156101d557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061080d565b604051808215151515815260200191505060405180910390f35b61022d610887565b6040518082815260200191505060405180910390f35b6102af6004803603606081101561025957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610891565b604051808215151515815260200191505060405180910390f35b6102d161090d565b6040518082815260200191505060405180910390f35b6102ef610913565b604051808260ff1660ff16815260200191505060405180910390f35b610313610926565b005b61031d610a7a565b604051808215151515815260200191505060405180910390f35b6103836004803603604081101561034d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a8d565b604051808215151515815260200191505060405180910390f35b6103df600480360360208110156103b357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610b07565b6040518082815260200191505060405180910390f35b6104216004803603602081101561040b57600080fd5b8101908080359060200190929190505050610bcf565b604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390f35b610472610c86565b005b61047c610ddb565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6104c6610e01565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156105065780820151818401526020810190506104eb565b50505050905090810190601f1680156105335780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61058d6004803603604081101561055757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e9f565b604051808215151515815260200191505060405180910390f35b6105af610f19565b6040518082815260200191505060405180910390f35b6105f1600480360360208110156105db57600080fd5b8101908080359060200190929190505050610fab565b6040518082815260200191505060405180910390f35b6106336004803603602081101561061d57600080fd5b8101908080359060200190929190505050611047565b604051808215151515815260200191505060405180910390f35b6106996004803603604081101561066357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506110e3565b604051808215151515815260200191505060405180910390f35b610715600480360360408110156106c957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061115d565b6040518082815260200191505060405180910390f35b61076d6004803603602081101561074157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111e4565b005b60068054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108055780601f106107da57610100808354040283529160200191610805565b820191906000526020600020905b8154815290600101906020018083116107e857829003601f168201915b505050505081565b6000600560149054906101000a900460ff1615610875576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260288152602001806126dd6028913960400191505060405180910390fd5b61087f83836113ed565b905092915050565b6000600354905090565b6000600560149054906101000a900460ff16156108f9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260288152602001806126dd6028913960400191505060405180910390fd5b6109048484846114df565b90509392505050565b60095481565b600860009054906101000a900460ff1681565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146109cc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a8152602001806126b3602a913960400191505060405180910390fd5b600560149054906101000a900460ff16610a31576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602481526020018061268f6024913960400191505060405180910390fd5b6000600560146101000a81548160ff0219169083151502179055507f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3360405160405180910390a1565b600560149054906101000a900460ff1681565b6000600560149054906101000a900460ff1615610af5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260288152602001806126dd6028913960400191505060405180910390fd5b610aff8383611c59565b905092915050565b600073e13d843d03626edc3722a2a5c25fc31070e5cd83634c5e1cae6000846040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b158015610b8d57600080fd5b505af4158015610ba1573d6000803e3d6000fd5b505050506040513d6020811015610bb757600080fd5b81019080805190602001909291905050509050919050565b60008060008073e13d843d03626edc3722a2a5c25fc31070e5cd836375a3e8e86000876040518363ffffffff1660e01b81526004018083815260200182815260200192505050604080518083038186803b158015610c2c57600080fd5b505af4158015610c40573d6000803e3d6000fd5b505050506040513d6040811015610c5657600080fd5b81019080805190602001909291908051906020019092919050505080925081935050508181935093505050915091565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610d2c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a8152602001806126b3602a913960400191505060405180910390fd5b600560149054906101000a900460ff1615610d92576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260288152602001806126dd6028913960400191505060405180910390fd5b6001600560146101000a81548160ff0219169083151502179055507f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62560405160405180910390a1565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60078054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610e975780601f10610e6c57610100808354040283529160200191610e97565b820191906000526020600020905b815481529060010190602001808311610e7a57829003601f168201915b505050505081565b6000600560149054906101000a900460ff1615610f07576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260288152602001806126dd6028913960400191505060405180910390fd5b610f118383611ee9565b905092915050565b600073e13d843d03626edc3722a2a5c25fc31070e5cd8363a21ab71660006040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b158015610f6b57600080fd5b505af4158015610f7f573d6000803e3d6000fd5b505050506040513d6020811015610f9557600080fd5b8101908080519060200190929190505050905090565b600073e13d843d03626edc3722a2a5c25fc31070e5cd836388d044376000846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561100557600080fd5b505af4158015611019573d6000803e3d6000fd5b505050506040513d602081101561102f57600080fd5b81019080805190602001909291905050509050919050565b600073e13d843d03626edc3722a2a5c25fc31070e5cd8363c8fccc696000846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156110a157600080fd5b505af41580156110b5573d6000803e3d6000fd5b505050506040513d60208110156110cb57600080fd5b81019080805190602001909291905050509050919050565b6000600560149054906101000a900460ff161561114b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260288152602001806126dd6028913960400191505060405180910390fd5b6111558383612461565b905092915050565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461128a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a8152602001806126b3602a913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561132d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f6f776e657220616464726573732073686f756c64206e6f74203000000000000081525060200191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff16600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600081600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b600073e13d843d03626edc3722a2a5c25fc31070e5cd83634c5e1cae6000866040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b15801561156557600080fd5b505af4158015611579573d6000803e3d6000fd5b505050506040513d602081101561158f57600080fd5b8101908080519060200190929190505050821115611615576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f62616c616e6365206e6f7420656e6f756768000000000000000000000000000081525060200191505060405180910390fd5b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115611707576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f62616c616e6365206e6f7420656e6f756768000000000000000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156117aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f302061646472657373206e6f7420616c6c6f770000000000000000000000000081525060200191505060405180910390fd5b73e13d843d03626edc3722a2a5c25fc31070e5cd8363ab517b4f6000866118988673e13d843d03626edc3722a2a5c25fc31070e5cd83634c5e1cae60008c6040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b15801561184f57600080fd5b505af4158015611863573d6000803e3d6000fd5b505050506040513d602081101561187957600080fd5b810190808051906020019092919050505061265d90919063ffffffff16565b6040518463ffffffff1660e01b8152600401808481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828152602001935050505060206040518083038186803b15801561190657600080fd5b505af415801561191a573d6000803e3d6000fd5b505050506040513d602081101561193057600080fd5b81019080805190602001909291905050505073e13d843d03626edc3722a2a5c25fc31070e5cd8363ab517b4f600085611a308673e13d843d03626edc3722a2a5c25fc31070e5cd83634c5e1cae60008b6040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b1580156119e757600080fd5b505af41580156119fb573d6000803e3d6000fd5b505050506040513d6020811015611a1157600080fd5b810190808051906020019092919050505061267490919063ffffffff16565b6040518463ffffffff1660e01b8152600401808481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828152602001935050505060206040518083038186803b158015611a9e57600080fd5b505af4158015611ab2573d6000803e3d6000fd5b505050506040513d6020811015611ac857600080fd5b810190808051906020019092919050505050611b6982600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461265d90919063ffffffff16565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b600080600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050808310611d69576000600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611dfd565b611d7c838261265d90919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600191505092915050565b600073e13d843d03626edc3722a2a5c25fc31070e5cd83634c5e1cae6000336040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b158015611f6f57600080fd5b505af4158015611f83573d6000803e3d6000fd5b505050506040513d6020811015611f9957600080fd5b810190808051906020019092919050505082111561201f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f6e6f7420656e6f7567682062616c616e6365730000000000000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156120c2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f302061646472657373206e6f7420616c6c6f770000000000000000000000000081525060200191505060405180910390fd5b73e13d843d03626edc3722a2a5c25fc31070e5cd8363ab517b4f6000336121b08673e13d843d03626edc3722a2a5c25fc31070e5cd83634c5e1cae6000336040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b15801561216757600080fd5b505af415801561217b573d6000803e3d6000fd5b505050506040513d602081101561219157600080fd5b810190808051906020019092919050505061265d90919063ffffffff16565b6040518463ffffffff1660e01b8152600401808481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828152602001935050505060206040518083038186803b15801561221e57600080fd5b505af4158015612232573d6000803e3d6000fd5b505050506040513d602081101561224857600080fd5b81019080805190602001909291905050505073e13d843d03626edc3722a2a5c25fc31070e5cd8363ab517b4f6000856123488673e13d843d03626edc3722a2a5c25fc31070e5cd83634c5e1cae60008b6040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b1580156122ff57600080fd5b505af4158015612313573d6000803e3d6000fd5b505050506040513d602081101561232957600080fd5b810190808051906020019092919050505061267490919063ffffffff16565b6040518463ffffffff1660e01b8152600401808481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828152602001935050505060206040518083038186803b1580156123b657600080fd5b505af41580156123ca573d6000803e3d6000fd5b505050506040513d60208110156123e057600080fd5b8101908080519060200190929190505050508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60006124f282600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461267490919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b60008282111561266957fe5b818303905092915050565b600081830190508281101561268557fe5b8090509291505056fe63616c6c61626c65207768656e2074686520636f6e74726163742069732070617573656463616c6c656420627920616e79206163636f756e74206f74686572207468616e20746865206f776e657263616c6c61626c65207768656e2074686520636f6e7472616374206973206e6f7420706175736564a265627a7a7231582006194705f18750e1b366b0b7eae5beb5d5f7d2ea344954144b4b0bf46f35927564736f6c63430005110032

0x608060405234801561001057600080fd5b50600436106101375760003560e01c80637e0c5747116100b8578063b8ba5c201161007c578063b8ba5c20146105a7578063cf2adac8146105c5578063d1505c5d14610607578063d73dd6231461064d578063dd62ed3e146106b3578063f2fde38b1461072b57610137565b80637e0c5747146103f55780638456cb591461046a5780638da5cb5b1461047457806395d89b41146104be578063a9059cbb1461054157610137565b8063313ce567116100ff578063313ce567146102e75780633f4ba83a1461030b5780635c975abb14610315578063661884631461033757806370a082311461039d57610137565b806306fdde031461013c578063095ea7b3146101bf57806318160ddd1461022557806323b872dd146102435780632ff2e9dc146102c9575b600080fd5b61014461076f565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610184578082015181840152602081019050610169565b50505050905090810190601f1680156101b15780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61020b600480360360408110156101d557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061080d565b604051808215151515815260200191505060405180910390f35b61022d610887565b6040518082815260200191505060405180910390f35b6102af6004803603606081101561025957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610891565b604051808215151515815260200191505060405180910390f35b6102d161090d565b6040518082815260200191505060405180910390f35b6102ef610913565b604051808260ff1660ff16815260200191505060405180910390f35b610313610926565b005b61031d610a7a565b604051808215151515815260200191505060405180910390f35b6103836004803603604081101561034d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a8d565b604051808215151515815260200191505060405180910390f35b6103df600480360360208110156103b357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610b07565b6040518082815260200191505060405180910390f35b6104216004803603602081101561040b57600080fd5b8101908080359060200190929190505050610bcf565b604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390f35b610472610c86565b005b61047c610ddb565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6104c6610e01565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156105065780820151818401526020810190506104eb565b50505050905090810190601f1680156105335780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61058d6004803603604081101561055757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e9f565b604051808215151515815260200191505060405180910390f35b6105af610f19565b6040518082815260200191505060405180910390f35b6105f1600480360360208110156105db57600080fd5b8101908080359060200190929190505050610fab565b6040518082815260200191505060405180910390f35b6106336004803603602081101561061d57600080fd5b8101908080359060200190929190505050611047565b604051808215151515815260200191505060405180910390f35b6106996004803603604081101561066357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506110e3565b604051808215151515815260200191505060405180910390f35b610715600480360360408110156106c957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061115d565b6040518082815260200191505060405180910390f35b61076d6004803603602081101561074157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111e4565b005b60068054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108055780601f106107da57610100808354040283529160200191610805565b820191906000526020600020905b8154815290600101906020018083116107e857829003601f168201915b505050505081565b6000600560149054906101000a900460ff1615610875576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260288152602001806126dd6028913960400191505060405180910390fd5b61087f83836113ed565b905092915050565b6000600354905090565b6000600560149054906101000a900460ff16156108f9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260288152602001806126dd6028913960400191505060405180910390fd5b6109048484846114df565b90509392505050565b60095481565b600860009054906101000a900460ff1681565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146109cc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a8152602001806126b3602a913960400191505060405180910390fd5b600560149054906101000a900460ff16610a31576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602481526020018061268f6024913960400191505060405180910390fd5b6000600560146101000a81548160ff0219169083151502179055507f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3360405160405180910390a1565b600560149054906101000a900460ff1681565b6000600560149054906101000a900460ff1615610af5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260288152602001806126dd6028913960400191505060405180910390fd5b610aff8383611c59565b905092915050565b600073e13d843d03626edc3722a2a5c25fc31070e5cd83634c5e1cae6000846040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b158015610b8d57600080fd5b505af4158015610ba1573d6000803e3d6000fd5b505050506040513d6020811015610bb757600080fd5b81019080805190602001909291905050509050919050565b60008060008073e13d843d03626edc3722a2a5c25fc31070e5cd836375a3e8e86000876040518363ffffffff1660e01b81526004018083815260200182815260200192505050604080518083038186803b158015610c2c57600080fd5b505af4158015610c40573d6000803e3d6000fd5b505050506040513d6040811015610c5657600080fd5b81019080805190602001909291908051906020019092919050505080925081935050508181935093505050915091565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610d2c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a8152602001806126b3602a913960400191505060405180910390fd5b600560149054906101000a900460ff1615610d92576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260288152602001806126dd6028913960400191505060405180910390fd5b6001600560146101000a81548160ff0219169083151502179055507f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62560405160405180910390a1565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60078054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610e975780601f10610e6c57610100808354040283529160200191610e97565b820191906000526020600020905b815481529060010190602001808311610e7a57829003601f168201915b505050505081565b6000600560149054906101000a900460ff1615610f07576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260288152602001806126dd6028913960400191505060405180910390fd5b610f118383611ee9565b905092915050565b600073e13d843d03626edc3722a2a5c25fc31070e5cd8363a21ab71660006040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b158015610f6b57600080fd5b505af4158015610f7f573d6000803e3d6000fd5b505050506040513d6020811015610f9557600080fd5b8101908080519060200190929190505050905090565b600073e13d843d03626edc3722a2a5c25fc31070e5cd836388d044376000846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561100557600080fd5b505af4158015611019573d6000803e3d6000fd5b505050506040513d602081101561102f57600080fd5b81019080805190602001909291905050509050919050565b600073e13d843d03626edc3722a2a5c25fc31070e5cd8363c8fccc696000846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156110a157600080fd5b505af41580156110b5573d6000803e3d6000fd5b505050506040513d60208110156110cb57600080fd5b81019080805190602001909291905050509050919050565b6000600560149054906101000a900460ff161561114b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260288152602001806126dd6028913960400191505060405180910390fd5b6111558383612461565b905092915050565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461128a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a8152602001806126b3602a913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561132d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f6f776e657220616464726573732073686f756c64206e6f74203000000000000081525060200191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff16600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600081600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b600073e13d843d03626edc3722a2a5c25fc31070e5cd83634c5e1cae6000866040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b15801561156557600080fd5b505af4158015611579573d6000803e3d6000fd5b505050506040513d602081101561158f57600080fd5b8101908080519060200190929190505050821115611615576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f62616c616e6365206e6f7420656e6f756768000000000000000000000000000081525060200191505060405180910390fd5b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115611707576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f62616c616e6365206e6f7420656e6f756768000000000000000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156117aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f302061646472657373206e6f7420616c6c6f770000000000000000000000000081525060200191505060405180910390fd5b73e13d843d03626edc3722a2a5c25fc31070e5cd8363ab517b4f6000866118988673e13d843d03626edc3722a2a5c25fc31070e5cd83634c5e1cae60008c6040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b15801561184f57600080fd5b505af4158015611863573d6000803e3d6000fd5b505050506040513d602081101561187957600080fd5b810190808051906020019092919050505061265d90919063ffffffff16565b6040518463ffffffff1660e01b8152600401808481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828152602001935050505060206040518083038186803b15801561190657600080fd5b505af415801561191a573d6000803e3d6000fd5b505050506040513d602081101561193057600080fd5b81019080805190602001909291905050505073e13d843d03626edc3722a2a5c25fc31070e5cd8363ab517b4f600085611a308673e13d843d03626edc3722a2a5c25fc31070e5cd83634c5e1cae60008b6040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b1580156119e757600080fd5b505af41580156119fb573d6000803e3d6000fd5b505050506040513d6020811015611a1157600080fd5b810190808051906020019092919050505061267490919063ffffffff16565b6040518463ffffffff1660e01b8152600401808481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828152602001935050505060206040518083038186803b158015611a9e57600080fd5b505af4158015611ab2573d6000803e3d6000fd5b505050506040513d6020811015611ac857600080fd5b810190808051906020019092919050505050611b6982600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461265d90919063ffffffff16565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b600080600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050808310611d69576000600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611dfd565b611d7c838261265d90919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600191505092915050565b600073e13d843d03626edc3722a2a5c25fc31070e5cd83634c5e1cae6000336040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b158015611f6f57600080fd5b505af4158015611f83573d6000803e3d6000fd5b505050506040513d6020811015611f9957600080fd5b810190808051906020019092919050505082111561201f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f6e6f7420656e6f7567682062616c616e6365730000000000000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156120c2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f302061646472657373206e6f7420616c6c6f770000000000000000000000000081525060200191505060405180910390fd5b73e13d843d03626edc3722a2a5c25fc31070e5cd8363ab517b4f6000336121b08673e13d843d03626edc3722a2a5c25fc31070e5cd83634c5e1cae6000336040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b15801561216757600080fd5b505af415801561217b573d6000803e3d6000fd5b505050506040513d602081101561219157600080fd5b810190808051906020019092919050505061265d90919063ffffffff16565b6040518463ffffffff1660e01b8152600401808481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828152602001935050505060206040518083038186803b15801561221e57600080fd5b505af4158015612232573d6000803e3d6000fd5b505050506040513d602081101561224857600080fd5b81019080805190602001909291905050505073e13d843d03626edc3722a2a5c25fc31070e5cd8363ab517b4f6000856123488673e13d843d03626edc3722a2a5c25fc31070e5cd83634c5e1cae60008b6040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b1580156122ff57600080fd5b505af4158015612313573d6000803e3d6000fd5b505050506040513d602081101561232957600080fd5b810190808051906020019092919050505061267490919063ffffffff16565b6040518463ffffffff1660e01b8152600401808481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828152602001935050505060206040518083038186803b1580156123b657600080fd5b505af41580156123ca573d6000803e3d6000fd5b505050506040513d60208110156123e057600080fd5b8101908080519060200190929190505050508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60006124f282600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461267490919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b60008282111561266957fe5b818303905092915050565b600081830190508281101561268557fe5b8090509291505056fe63616c6c61626c65207768656e2074686520636f6e74726163742069732070617573656463616c6c656420627920616e79206163636f756e74206f74686572207468616e20746865206f776e657263616c6c61626c65207768656e2074686520636f6e7472616374206973206e6f7420706175736564a265627a7a7231582006194705f18750e1b366b0b7eae5beb5d5f7d2ea344954144b4b0bf46f35927564736f6c63430005110032

IterableMapping : 0xe13d843d03626edc3722a2a5c25fc31070e5cd83Unverified

14216:1035:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14216:1035:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14255:34;;;:::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;14255:34:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13583:176;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13583:176:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6554:91;;;:::i;:::-;;;;;;;;;;;;;;;;;;;13377:198;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13377:198:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;14366:49;;;:::i;:::-;;;;;;;;;;;;;;;;;;;14333:26;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4217:105;;;:::i;:::-;;3468:26;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;13987:222;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13987:222:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7709:141;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7709:141:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;14986:262;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14986:262:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4023:103;;;:::i;:::-;;2228:20;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;14296:30;;;:::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;14296:30:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13201:168;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13201:168:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;14572:120;;;:::i;:::-;;;;;;;;;;;;;;;;;;;14843:137;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14843:137:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;14700:135;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14700:135:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;13767:212;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13767:212:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;11118:166;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11118:166:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2977:222;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2977:222:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;14255:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;13583:176::-;13691:4;3650:6;;;;;;;;;;;3649:7;3641:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13720:31;13734:8;13744:6;13720:13;:31::i;:::-;13713:38;;13583:176;;;;:::o;6554:91::-;6598:7;6625:12;;6618:19;;6554:91;:::o;13377:198::-;13500:4;3650:6;;;;;;;;;;;3649:7;3641:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13529:38;13548:5;13555:3;13560:6;13529:18;:38::i;:::-;13522:45;;13377:198;;;;;:::o;14366:49::-;;;;:::o;14333:26::-;;;;;;;;;;;;;:::o;4217:105::-;2711:5;;;;;;;;;;;2697:19;;:10;:19;;;2675:111;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3868:6;;;;;;;;;;;3860:55;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4284:5;4275:6;;:14;;;;;;;;;;;;;;;;;;4305:9;;;;;;;;;;4217:105::o;3468:26::-;;;;;;;;;;;;;:::o;13987:222::-;14114:12;3650:6;;;;;;;;;;;3649:7;3641:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14151:50;14174:8;14184:16;14151:22;:50::i;:::-;14144:57;;13987:222;;;;:::o;7709:141::-;7765:7;7792:15;:32;7825:8;7835:6;7792:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7792:50:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7792:50:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7792:50:0;;;;;;;;;;;;;;;;7785:57;;7709:141;;;:::o;14986:262::-;15073:7;15082;15107:11;15129:13;15168:15;:27;15196:8;15206:3;15168:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15168:42:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;15168:42:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15168:42:0;;;;;;;;;;;;;;;;;;;;;;;;;15153:57;;;;;;;;15229:3;15234:5;15221:19;;;;;;14986:262;;;:::o;4023:103::-;2711:5;;;;;;;;;;;2697:19;;:10;:19;;;2675:111;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3650:6;;;;;;;;;;;3649:7;3641:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4091:4;4082:6;;:13;;;;;;;;;;;;;;;;;;4111:7;;;;;;;;;;4023:103::o;2228:20::-;;;;;;;;;;;;;:::o;14296:30::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;13201:168::-;13305:4;3650:6;;;;;;;;;;;3649:7;3641:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13334:27;13349:3;13354:6;13334:14;:27::i;:::-;13327:34;;13201:168;;;;:::o;14572:120::-;14618:7;14645:15;:29;14675:8;14645:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14645:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14645:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14645:39:0;;;;;;;;;;;;;;;;14638:46;;14572:120;:::o;14843:137::-;14902:7;14929:15;:28;14958:8;14968:3;14929:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14929:43:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14929:43:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14929:43:0;;;;;;;;;;;;;;;;14922:50;;14843:137;;;:::o;14700:135::-;14759:4;14783:15;:29;14813:8;14823:3;14783:44;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14783:44:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14783:44:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14783:44:0;;;;;;;;;;;;;;;;14776:51;;14700:135;;;:::o;13767:212::-;13889:12;3650:6;;;;;;;;;;;3649:7;3641:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13926:45;13949:8;13959:11;13926:22;:45::i;:::-;13919:52;;13767:212;;;;:::o;11118:166::-;11219:7;11251;:15;11259:6;11251:15;;;;;;;;;;;;;;;:25;11267:8;11251:25;;;;;;;;;;;;;;;;11244:32;;11118:166;;;;:::o;2977:222::-;2711:5;;;;;;;;;;;2697:19;;:10;:19;;;2675:111;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3078:1;3058:22;;:8;:22;;;;3050:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3155:8;3127:37;;3148:5;;;;;;;;;;;3127:37;;;;;;;;;;;;3183:8;3175:5;;:16;;;;;;;;;;;;;;;;;;2977:222;:::o;10581:206::-;10648:4;10697:6;10665:7;:19;10673:10;10665:19;;;;;;;;;;;;;;;:29;10685:8;10665:29;;;;;;;;;;;;;;;:38;;;;10740:8;10719:38;;10728:10;10719:38;;;10750:6;10719:38;;;;;;;;;;;;;;;;;;10775:4;10768:11;;10581:206;;;;:::o;9085:863::-;9185:4;9239:15;:32;9272:8;9282:5;9239:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9239:49:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9239:49:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9239:49:0;;;;;;;;;;;;;;;;9229:6;:59;;9207:127;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9363:7;:14;9371:5;9363:14;;;;;;;;;;;;;;;:26;9378:10;9363:26;;;;;;;;;;;;;;;;9353:6;:36;;9345:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9446:1;9431:17;;:3;:17;;;;9423:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9485:15;:22;9522:8;9545:5;9565:61;9619:6;9565:15;:32;9598:8;9608:5;9565:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9565:49:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9565:49:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9565:49:0;;;;;;;;;;;;;;;;:53;;:61;;;;:::i;:::-;9485:152;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9485:152:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9485:152:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9485:152:0;;;;;;;;;;;;;;;;;9648:15;:22;9685:8;9708:3;9726:59;9778:6;9726:15;:32;9759:8;9769:3;9726:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9726:47:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9726:47:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9726:47:0;;;;;;;;;;;;;;;;:51;;:59;;;;:::i;:::-;9648:148;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9648:148:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9648:148:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9648:148:0;;;;;;;;;;;;;;;;;9836:38;9867:6;9836:7;:14;9844:5;9836:14;;;;;;;;;;;;;;;:26;9851:10;9836:26;;;;;;;;;;;;;;;;:30;;:38;;;;:::i;:::-;9807:7;:14;9815:5;9807:14;;;;;;;;;;;;;;;:26;9822:10;9807:26;;;;;;;;;;;;;;;:67;;;;9906:3;9890:28;;9899:5;9890:28;;;9911:6;9890:28;;;;;;;;;;;;;;;;;;9936:4;9929:11;;9085:863;;;;;:::o;12555:480::-;12659:4;12681:16;12700:7;:19;12708:10;12700:19;;;;;;;;;;;;;;;:29;12720:8;12700:29;;;;;;;;;;;;;;;;12681:48;;12764:8;12744:16;:28;12740:189;;12821:1;12789:7;:19;12797:10;12789:19;;;;;;;;;;;;;;;:29;12809:8;12789:29;;;;;;;;;;;;;;;:33;;;;12740:189;;;12887:30;12900:16;12887:8;:12;;:30;;;;:::i;:::-;12855:7;:19;12863:10;12855:19;;;;;;;;;;;;;;;:29;12875:8;12855:29;;;;;;;;;;;;;;;:62;;;;12740:189;12965:8;12944:61;;12953:10;12944:61;;;12975:7;:19;12983:10;12975:19;;;;;;;;;;;;;;;:29;12995:8;12975:29;;;;;;;;;;;;;;;;12944:61;;;;;;;;;;;;;;;;;;13023:4;13016:11;;;12555:480;;;;:::o;6810:686::-;6873:4;6922:15;:32;6955:8;6965:10;6922:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6922:54:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6922:54:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6922:54:0;;;;;;;;;;;;;;;;6912:6;:64;;6890:133;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7057:1;7042:17;;:3;:17;;;;7034:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7096:15;:22;7133:8;7156:10;7181:66;7240:6;7181:15;:32;7214:8;7224:10;7181:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7181:54:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7181:54:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7181:54:0;;;;;;;;;;;;;;;;:58;;:66;;;;:::i;:::-;7096:162;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7096:162:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7096:162:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7096:162:0;;;;;;;;;;;;;;;;;7269:15;:22;7306:8;7329:3;7347:59;7399:6;7347:15;:32;7380:8;7390:3;7347:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7347:47:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7347:47:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7347:47:0;;;;;;;;;;;;;;;;:51;;:59;;;;:::i;:::-;7269:148;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7269:148:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7269:148:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7269:148:0;;;;;;;;;;;;;;;;;7454:3;7433:33;;7442:10;7433:33;;;7459:6;7433:33;;;;;;;;;;;;;;;;;;7484:4;7477:11;;6810:686;;;;:::o;11751:332::-;11850:4;11919:46;11953:11;11919:7;:19;11927:10;11919:19;;;;;;;;;;;;;;;:29;11939:8;11919:29;;;;;;;;;;;;;;;;:33;;:46;;;;:::i;:::-;11872:7;:19;11880:10;11872:19;;;;;;;;;;;;;;;:29;11892:8;11872:29;;;;;;;;;;;;;;;:104;;;;12013:8;11992:61;;12001:10;11992:61;;;12023:7;:19;12031:10;12023:19;;;;;;;;;;;;;;;:29;12043:8;12023:29;;;;;;;;;;;;;;;;11992:61;;;;;;;;;;;;;;;;;;12071:4;12064:11;;11751:332;;;;:::o;5458:129::-;5518:7;5551:2;5545;:8;;5538:16;;;;5577:2;5572;:7;5565:14;;5458:129;;;;:::o;5658:146::-;5718:9;5749:2;5744;:7;5740:11;;5774:2;5769:1;:7;;5762:15;;;;5795:1;5788:8;;5658:146;;;;:::o

bzzr://06194705f18750e1b366b0b7eae5beb5d5f7d2ea344954144b4b0bf46f359275