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 "./Context.sol";
import "./TokenRecover.sol";
import "./ERC20.sol";
import "./ERC20Detailed.sol";
import "./ERC20Burnable.sol";
import "./ERC20Pausable.sol";
import "./ERC20VotingMintable.sol";

contract ANWToken is Context, TokenRecover, ERC20, ERC20Detailed, ERC20Burnable, ERC20VotingMintable, ERC20Pausable{
    
    string private _issuingCountry = "Hongkong";
    string private _issuingCompany = "Huimin World Holdings Limited";
    uint256 private _initialSupply = 1000000000;
    
    constructor () public ERC20Detailed
    ( "Anchor Neural World Token", "ANW", 18 ) 
    { _mint(_msgSender(), _initialSupply * (10 ** uint256(decimals()))); }
    
    function issuingCountry() public view returns ( string memory ){
        return _issuingCountry;
    }
    
    function issuingCompany() public view returns ( string memory ){
        return _issuingCompany;
    }

    function initialSupply() public view returns ( uint256 ){
        return _initialSupply;
    }
    
}

pragma solidity ^0.5.0;

/*
 * @dev Provides information about the current execution context, including the
 * sender of the transaction and its data. While these are generally available
 * via msg.sender and msg.data, they should not be accessed in such a direct
 * manner, since when dealing with GSN meta-transactions the account sending and
 * paying for execution may not be the actual sender (as far as an application
 * is concerned).
 *
 * This contract is only required for intermediate, library-like contracts.
 */
contract Context {
    // Empty internal constructor, to prevent people from mistakenly deploying
    // an instance of this contract, which should be used via inheritance.
    constructor () internal { }
    // solhint-disable-previous-line no-empty-blocks

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

    function _msgData() internal view returns (bytes memory) {
        this; // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691
        return msg.data;
    }
}

pragma solidity ^0.5.0;

import "./Context.sol";
import "./IERC20.sol";
import "./SafeMath.sol";

/**
 * @dev Implementation of the {IERC20} interface.
 *
 * We have followed general OpenZeppelin guidelines: functions revert instead
 * of returning `false` on failure. This behavior is nonetheless conventional
 * and does not conflict with the expectations of ERC20 applications.
 *
 * Additionally, an {Approval} event is emitted on calls to {transferFrom}.
 * This allows applications to reconstruct the allowance for all accounts just
 * by listening to said events. Other implementations of the EIP may not emit
 * these events, as it isn't required by the specification.
 *
 * Finally, the non-standard {decreaseAllowance} and {increaseAllowance}
 * functions have been added to mitigate the well-known issues around setting
 * allowances. See {IERC20-approve}.
 */
contract ERC20 is Context, IERC20 {
    using SafeMath for uint256;

    mapping (address => uint256) private _balances;

    mapping (address => mapping (address => uint256)) private _allowances;

    uint256 private _totalSupply;

    /**
     * @dev See {IERC20-totalSupply}.
     */
    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }

    /**
     * @dev See {IERC20-balanceOf}.
     */
    function balanceOf(address account) public view returns (uint256) {
        return _balances[account];
    }

    /**
     * @dev See {IERC20-transfer}.
     *
     * Requirements:
     *
     * - `recipient` cannot be the zero address.
     * - the caller must have a balance of at least `amount`.
     */
    function transfer(address recipient, uint256 amount) public returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    /**
     * @dev See {IERC20-allowance}.
     */
    function allowance(address owner, address spender) public view returns (uint256) {
        return _allowances[owner][spender];
    }

    /**
     * @dev See {IERC20-approve}.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 amount) public returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    /**
     * @dev See {IERC20-transferFrom}.
     *
     * Emits an {Approval} event indicating the updated allowance. This is not
     * required by the EIP. See the note at the beginning of {ERC20};
     *
     * Requirements:
     * - `sender` and `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     * - the caller must have allowance for `sender`'s tokens of at least
     * `amount`.
     */
    function transferFrom(address sender, address recipient, uint256 amount) public returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }

    /**
     * @dev Atomically increases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender].add(addedValue));
        return true;
    }

    /**
     * @dev Atomically decreases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `spender` must have allowance for the caller of at least
     * `subtractedValue`.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender].sub(subtractedValue, "ERC20: decreased allowance below zero"));
        return true;
    }

    /**
     * @dev Moves tokens `amount` from `sender` to `recipient`.
     *
     * This is internal function is equivalent to {transfer}, and can be used to
     * e.g. implement automatic token fees, slashing mechanisms, etc.
     *
     * Emits a {Transfer} event.
     *
     * Requirements:
     *
     * - `sender` cannot be the zero address.
     * - `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     */
    function _transfer(address sender, address recipient, uint256 amount) internal {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        _balances[sender] = _balances[sender].sub(amount, "ERC20: transfer amount exceeds balance");
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
    }

    /** @dev Creates `amount` tokens and assigns them to `account`, increasing
     * the total supply.
     *
     * Emits a {Transfer} event with `from` set to the zero address.
     *
     * Requirements
     *
     * - `to` cannot be the zero address.
     */
    function _mint(address account, uint256 amount) internal {
        require(account != address(0), "ERC20: mint to the zero address");

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

    /**
     * @dev Destroys `amount` tokens from `account`, reducing the
     * total supply.
     *
     * Emits a {Transfer} event with `to` set to the zero address.
     *
     * Requirements
     *
     * - `account` cannot be the zero address.
     * - `account` must have at least `amount` tokens.
     */
    function _burn(address account, uint256 amount) internal {
        require(account != address(0), "ERC20: burn from the zero address");

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

    /**
     * @dev Sets `amount` as the allowance of `spender` over the `owner`s tokens.
     *
     * This is internal function is equivalent to `approve`, and can be used to
     * e.g. set automatic allowances for certain subsystems, etc.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `owner` cannot be the zero address.
     * - `spender` cannot be the zero address.
     */
    function _approve(address owner, address spender, uint256 amount) internal {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    /**
     * @dev Destroys `amount` tokens from `account`.`amount` is then deducted
     * from the caller's allowance.
     *
     * See {_burn} and {_approve}.
     */
    function _burnFrom(address account, uint256 amount) internal {
        _burn(account, amount);
        _approve(account, _msgSender(), _allowances[account][_msgSender()].sub(amount, "ERC20: burn amount exceeds allowance"));
    }
}

pragma solidity ^0.5.0;

import "./Context.sol";
import "./ERC20.sol";

/**
 * @dev Extension of {ERC20} that allows token holders to destroy both their own
 * tokens and those that they have an allowance for, in a way that can be
 * recognized off-chain (via event analysis).
 */
contract ERC20Burnable is Context, ERC20 {
    /**
     * @dev Destroys `amount` tokens from the caller.
     *
     * See {ERC20-_burn}.
     */
    function burn(uint256 amount) public returns (bool) {
        _burn(_msgSender(), amount);
        return true;
    }

    /**
     * @dev See {ERC20-_burnFrom}.
     */
    function burnFrom(address account, uint256 amount) public returns (bool) {
        _burnFrom(account, amount);
        return true;
    }
}

pragma solidity ^0.5.0;

import "./IERC20.sol";

/**
 * @dev Optional functions from the ERC20 standard.
 */
contract ERC20Detailed is IERC20 {
    string private _name;
    string private _symbol;
    uint8 private _decimals;

    /**
     * @dev Sets the values for `name`, `symbol`, and `decimals`. All three of
     * these values are immutable: they can only be set once during
     * construction.
     */
    constructor (string memory name, string memory symbol, uint8 decimals) public {
        _name = name;
        _symbol = symbol;
        _decimals = decimals;
    }

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

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view returns (string memory) {
        return _symbol;
    }

    /**
     * @dev Returns the number of decimals used to get its user representation.
     * For example, if `decimals` equals `2`, a balance of `505` tokens should
     * be displayed to a user as `5,05` (`505 / 10 ** 2`).
     *
     * Tokens usually opt for a value of 18, imitating the relationship between
     * Ether and Wei.
     *
     * NOTE: This information is only used for _display_ purposes: it in
     * no way affects any of the arithmetic of the contract, including
     * {IERC20-balanceOf} and {IERC20-transfer}.
     */
    function decimals() public view returns (uint8) {
        return _decimals;
    }
}

pragma solidity ^0.5.0;

import "./ERC20.sol";
import "./ERC20Burnable.sol";
import "./ERC20VotingMintable.sol";
import "./Pausable.sol";

/**
 * @title Pausable token
 * @dev ERC20 with pausable transfers and allowances.
 *
 * Useful if you want to stop trades until the end of a crowdsale, or have
 * an emergency switch for freezing all token transfers in the event of a large
 * bug.
 */
contract ERC20Pausable is ERC20, ERC20Burnable, ERC20VotingMintable, 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 increaseAllowance(address spender, uint256 addedValue) public whenNotPaused returns (bool) {
        return super.increaseAllowance(spender, addedValue);
    }

    function decreaseAllowance(address spender, uint256 subtractedValue) public whenNotPaused returns (bool) {
        return super.decreaseAllowance(spender, subtractedValue);
    }

    function burn(uint256 amount) public whenNotPaused returns (bool) {
        return super.burn(amount);
    }

    function burnFrom(address account, uint256 amount) public whenNotPaused returns (bool) {
        return super.burnFrom(account, amount);
    }

    function mintProposal(uint256 amount, uint256 duration) public whenNotPaused returns (bool) {
        return super.mintProposal(amount, duration);
    }

    
}

pragma solidity ^0.5.0;

import "./ERC20.sol";
import "./MinterRole.sol";
import "./SafeMath.sol";

contract ERC20VotingMintable is Context, ERC20, MinterRole {
    using SafeMath for uint256;
    
    event Voted(address indexed voter, uint proposalId, bool vote, uint256 amount);
    event MintProposal(uint256 indexed proposalId, address proposalAddress, uint256 amount, uint256 endTime);
    event ReleaseProposal(uint256 indexed proposalId, address proposalAddress, uint256  amount, bool isSuccess);
    event Retrieved(uint256 indexed proposalId, uint256 amount);

    struct Proposal{
        bool _isActive;
        address _proposalAddress;
        uint256 _mintAmount;
        uint256 _votingEnds;
        uint256 _agree;
        uint256 _disagree;   
    }

    struct Vote{
        bool _vote;
        uint256 _amount;
        bool _retrieved;
    }

    mapping (address => mapping(uint256 => Vote)) private _votes;

    mapping (address => uint256) private _retrieveFrom;
    
    uint256 private _proposalId = 0;
    Proposal[] private _proposalList;
    
    function mintProposal(uint256 amount, uint256 duration) public onlyMinter returns (bool) {
        
        if( _proposalList.length == 0 ){
            _proposalList.push( Proposal(false, address(0), 0, 0, 0, 0) );
        }

        require(!_proposalList[_proposalId]._isActive, "mintProposal: proposal already in progress");
        require(amount > 0, "mintProposal: amount is zero" );
        require(duration >= 1800, "mintProposal: duration is less than 30 min");

        _proposalList[_proposalId]._isActive = true;
        _proposalList[_proposalId]._proposalAddress = _msgSender();
        _proposalList[_proposalId]._mintAmount = amount;
        _proposalList[_proposalId]._votingEnds =  duration.add(block.timestamp);
        
        emit MintProposal(_proposalId, _proposalList[_proposalId]._proposalAddress, _proposalList[_proposalId]._mintAmount, _proposalList[_proposalId]._votingEnds);

        return true;
    }
    
    function voting(bool vote, uint256 amount) public returns (bool) {
        
        if (_proposalList.length == 0) { // minting Proposal array is empty
            revert("voting: proposal not active");
        } else {
            require(_proposalList[_proposalId]._isActive, "voting: proposal not active" );
        }
        
        if(_votes[_msgSender()][_proposalId]._amount == 0) { // if voter hasn't voted, or reduced vote to zero previously
            require(amount > 0, "voting: vote amount is zero" );
        }
        require(_proposalList[_proposalId]._votingEnds > block.timestamp, "voting: voting period has closed");
        require(balanceOf(_msgSender()) >= amount, "voting: vote amount cannot exceed token balance");
        
        // adjust the proposal voting balances
        if (_votes[_msgSender()][_proposalId]._vote != vote && vote == true) { // voter switched thier vote from disagree to agree
            // subtract from disagree and add to agree
            _proposalList[_proposalId]._disagree = _proposalList[_proposalId]._disagree.sub(_votes[_msgSender()][_proposalId]._amount);
            _proposalList[_proposalId]._agree = _proposalList[_proposalId]._agree.add(amount);
        } else if (_votes[_msgSender()][_proposalId]._vote != vote && vote == false){ // voter switched their vote form agree to disagree
            // subtract from agree and add to disagree
            _proposalList[_proposalId]._agree = _proposalList[_proposalId]._agree.sub(_votes[_msgSender()][_proposalId]._amount);
            _proposalList[_proposalId]._disagree = _proposalList[_proposalId]._disagree.add(amount);
        } else if ( vote == true) { // voter reinforced their agree vote
            // add to agree
            _proposalList[_proposalId]._agree = _proposalList[_proposalId]._agree.sub(_votes[_msgSender()][_proposalId]._amount).add(amount);
        } else { // voter reinforced their disagree vote
            // add to disagree
            _proposalList[_proposalId]._disagree = _proposalList[_proposalId]._disagree.sub(_votes[_msgSender()][_proposalId]._amount).add(amount);
        }
        // update 
        _votes[_msgSender()][_proposalId]._vote = vote;

        uint256 oldAmount = _votes[_msgSender()][_proposalId]._amount;

        // assign the new vote amount to this Vote
        _votes[_msgSender()][_proposalId]._amount = amount;


        if(oldAmount > amount) { // refund excess token if vote amount reduced
            _transfer(address(this), _msgSender(), oldAmount.sub(amount));    
        } else { // lock new tokens if vote amount increased
            _transfer(_msgSender(), address(this), amount.sub(oldAmount));  
        }

        emit Voted(_msgSender(), _proposalId, vote,  amount);

        return true;
    }
    
    function releaseProposal() public returns (bool) {
        if (_proposalList.length == 0) {
            revert("releaseProposal: proposal not active");
        } else {
            require(_proposalList[_proposalId]._isActive, "releaseProposal: proposal not active" );
        }
        //require(_proposalList[_proposalId]._isActive, "releaseProposal: proposal not active");
        require( _proposalList[_proposalId]._votingEnds < block.timestamp, "releaseProposal: voting period has not ended");

        _proposalList[_proposalId]._isActive = false; // deactivate proposal
        _proposalList.push(Proposal(false, address(0), 0, 0, 0, 0) );

        uint256 proposalId = _proposalId;
        
        _proposalId = _proposalId.add(1); // increase proposalId for next proposal

        bool success = _proposalList[proposalId]._agree > _proposalList[proposalId]._disagree;
        // check if anyone voted and if agree total is grater than disagree total
        if(_proposalList[proposalId]._agree > 0 && success) {
            _mint( _proposalList[proposalId]._proposalAddress, _proposalList[proposalId]._mintAmount );
        }

        emit ReleaseProposal(proposalId, _proposalList[proposalId]._proposalAddress, _proposalList[proposalId]._mintAmount, success);
        
        return true;
    }

    function retrieve(uint proposalId) public {
        require(_proposalList[proposalId]._votingEnds < block.timestamp, "retrieve: voting period has not ended");

        if (_votes[_msgSender()][proposalId]._retrieved || _votes[_msgSender()][proposalId]._amount == 0) {
            return;
        }

        _votes[_msgSender()][proposalId]._retrieved = true;

        _transfer(address(this), _msgSender(), _votes[_msgSender()][proposalId]._amount);          

       emit Retrieved(proposalId, _votes[_msgSender()][proposalId]._amount);

    }

    function retrieveAll() public {

        for (uint i = _retrieveFrom[_msgSender()]; i < currentProposalID(); i++) {
            retrieve(i);
            _retrieveFrom[_msgSender()] = i;
        }

    }

    function getVote(address voter, uint256 proposalId) public view returns( bool vote, uint256 amount, bool retrieved) {
        
        vote = _votes[voter][proposalId]._vote ;
        amount = _votes[voter][proposalId]._amount;
        retrieved = _votes[voter][proposalId]._retrieved;

        return ( vote, amount, retrieved);
    }
    
    function getProposal(uint256 proposalId) public view returns( bool isActive, string memory state, address proposalAddress, uint256 mintAmount, uint256 endTime, uint256 remainingTime, uint256 agree, uint256 disagree, bool isSuccess){
        if (_proposalList.length > 0) {
            Proposal memory proposal = _proposalList[proposalId];

            uint256 remaining;
            if (proposal._votingEnds > block.timestamp) {
                remaining = proposal._votingEnds.sub(block.timestamp);
            } else {
                remaining = 0;
            }

            string memory _state = ( proposal._isActive && proposal._votingEnds > block.timestamp ) ? "voting" : "closed";
            return ( proposal._isActive, _state , proposal._proposalAddress, proposal._mintAmount, proposal._votingEnds, remaining, proposal._agree, proposal._disagree, proposal._agree > proposal._disagree);
        } else {
            return (false, "closed", address(0), 0, 0, 0, 0, 0, false);
        }
    }
    
    function currentProposal() public view returns (bool isActive, string memory state ,address proposalAddress, uint256 mintAmount, uint256 endTime, uint256 remainingTime, uint256 agree, uint256 disagree, bool isSuccess) {
        return getProposal(currentProposalID());
    }

    function currentProposalID() public view returns (uint256 proposalId){
        return _proposalId;
    }
    
}

pragma solidity ^0.5.0;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP. Does not include
 * the optional functions; to access them see {ERC20Detailed}.
 */
interface IERC20 {
    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves `amount` tokens from the caller's account to `recipient`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address recipient, uint256 amount) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: 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
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `sender` to `recipient` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);

    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

  
pragma solidity ^0.5.0;

import "./Context.sol";
import "./Roles.sol";

contract MinterRole is Context {
    using Roles for Roles.Role;

    event MinterAdded(address indexed account);
    event MinterRemoved(address indexed account);

    Roles.Role private _minters;

    constructor () internal {
        _addMinter(_msgSender());
    }

    modifier onlyMinter() {
        require(isMinter(_msgSender()), "MinterRole: caller does not have the Minter role");
        _;
    }

    function isMinter(address account) public view returns (bool) {
        return _minters.has(account);
    }

    function addMinter(address account) public onlyMinter {
        _addMinter(account);
    }

    function renounceMinter() public {
        _removeMinter(_msgSender());
    }

    function _addMinter(address account) internal {
        _minters.add(account);
        emit MinterAdded(account);
    }

    function _removeMinter(address account) internal {
        _minters.remove(account);
        emit MinterRemoved(account);
    }
}

pragma solidity ^0.5.0;

import "./Context.sol";
import "./PauserRole.sol";

/**
 * @dev Contract module which allows children to implement an emergency stop
 * mechanism that can be triggered by an authorized account.
 *
 * This module is used through inheritance. It will make available the
 * modifiers `whenNotPaused` and `whenPaused`, which can be applied to
 * the functions of your contract. Note that they will not be pausable by
 * simply including this module, only once the modifiers are put in place.
 */
contract Pausable is Context, PauserRole {
    /**
     * @dev Emitted when the pause is triggered by a pauser (`account`).
     */
    event Paused(address account);

    /**
     * @dev Emitted when the pause is lifted by a pauser (`account`).
     */
    event Unpaused(address account);

    bool private _paused;

    /**
     * @dev Initializes the contract in unpaused state. Assigns the Pauser role
     * to the deployer.
     */
    constructor () internal {
        _paused = false;
    }

    /**
     * @dev Returns true if the contract is paused, and 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, "Pausable: paused");
        _;
    }

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

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

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

  
pragma solidity ^0.5.0;

import "./Context.sol";
import "./Roles.sol";

contract PauserRole is Context {
    using Roles for Roles.Role;

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

    Roles.Role private _pausers;

    constructor () internal {
        _addPauser(_msgSender());
    }

    modifier onlyPauser() {
        require(isPauser(_msgSender()), "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(_msgSender());
    }

    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;

import "./Context.sol";
import "./Roles.sol";

contract RecoverRole is Context {
    using Roles for Roles.Role;

    event RecovererAdded(address indexed account);
    event RecovererRemoved(address indexed account);

    Roles.Role private _recoverers;

    constructor () internal {
        _addRecoverer(_msgSender());
    }

    modifier onlyRecoverer() {
        require(isRecoverer(_msgSender()), "RecovererRole: caller does not have the Recoverer role");
        _;
    }

    function isRecoverer(address account) public view returns (bool) {
        return _recoverers.has(account);
    }

    function addRecoverer(address account) public onlyRecoverer {
        _addRecoverer(account);
    }

    function renounceRecoverer() public {
        _removeRecoverer(_msgSender());
    }

    function _addRecoverer(address account) internal {
        _recoverers.add(account);
        emit RecovererAdded(account);
    }

    function _removeRecoverer(address account) internal {
        _recoverers.remove(account);
        emit RecovererRemoved(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;
        uint256 numberOfBearers;
    }

    /**
     * @dev Give an account access to this role.
     */
    function add(Role storage role, address account) internal {
        require(!has(role, account), "Roles: account already has role");
        role.bearer[account] = true;
        role.numberOfBearers += 1;
    }

    /**
     * @dev Remove an account's access to this role.
     */
    function remove(Role storage role, address account) internal {
        require(has(role, account), "Roles: account does not have role");
        uint256 numberOfBearers = role.numberOfBearers -= 1; // there is always at least one account added in constructor, so this cannot overflow below zero
        require(atLeastOneBearer(numberOfBearers), "Roles: there must be at least one account assigned to this role");
        
        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), "Roles: account is the zero address");
        return role.bearer[account];
    }

    /**
     * @dev Check if this role has at least one account assigned to it.
     * @return bool
     */
    function atLeastOneBearer(uint256 numberOfBearers) internal pure returns (bool) {
        if (numberOfBearers > 0) {
            return true;
        } else {
            return false;
        }
    }
}

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) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     *
     * _Available since v2.4.0._
     */
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        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-contracts/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) {
        return div(a, b, "SafeMath: division by zero");
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts with custom message 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.
     *
     * _Available since v2.4.0._
     */
    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, errorMessage);
        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) {
        return mod(a, b, "SafeMath: modulo by zero");
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts with custom message 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.
     *
     * _Available since v2.4.0._
     */
    function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }
}

pragma solidity ^0.5.0;

import "./IERC20.sol";
import "./Context.sol";
import "./RecoverRole.sol";

contract TokenRecover is Context, RecoverRole {

    /**
     * @dev Remember that only owner can call so be careful when use on contracts generated from other contracts.
     * @param tokenAddress The token contract address
     * @param tokenAmount Number of tokens to be sent
     */
    function recoverERC20(address tokenAddress, uint256 tokenAmount) public onlyRecoverer {
        IERC20(tokenAddress).transfer(_msgSender(), tokenAmount);
    }
}

• 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":"uint256","name":"proposalId","type":"uint256"},{"indexed":false,"internalType":"address","name":"proposalAddress","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"endTime","type":"uint256"}],"name":"MintProposal","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"MinterAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"MinterRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"PauserAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"PauserRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"RecovererAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"RecovererRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"proposalId","type":"uint256"},{"indexed":false,"internalType":"address","name":"proposalAddress","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"bool","name":"isSuccess","type":"bool"}],"name":"ReleaseProposal","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"proposalId","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Retrieved","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"voter","type":"address"},{"indexed":false,"internalType":"uint256","name":"proposalId","type":"uint256"},{"indexed":false,"internalType":"bool","name":"vote","type":"bool"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Voted","type":"event"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"addMinter","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"addPauser","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"addRecoverer","outputs":[],"payable":false,"stateMutability":"nonpayable","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":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"currentProposal","outputs":[{"internalType":"bool","name":"isActive","type":"bool"},{"internalType":"string","name":"state","type":"string"},{"internalType":"address","name":"proposalAddress","type":"address"},{"internalType":"uint256","name":"mintAmount","type":"uint256"},{"internalType":"uint256","name":"endTime","type":"uint256"},{"internalType":"uint256","name":"remainingTime","type":"uint256"},{"internalType":"uint256","name":"agree","type":"uint256"},{"internalType":"uint256","name":"disagree","type":"uint256"},{"internalType":"bool","name":"isSuccess","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"currentProposalID","outputs":[{"internalType":"uint256","name":"proposalId","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":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"proposalId","type":"uint256"}],"name":"getProposal","outputs":[{"internalType":"bool","name":"isActive","type":"bool"},{"internalType":"string","name":"state","type":"string"},{"internalType":"address","name":"proposalAddress","type":"address"},{"internalType":"uint256","name":"mintAmount","type":"uint256"},{"internalType":"uint256","name":"endTime","type":"uint256"},{"internalType":"uint256","name":"remainingTime","type":"uint256"},{"internalType":"uint256","name":"agree","type":"uint256"},{"internalType":"uint256","name":"disagree","type":"uint256"},{"internalType":"bool","name":"isSuccess","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"voter","type":"address"},{"internalType":"uint256","name":"proposalId","type":"uint256"}],"name":"getVote","outputs":[{"internalType":"bool","name":"vote","type":"bool"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"bool","name":"retrieved","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"initialSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isMinter","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isPauser","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isRecoverer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"issuingCompany","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"issuingCountry","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint256","name":"duration","type":"uint256"}],"name":"mintProposal","outputs":[{"internalType":"bool","name":"","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":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":false,"inputs":[{"internalType":"address","name":"tokenAddress","type":"address"},{"internalType":"uint256","name":"tokenAmount","type":"uint256"}],"name":"recoverERC20","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"releaseProposal","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renounceMinter","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renouncePauser","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renounceRecoverer","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"proposalId","type":"uint256"}],"name":"retrieve","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"retrieveAll","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"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":[],"name":"unpause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"bool","name":"vote","type":"bool"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"voting","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"}]

60806040526000600c556040518060400160405280600881526020017f486f6e676b6f6e670000000000000000000000000000000000000000000000008152506011908051906020019062000056929190620007a2565b506040518060400160405280601d81526020017f4875696d696e20576f726c6420486f6c64696e6773204c696d6974656400000081525060129080519060200190620000a4929190620007a2565b50633b9aca00601355348015620000ba57600080fd5b506040518060400160405280601981526020017f416e63686f72204e657572616c20576f726c6420546f6b656e000000000000008152506040518060400160405280600381526020017f414e5700000000000000000000000000000000000000000000000000000000008152506012620001496200013d6200023460201b60201c565b6200023c60201b60201c565b826005908051906020019062000161929190620007a2565b5081600690805190602001906200017a929190620007a2565b5080600760006101000a81548160ff021916908360ff160217905550505050620001b9620001ad6200023460201b60201c565b6200029d60201b60201c565b620001d9620001cd6200023460201b60201c565b620002fe60201b60201c565b6000601060006101000a81548160ff0219169083151502179055506200022e620002086200023460201b60201c565b620002186200035f60201b60201c565b60ff16600a0a601354026200037660201b60201c565b62000851565b600033905090565b620002578160006200054260201b6200487e1790919060201c565b8073ffffffffffffffffffffffffffffffffffffffff167fe3558b6a8345f54a82b7d6dca5a36625b1d8b2140ff7053871b2c37c1dcaa21460405160405180910390a250565b620002b88160086200054260201b6200487e1790919060201c565b8073ffffffffffffffffffffffffffffffffffffffff167f6ae172837ea30b801fbfcdd4108aa1d5bf8ff775444fd70256b44e6bf3dfc3f660405160405180910390a250565b6200031981600e6200054260201b6200487e1790919060201c565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b6000600760009054906101000a900460ff16905090565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156200041a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f45524332303a206d696e7420746f20746865207a65726f20616464726573730081525060200191505060405180910390fd5b62000436816004546200063960201b620035301790919060201c565b6004819055506200049581600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200063960201b620035301790919060201c565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b620005548282620006c260201b60201c565b15620005c8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f526f6c65733a206163636f756e7420616c72656164792068617320726f6c650081525060200191505060405180910390fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550600182600101600082825401925050819055505050565b600080828401905083811015620006b8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156200074b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180620055e56022913960400191505060405180910390fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620007e557805160ff191683800117855562000816565b8280016001018555821562000816579182015b8281111562000815578251825591602001919060010190620007f8565b5b50905062000825919062000829565b5090565b6200084e91905b808211156200084a57600081600090555060010162000830565b5090565b90565b614d8480620008616000396000f3fe608060405234801561001057600080fd5b50600436106102325760003560e01c80636ef8d66d1161013057806395d89b41116100b8578063a9059cbb1161007c578063a9059cbb14610bc2578063aa271e1a14610c28578063c2134b2314610c84578063c7f758a814610cc8578063dd62ed3e14610ddb57610232565b806395d89b4114610a3b578063983b2d5614610abe5780639865027514610b02578063a457c2d714610b0c578063a45dd7a614610b7257610232565b80638456cb59116100ff5780638456cb59146109595780638980f11f146109635780638e4d78f6146109b15780638f88708b14610a0357806395607ced14610a3157610232565b80636ef8d66d1461084d57806370a082311461085757806379cc6790146108af57806382dc1ec41461091557610232565b806339509351116101be5780634ddf29e5116101825780634ddf29e5146106f05780635c975abb146107125780636396619014610734578063647a2570146107525780636b0dd90f146107d557610232565b806339509351146105d45780633f4ba83a1461063a57806342966c681461064457806342db2fba1461068a57806346fbf68e1461069457610232565b806322f06ae41161020557806322f06ae4146103c157806323b872dd1461041d5780632b49d425146104a3578063313ce56714610592578063378dc3dc146105b657610232565b806306fdde0314610237578063095ea7b3146102ba5780631300607a1461032057806318160ddd146103a3575b600080fd5b61023f610e53565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561027f578082015181840152602081019050610264565b50505050905090810190601f1680156102ac5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610306600480360360408110156102d057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ef5565b604051808215151515815260200191505060405180910390f35b610328610f8c565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561036857808201518184015260208101905061034d565b50505050905090810190601f1680156103955780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6103ab61102e565b6040518082815260200191505060405180910390f35b610403600480360360208110156103d757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611038565b604051808215151515815260200191505060405180910390f35b6104896004803603606081101561043357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611055565b604051808215151515815260200191505060405180910390f35b6104ab6110ee565b604051808a151515158152602001806020018973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018881526020018781526020018681526020018581526020018481526020018315151515815260200182810382528a818151815260200191508051906020019080838360005b8381101561054f578082015181840152602081019050610534565b50505050905090810190601f16801561057c5780820380516001836020036101000a031916815260200191505b509a505050505050505050505060405180910390f35b61059a61112a565b604051808260ff1660ff16815260200191505060405180910390f35b6105be611141565b6040518082815260200191505060405180910390f35b610620600480360360408110156105ea57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061114b565b604051808215151515815260200191505060405180910390f35b6106426111e2565b005b6106706004803603602081101561065a57600080fd5b8101908080359060200190929190505050611350565b604051808215151515815260200191505060405180910390f35b6106926113e5565b005b6106d6600480360360208110156106aa57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506113f7565b604051808215151515815260200191505060405180910390f35b6106f8611414565b604051808215151515815260200191505060405180910390f35b61071a61188c565b604051808215151515815260200191505060405180910390f35b61073c6118a3565b6040518082815260200191505060405180910390f35b61075a6118ad565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561079a57808201518184015260208101905061077f565b50505050905090810190601f1680156107c75780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610821600480360360408110156107eb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061194f565b604051808415151515815260200183815260200182151515158152602001935050505060405180910390f35b610855611a80565b005b6108996004803603602081101561086d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611a92565b6040518082815260200191505060405180910390f35b6108fb600480360360408110156108c557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611adb565b604051808215151515815260200191505060405180910390f35b6109576004803603602081101561092b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b72565b005b610961611be3565b005b6109af6004803603604081101561097957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611d52565b005b6109e9600480360360408110156109c757600080fd5b8101908080351515906020019092919080359060200190929190505050611e85565b604051808215151515815260200191505060405180910390f35b610a2f60048036036020811015610a1957600080fd5b8101908080359060200190929190505050612846565b005b610a39612b08565b005b610a43612bc7565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610a83578082015181840152602081019050610a68565b50505050905090810190601f168015610ab05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610b0060048036036020811015610ad457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612c69565b005b610b0a612cda565b005b610b5860048036036040811015610b2257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612cec565b604051808215151515815260200191505060405180910390f35b610ba860048036036040811015610b8857600080fd5b810190808035906020019092919080359060200190929190505050612d83565b604051808215151515815260200191505060405180910390f35b610c0e60048036036040811015610bd857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612e1a565b604051808215151515815260200191505060405180910390f35b610c6a60048036036020811015610c3e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612eb1565b604051808215151515815260200191505060405180910390f35b610cc660048036036020811015610c9a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612ece565b005b610cf460048036036020811015610cde57600080fd5b8101908080359060200190929190505050612f3f565b604051808a151515158152602001806020018973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018881526020018781526020018681526020018581526020018481526020018315151515815260200182810382528a818151815260200191508051906020019080838360005b83811015610d98578082015181840152602081019050610d7d565b50505050905090810190601f168015610dc55780820380516001836020036101000a031916815260200191505b509a505050505050505050505060405180910390f35b610e3d60048036036040811015610df157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506131a3565b6040518082815260200191505060405180910390f35b606060058054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610eeb5780601f10610ec057610100808354040283529160200191610eeb565b820191906000526020600020905b815481529060010190602001808311610ece57829003601f168201915b5050505050905090565b6000601060009054906101000a900460ff1615610f7a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b610f84838361322a565b905092915050565b606060118054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156110245780601f10610ff957610100808354040283529160200191611024565b820191906000526020600020905b81548152906001019060200180831161100757829003601f168201915b5050505050905090565b6000600454905090565b600061104e82600061324890919063ffffffff16565b9050919050565b6000601060009054906101000a900460ff16156110da576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b6110e5848484613326565b90509392505050565b60006060600080600080600080600061110d6111086118a3565b612f3f565b985098509850985098509850985098509850909192939495969798565b6000600760009054906101000a900460ff16905090565b6000601354905090565b6000601060009054906101000a900460ff16156111d0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b6111da83836133ff565b905092915050565b6111f26111ed6134b2565b6113f7565b611247576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526030815260200180614a5c6030913960400191505060405180910390fd5b601060009054906101000a900460ff166112c9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f5061757361626c653a206e6f742070617573656400000000000000000000000081525060200191505060405180910390fd5b6000601060006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa61130d6134b2565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b6000601060009054906101000a900460ff16156113d5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b6113de826134ba565b9050919050565b6113f56113f06134b2565b6134d6565b565b600061140d82600e61324890919063ffffffff16565b9050919050565b600080600d805490501415611474576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180614cb36024913960400191505060405180910390fd5b600d600c548154811061148357fe5b906000526020600020906005020160000160009054906101000a900460ff166114f7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180614cb36024913960400191505060405180910390fd5b42600d600c548154811061150757fe5b9060005260206000209060050201600201541061156f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c815260200180614c63602c913960400191505060405180910390fd5b6000600d600c548154811061158057fe5b906000526020600020906005020160000160006101000a81548160ff021916908315150217905550600d6040518060c00160405280600015158152602001600073ffffffffffffffffffffffffffffffffffffffff16815260200160008152602001600081526020016000815260200160008152509080600181540180825580915050906001820390600052602060002090600502016000909192909190915060008201518160000160006101000a81548160ff02191690831515021790555060208201518160000160016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060408201518160010155606082015181600201556080820151816003015560a082015181600401555050506000600c5490506116cf6001600c5461353090919063ffffffff16565b600c819055506000600d82815481106116e457fe5b906000526020600020906005020160040154600d838154811061170357fe5b9060005260206000209060050201600301541190506000600d838154811061172757fe5b9060005260206000209060050201600301541180156117435750805b156117af576117ae600d838154811061175857fe5b906000526020600020906005020160000160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600d848154811061179757fe5b9060005260206000209060050201600101546135b8565b5b817f5f87e0f472ea25e6ba3f3b4c2bab9b507f1931e7c565d8f248013abdb7049b96600d84815481106117de57fe5b906000526020600020906005020160000160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600d858154811061181d57fe5b90600052602060002090600502016001015484604051808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200183815260200182151515158152602001935050505060405180910390a260019250505090565b6000601060009054906101000a900460ff16905090565b6000600c54905090565b606060128054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156119455780601f1061191a57610100808354040283529160200191611945565b820191906000526020600020905b81548152906001019060200180831161192857829003601f168201915b5050505050905090565b6000806000600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600085815260200190815260200160002060000160009054906101000a900460ff169250600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000858152602001908152602001600020600101549150600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600085815260200190815260200160002060020160009054906101000a900460ff1690508282829250925092509250925092565b611a90611a8b6134b2565b613775565b565b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000601060009054906101000a900460ff1615611b60576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b611b6a83836137cf565b905092915050565b611b82611b7d6134b2565b6113f7565b611bd7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526030815260200180614a5c6030913960400191505060405180910390fd5b611be0816137e5565b50565b611bf3611bee6134b2565b6113f7565b611c48576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526030815260200180614a5c6030913960400191505060405180910390fd5b601060009054906101000a900460ff1615611ccb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b6001601060006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258611d0f6134b2565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b611d62611d5d6134b2565b611038565b611db7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526036815260200180614add6036913960400191505060405180910390fd5b8173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb611ddb6134b2565b836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015611e4557600080fd5b505af1158015611e59573d6000803e3d6000fd5b505050506040513d6020811015611e6f57600080fd5b8101908080519060200190929190505050505050565b600080600d805490501415611f02576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f766f74696e673a2070726f706f73616c206e6f7420616374697665000000000081525060200191505060405180910390fd5b600d600c5481548110611f1157fe5b906000526020600020906005020160000160009054906101000a900460ff16611fa2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f766f74696e673a2070726f706f73616c206e6f7420616374697665000000000081525060200191505060405180910390fd5b6000600a6000611fb06134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600c54815260200190815260200160002060010154141561207e576000821161207d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f766f74696e673a20766f746520616d6f756e74206973207a65726f000000000081525060200191505060405180910390fd5b5b42600d600c548154811061208e57fe5b90600052602060002090600502016002015411612113576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f766f74696e673a20766f74696e6720706572696f642068617320636c6f73656481525060200191505060405180910390fd5b8161212461211f6134b2565b611a92565b101561217b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180614a8c602f913960400191505060405180910390fd5b821515600a600061218a6134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600c54815260200190815260200160002060000160009054906101000a900460ff161515141580156121fc575060011515831515145b1561231057612290600a60006122106134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600c54815260200190815260200160002060010154600d600c548154811061227057fe5b90600052602060002090600502016004015461383f90919063ffffffff16565b600d600c548154811061229f57fe5b9060005260206000209060050201600401819055506122e782600d600c54815481106122c757fe5b90600052602060002090600502016003015461353090919063ffffffff16565b600d600c54815481106122f657fe5b906000526020600020906005020160030181905550612644565b821515600a600061231f6134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600c54815260200190815260200160002060000160009054906101000a900460ff16151514158015612391575060001515831515145b156124a557612425600a60006123a56134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600c54815260200190815260200160002060010154600d600c548154811061240557fe5b90600052602060002090600502016003015461383f90919063ffffffff16565b600d600c548154811061243457fe5b90600052602060002090600502016003018190555061247c82600d600c548154811061245c57fe5b90600052602060002090600502016004015461353090919063ffffffff16565b600d600c548154811061248b57fe5b906000526020600020906005020160040181905550612643565b60011515831515141561257c5761255382612545600a60006124c56134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600c54815260200190815260200160002060010154600d600c548154811061252557fe5b90600052602060002090600502016003015461383f90919063ffffffff16565b61353090919063ffffffff16565b600d600c548154811061256257fe5b906000526020600020906005020160030181905550612642565b61261d8261260f600a600061258f6134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600c54815260200190815260200160002060010154600d600c54815481106125ef57fe5b90600052602060002090600502016004015461383f90919063ffffffff16565b61353090919063ffffffff16565b600d600c548154811061262c57fe5b9060005260206000209060050201600401819055505b5b5b82600a60006126516134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600c54815260200190815260200160002060000160006101000a81548160ff0219169083151502179055506000600a60006126c66134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600c54815260200190815260200160002060010154905082600a60006127266134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600c54815260200190815260200160002060010181905550828111156127ab576127a63061278e6134b2565b6127a1868561383f90919063ffffffff16565b613889565b6127d0565b6127cf6127b66134b2565b306127ca848761383f90919063ffffffff16565b613889565b5b6127d86134b2565b73ffffffffffffffffffffffffffffffffffffffff167f9fea94799b68dbb994c4e44547ea7b5c9e4068fbc385b8b688005a16b60c3cc6600c5486866040518084815260200183151515158152602001828152602001935050505060405180910390a2600191505092915050565b42600d828154811061285457fe5b906000526020600020906005020160020154106128bc576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180614b396025913960400191505060405180910390fd5b600a60006128c86134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082815260200190815260200160002060020160009054906101000a900460ff168061298957506000600a60006129386134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600083815260200190815260200160002060010154145b1561299357612b05565b6001600a60006129a16134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600083815260200190815260200160002060020160006101000a81548160ff021916908315150217905550612a7230612a126134b2565b600a6000612a1e6134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600085815260200190815260200160002060010154613889565b807fbee37dab1a7977da0b005c7ce6e718f56a0b86db9be1bcc76282734d9227593a600a6000612aa06134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000848152602001908152602001600020600101546040518082815260200191505060405180910390a25b50565b6000600b6000612b166134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b612b5c6118a3565b811015612bc457612b6c81612846565b80600b6000612b796134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508080600101915050612b54565b50565b606060068054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015612c5f5780601f10612c3457610100808354040283529160200191612c5f565b820191906000526020600020905b815481529060010190602001808311612c4257829003601f168201915b5050505050905090565b612c79612c746134b2565b612eb1565b612cce576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526030815260200180614b5e6030913960400191505060405180910390fd5b612cd781613b43565b50565b612cea612ce56134b2565b613b9d565b565b6000601060009054906101000a900460ff1615612d71576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b612d7b8383613bf7565b905092915050565b6000601060009054906101000a900460ff1615612e08576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b612e128383613cc4565b905092915050565b6000601060009054906101000a900460ff1615612e9f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b612ea98383614194565b905092915050565b6000612ec782600861324890919063ffffffff16565b9050919050565b612ede612ed96134b2565b611038565b612f33576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526036815260200180614add6036913960400191505060405180910390fd5b612f3c816141b2565b50565b60006060600080600080600080600080600d80549050111561312857612f63614989565b600d8b81548110612f7057fe5b90600052602060002090600502016040518060c00160405290816000820160009054906101000a900460ff161515151581526020016000820160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016001820154815260200160028201548152602001600382015481526020016004820154815250509050600042826060015111156130505761304942836060015161383f90919063ffffffff16565b9050613055565b600090505b60608260000151801561306b5750428360600151115b6130aa576040518060400160405280600681526020017f636c6f73656400000000000000000000000000000000000000000000000000008152506130e1565b6040518060400160405280600681526020017f766f74696e6700000000000000000000000000000000000000000000000000008152505b90508260000151818460200151856040015186606001518688608001518960a001518a60a001518b60800151119b509b509b509b509b509b509b509b509b50505050613196565b6000806000806000806000806040518060400160405280600681526020017f636c6f7365640000000000000000000000000000000000000000000000000000815250969594939291908696508595508494508393508292508191509850985098509850985098509850985098505b9193959799909294969850565b6000600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600061323e6132376134b2565b848461420c565b6001905092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156132cf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180614bd76022913960400191505060405180910390fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b6000613333848484613889565b6133f48461333f6134b2565b6133ef85604051806060016040528060288152602001614baf60289139600360008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006133a56134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546144039092919063ffffffff16565b61420c565b600190509392505050565b60006134a861340c6134b2565b846134a3856003600061341d6134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461353090919063ffffffff16565b61420c565b6001905092915050565b600033905090565b60006134cd6134c76134b2565b836144c3565b60019050919050565b6134ea81600061467d90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fc69b285b1af5c860a5bc64db4c3174315e7cdcefa6fce8882dabc93f6ef6946e60405160405180910390a250565b6000808284019050838110156135ae576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561365b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f45524332303a206d696e7420746f20746865207a65726f20616464726573730081525060200191505060405180910390fd5b6136708160045461353090919063ffffffff16565b6004819055506136c881600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461353090919063ffffffff16565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b61378981600e61467d90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e60405160405180910390a250565b60006137db83836147af565b6001905092915050565b6137f981600e61487e90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b600061388183836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250614403565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561390f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180614c3e6025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415613995576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806149d86023913960400191505060405180910390fd5b613a0181604051806060016040528060268152602001614b1360269139600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546144039092919063ffffffff16565b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550613a9681600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461353090919063ffffffff16565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b613b5781600861487e90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6ae172837ea30b801fbfcdd4108aa1d5bf8ff775444fd70256b44e6bf3dfc3f660405160405180910390a250565b613bb181600861467d90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fe94479a9f7e1952cc78f2d6baab678adc1b772d936c6583def489e524cb6669260405160405180910390a250565b6000613cba613c046134b2565b84613cb585604051806060016040528060258152602001614d2b6025913960036000613c2e6134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546144039092919063ffffffff16565b61420c565b6001905092915050565b6000613cd6613cd16134b2565b612eb1565b613d2b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526030815260200180614b5e6030913960400191505060405180910390fd5b6000600d805490501415613e4457600d6040518060c00160405280600015158152602001600073ffffffffffffffffffffffffffffffffffffffff16815260200160008152602001600081526020016000815260200160008152509080600181540180825580915050906001820390600052602060002090600502016000909192909190915060008201518160000160006101000a81548160ff02191690831515021790555060208201518160000160016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060408201518160010155606082015181600201556080820151816003015560a082015181600401555050505b600d600c5481548110613e5357fe5b906000526020600020906005020160000160009054906101000a900460ff1615613ec8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a815260200180614d01602a913960400191505060405180910390fd5b60008311613f3e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f6d696e7450726f706f73616c3a20616d6f756e74206973207a65726f0000000081525060200191505060405180910390fd5b610708821015613f99576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a815260200180614cd7602a913960400191505060405180910390fd5b6001600d600c5481548110613faa57fe5b906000526020600020906005020160000160006101000a81548160ff021916908315150217905550613fda6134b2565b600d600c5481548110613fe957fe5b906000526020600020906005020160000160016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555082600d600c548154811061404857fe5b906000526020600020906005020160010181905550614070428361353090919063ffffffff16565b600d600c548154811061407f57fe5b906000526020600020906005020160020181905550600c547f895f228a312246c1725cd4b798d2134f4f89831129023b83c44ae4e1fceb6102600d600c54815481106140c757fe5b906000526020600020906005020160000160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600d600c548154811061410857fe5b906000526020600020906005020160010154600d600c548154811061412957fe5b906000526020600020906005020160020154604051808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001838152602001828152602001935050505060405180910390a26001905092915050565b60006141a86141a16134b2565b8484613889565b6001905092915050565b6141c681600061487e90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fe3558b6a8345f54a82b7d6dca5a36625b1d8b2140ff7053871b2c37c1dcaa21460405160405180910390a250565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415614292576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180614c8f6024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415614318576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180614abb6022913960400191505060405180910390fd5b80600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b60008383111582906144b0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561447557808201518184015260208101905061445a565b50505050905090810190601f1680156144a25780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415614549576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180614c1d6021913960400191505060405180910390fd5b6145b581604051806060016040528060228152602001614a3a60229139600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546144039092919063ffffffff16565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061460d8160045461383f90919063ffffffff16565b600481905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6146878282613248565b6146dc576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180614b8e6021913960400191505060405180910390fd5b600060018360010160008282540392505081905590506146fb8161496c565b614750576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603f8152602001806149fb603f913960400191505060405180910390fd5b60008360000160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550505050565b6147b982826144c3565b61487a826147c56134b2565b61487584604051806060016040528060248152602001614bf960249139600360008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600061482b6134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546144039092919063ffffffff16565b61420c565b5050565b6148888282613248565b156148fb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f526f6c65733a206163636f756e7420616c72656164792068617320726f6c650081525060200191505060405180910390fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550600182600101600082825401925050819055505050565b60008082111561497f5760019050614984565b600090505b919050565b6040518060c00160405280600015158152602001600073ffffffffffffffffffffffffffffffffffffffff16815260200160008152602001600081526020016000815260200160008152509056fe45524332303a207472616e7366657220746f20746865207a65726f2061646472657373526f6c65733a207468657265206d757374206265206174206c65617374206f6e65206163636f756e742061737369676e656420746f207468697320726f6c6545524332303a206275726e20616d6f756e7420657863656564732062616c616e6365506175736572526f6c653a2063616c6c657220646f6573206e6f742068617665207468652050617573657220726f6c65766f74696e673a20766f746520616d6f756e742063616e6e6f742065786365656420746f6b656e2062616c616e636545524332303a20617070726f766520746f20746865207a65726f20616464726573735265636f7665726572526f6c653a2063616c6c657220646f6573206e6f74206861766520746865205265636f766572657220726f6c6545524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e636572657472696576653a20766f74696e6720706572696f6420686173206e6f7420656e6465644d696e746572526f6c653a2063616c6c657220646f6573206e6f74206861766520746865204d696e74657220726f6c65526f6c65733a206163636f756e7420646f6573206e6f74206861766520726f6c6545524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365526f6c65733a206163636f756e7420697320746865207a65726f206164647265737345524332303a206275726e20616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737372656c6561736550726f706f73616c3a20766f74696e6720706572696f6420686173206e6f7420656e64656445524332303a20617070726f76652066726f6d20746865207a65726f206164647265737372656c6561736550726f706f73616c3a2070726f706f73616c206e6f74206163746976656d696e7450726f706f73616c3a206475726174696f6e206973206c657373207468616e203330206d696e6d696e7450726f706f73616c3a2070726f706f73616c20616c726561647920696e2070726f677265737345524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa265627a7a72315820c3e5612f140fb9267be2fabde687cb0447f00cab9951590415702a7d2fa10a5a64736f6c63430005110032526f6c65733a206163636f756e7420697320746865207a65726f2061646472657373

0x608060405234801561001057600080fd5b50600436106102325760003560e01c80636ef8d66d1161013057806395d89b41116100b8578063a9059cbb1161007c578063a9059cbb14610bc2578063aa271e1a14610c28578063c2134b2314610c84578063c7f758a814610cc8578063dd62ed3e14610ddb57610232565b806395d89b4114610a3b578063983b2d5614610abe5780639865027514610b02578063a457c2d714610b0c578063a45dd7a614610b7257610232565b80638456cb59116100ff5780638456cb59146109595780638980f11f146109635780638e4d78f6146109b15780638f88708b14610a0357806395607ced14610a3157610232565b80636ef8d66d1461084d57806370a082311461085757806379cc6790146108af57806382dc1ec41461091557610232565b806339509351116101be5780634ddf29e5116101825780634ddf29e5146106f05780635c975abb146107125780636396619014610734578063647a2570146107525780636b0dd90f146107d557610232565b806339509351146105d45780633f4ba83a1461063a57806342966c681461064457806342db2fba1461068a57806346fbf68e1461069457610232565b806322f06ae41161020557806322f06ae4146103c157806323b872dd1461041d5780632b49d425146104a3578063313ce56714610592578063378dc3dc146105b657610232565b806306fdde0314610237578063095ea7b3146102ba5780631300607a1461032057806318160ddd146103a3575b600080fd5b61023f610e53565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561027f578082015181840152602081019050610264565b50505050905090810190601f1680156102ac5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610306600480360360408110156102d057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ef5565b604051808215151515815260200191505060405180910390f35b610328610f8c565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561036857808201518184015260208101905061034d565b50505050905090810190601f1680156103955780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6103ab61102e565b6040518082815260200191505060405180910390f35b610403600480360360208110156103d757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611038565b604051808215151515815260200191505060405180910390f35b6104896004803603606081101561043357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611055565b604051808215151515815260200191505060405180910390f35b6104ab6110ee565b604051808a151515158152602001806020018973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018881526020018781526020018681526020018581526020018481526020018315151515815260200182810382528a818151815260200191508051906020019080838360005b8381101561054f578082015181840152602081019050610534565b50505050905090810190601f16801561057c5780820380516001836020036101000a031916815260200191505b509a505050505050505050505060405180910390f35b61059a61112a565b604051808260ff1660ff16815260200191505060405180910390f35b6105be611141565b6040518082815260200191505060405180910390f35b610620600480360360408110156105ea57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061114b565b604051808215151515815260200191505060405180910390f35b6106426111e2565b005b6106706004803603602081101561065a57600080fd5b8101908080359060200190929190505050611350565b604051808215151515815260200191505060405180910390f35b6106926113e5565b005b6106d6600480360360208110156106aa57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506113f7565b604051808215151515815260200191505060405180910390f35b6106f8611414565b604051808215151515815260200191505060405180910390f35b61071a61188c565b604051808215151515815260200191505060405180910390f35b61073c6118a3565b6040518082815260200191505060405180910390f35b61075a6118ad565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561079a57808201518184015260208101905061077f565b50505050905090810190601f1680156107c75780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610821600480360360408110156107eb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061194f565b604051808415151515815260200183815260200182151515158152602001935050505060405180910390f35b610855611a80565b005b6108996004803603602081101561086d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611a92565b6040518082815260200191505060405180910390f35b6108fb600480360360408110156108c557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611adb565b604051808215151515815260200191505060405180910390f35b6109576004803603602081101561092b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b72565b005b610961611be3565b005b6109af6004803603604081101561097957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611d52565b005b6109e9600480360360408110156109c757600080fd5b8101908080351515906020019092919080359060200190929190505050611e85565b604051808215151515815260200191505060405180910390f35b610a2f60048036036020811015610a1957600080fd5b8101908080359060200190929190505050612846565b005b610a39612b08565b005b610a43612bc7565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610a83578082015181840152602081019050610a68565b50505050905090810190601f168015610ab05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610b0060048036036020811015610ad457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612c69565b005b610b0a612cda565b005b610b5860048036036040811015610b2257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612cec565b604051808215151515815260200191505060405180910390f35b610ba860048036036040811015610b8857600080fd5b810190808035906020019092919080359060200190929190505050612d83565b604051808215151515815260200191505060405180910390f35b610c0e60048036036040811015610bd857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612e1a565b604051808215151515815260200191505060405180910390f35b610c6a60048036036020811015610c3e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612eb1565b604051808215151515815260200191505060405180910390f35b610cc660048036036020811015610c9a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612ece565b005b610cf460048036036020811015610cde57600080fd5b8101908080359060200190929190505050612f3f565b604051808a151515158152602001806020018973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018881526020018781526020018681526020018581526020018481526020018315151515815260200182810382528a818151815260200191508051906020019080838360005b83811015610d98578082015181840152602081019050610d7d565b50505050905090810190601f168015610dc55780820380516001836020036101000a031916815260200191505b509a505050505050505050505060405180910390f35b610e3d60048036036040811015610df157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506131a3565b6040518082815260200191505060405180910390f35b606060058054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610eeb5780601f10610ec057610100808354040283529160200191610eeb565b820191906000526020600020905b815481529060010190602001808311610ece57829003601f168201915b5050505050905090565b6000601060009054906101000a900460ff1615610f7a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b610f84838361322a565b905092915050565b606060118054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156110245780601f10610ff957610100808354040283529160200191611024565b820191906000526020600020905b81548152906001019060200180831161100757829003601f168201915b5050505050905090565b6000600454905090565b600061104e82600061324890919063ffffffff16565b9050919050565b6000601060009054906101000a900460ff16156110da576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b6110e5848484613326565b90509392505050565b60006060600080600080600080600061110d6111086118a3565b612f3f565b985098509850985098509850985098509850909192939495969798565b6000600760009054906101000a900460ff16905090565b6000601354905090565b6000601060009054906101000a900460ff16156111d0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b6111da83836133ff565b905092915050565b6111f26111ed6134b2565b6113f7565b611247576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526030815260200180614a5c6030913960400191505060405180910390fd5b601060009054906101000a900460ff166112c9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f5061757361626c653a206e6f742070617573656400000000000000000000000081525060200191505060405180910390fd5b6000601060006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa61130d6134b2565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b6000601060009054906101000a900460ff16156113d5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b6113de826134ba565b9050919050565b6113f56113f06134b2565b6134d6565b565b600061140d82600e61324890919063ffffffff16565b9050919050565b600080600d805490501415611474576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180614cb36024913960400191505060405180910390fd5b600d600c548154811061148357fe5b906000526020600020906005020160000160009054906101000a900460ff166114f7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180614cb36024913960400191505060405180910390fd5b42600d600c548154811061150757fe5b9060005260206000209060050201600201541061156f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c815260200180614c63602c913960400191505060405180910390fd5b6000600d600c548154811061158057fe5b906000526020600020906005020160000160006101000a81548160ff021916908315150217905550600d6040518060c00160405280600015158152602001600073ffffffffffffffffffffffffffffffffffffffff16815260200160008152602001600081526020016000815260200160008152509080600181540180825580915050906001820390600052602060002090600502016000909192909190915060008201518160000160006101000a81548160ff02191690831515021790555060208201518160000160016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060408201518160010155606082015181600201556080820151816003015560a082015181600401555050506000600c5490506116cf6001600c5461353090919063ffffffff16565b600c819055506000600d82815481106116e457fe5b906000526020600020906005020160040154600d838154811061170357fe5b9060005260206000209060050201600301541190506000600d838154811061172757fe5b9060005260206000209060050201600301541180156117435750805b156117af576117ae600d838154811061175857fe5b906000526020600020906005020160000160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600d848154811061179757fe5b9060005260206000209060050201600101546135b8565b5b817f5f87e0f472ea25e6ba3f3b4c2bab9b507f1931e7c565d8f248013abdb7049b96600d84815481106117de57fe5b906000526020600020906005020160000160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600d858154811061181d57fe5b90600052602060002090600502016001015484604051808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200183815260200182151515158152602001935050505060405180910390a260019250505090565b6000601060009054906101000a900460ff16905090565b6000600c54905090565b606060128054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156119455780601f1061191a57610100808354040283529160200191611945565b820191906000526020600020905b81548152906001019060200180831161192857829003601f168201915b5050505050905090565b6000806000600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600085815260200190815260200160002060000160009054906101000a900460ff169250600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000858152602001908152602001600020600101549150600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600085815260200190815260200160002060020160009054906101000a900460ff1690508282829250925092509250925092565b611a90611a8b6134b2565b613775565b565b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000601060009054906101000a900460ff1615611b60576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b611b6a83836137cf565b905092915050565b611b82611b7d6134b2565b6113f7565b611bd7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526030815260200180614a5c6030913960400191505060405180910390fd5b611be0816137e5565b50565b611bf3611bee6134b2565b6113f7565b611c48576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526030815260200180614a5c6030913960400191505060405180910390fd5b601060009054906101000a900460ff1615611ccb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b6001601060006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258611d0f6134b2565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b611d62611d5d6134b2565b611038565b611db7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526036815260200180614add6036913960400191505060405180910390fd5b8173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb611ddb6134b2565b836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015611e4557600080fd5b505af1158015611e59573d6000803e3d6000fd5b505050506040513d6020811015611e6f57600080fd5b8101908080519060200190929190505050505050565b600080600d805490501415611f02576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f766f74696e673a2070726f706f73616c206e6f7420616374697665000000000081525060200191505060405180910390fd5b600d600c5481548110611f1157fe5b906000526020600020906005020160000160009054906101000a900460ff16611fa2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f766f74696e673a2070726f706f73616c206e6f7420616374697665000000000081525060200191505060405180910390fd5b6000600a6000611fb06134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600c54815260200190815260200160002060010154141561207e576000821161207d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f766f74696e673a20766f746520616d6f756e74206973207a65726f000000000081525060200191505060405180910390fd5b5b42600d600c548154811061208e57fe5b90600052602060002090600502016002015411612113576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f766f74696e673a20766f74696e6720706572696f642068617320636c6f73656481525060200191505060405180910390fd5b8161212461211f6134b2565b611a92565b101561217b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180614a8c602f913960400191505060405180910390fd5b821515600a600061218a6134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600c54815260200190815260200160002060000160009054906101000a900460ff161515141580156121fc575060011515831515145b1561231057612290600a60006122106134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600c54815260200190815260200160002060010154600d600c548154811061227057fe5b90600052602060002090600502016004015461383f90919063ffffffff16565b600d600c548154811061229f57fe5b9060005260206000209060050201600401819055506122e782600d600c54815481106122c757fe5b90600052602060002090600502016003015461353090919063ffffffff16565b600d600c54815481106122f657fe5b906000526020600020906005020160030181905550612644565b821515600a600061231f6134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600c54815260200190815260200160002060000160009054906101000a900460ff16151514158015612391575060001515831515145b156124a557612425600a60006123a56134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600c54815260200190815260200160002060010154600d600c548154811061240557fe5b90600052602060002090600502016003015461383f90919063ffffffff16565b600d600c548154811061243457fe5b90600052602060002090600502016003018190555061247c82600d600c548154811061245c57fe5b90600052602060002090600502016004015461353090919063ffffffff16565b600d600c548154811061248b57fe5b906000526020600020906005020160040181905550612643565b60011515831515141561257c5761255382612545600a60006124c56134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600c54815260200190815260200160002060010154600d600c548154811061252557fe5b90600052602060002090600502016003015461383f90919063ffffffff16565b61353090919063ffffffff16565b600d600c548154811061256257fe5b906000526020600020906005020160030181905550612642565b61261d8261260f600a600061258f6134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600c54815260200190815260200160002060010154600d600c54815481106125ef57fe5b90600052602060002090600502016004015461383f90919063ffffffff16565b61353090919063ffffffff16565b600d600c548154811061262c57fe5b9060005260206000209060050201600401819055505b5b5b82600a60006126516134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600c54815260200190815260200160002060000160006101000a81548160ff0219169083151502179055506000600a60006126c66134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600c54815260200190815260200160002060010154905082600a60006127266134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600c54815260200190815260200160002060010181905550828111156127ab576127a63061278e6134b2565b6127a1868561383f90919063ffffffff16565b613889565b6127d0565b6127cf6127b66134b2565b306127ca848761383f90919063ffffffff16565b613889565b5b6127d86134b2565b73ffffffffffffffffffffffffffffffffffffffff167f9fea94799b68dbb994c4e44547ea7b5c9e4068fbc385b8b688005a16b60c3cc6600c5486866040518084815260200183151515158152602001828152602001935050505060405180910390a2600191505092915050565b42600d828154811061285457fe5b906000526020600020906005020160020154106128bc576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180614b396025913960400191505060405180910390fd5b600a60006128c86134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082815260200190815260200160002060020160009054906101000a900460ff168061298957506000600a60006129386134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600083815260200190815260200160002060010154145b1561299357612b05565b6001600a60006129a16134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600083815260200190815260200160002060020160006101000a81548160ff021916908315150217905550612a7230612a126134b2565b600a6000612a1e6134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600085815260200190815260200160002060010154613889565b807fbee37dab1a7977da0b005c7ce6e718f56a0b86db9be1bcc76282734d9227593a600a6000612aa06134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000848152602001908152602001600020600101546040518082815260200191505060405180910390a25b50565b6000600b6000612b166134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b612b5c6118a3565b811015612bc457612b6c81612846565b80600b6000612b796134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508080600101915050612b54565b50565b606060068054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015612c5f5780601f10612c3457610100808354040283529160200191612c5f565b820191906000526020600020905b815481529060010190602001808311612c4257829003601f168201915b5050505050905090565b612c79612c746134b2565b612eb1565b612cce576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526030815260200180614b5e6030913960400191505060405180910390fd5b612cd781613b43565b50565b612cea612ce56134b2565b613b9d565b565b6000601060009054906101000a900460ff1615612d71576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b612d7b8383613bf7565b905092915050565b6000601060009054906101000a900460ff1615612e08576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b612e128383613cc4565b905092915050565b6000601060009054906101000a900460ff1615612e9f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b612ea98383614194565b905092915050565b6000612ec782600861324890919063ffffffff16565b9050919050565b612ede612ed96134b2565b611038565b612f33576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526036815260200180614add6036913960400191505060405180910390fd5b612f3c816141b2565b50565b60006060600080600080600080600080600d80549050111561312857612f63614989565b600d8b81548110612f7057fe5b90600052602060002090600502016040518060c00160405290816000820160009054906101000a900460ff161515151581526020016000820160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016001820154815260200160028201548152602001600382015481526020016004820154815250509050600042826060015111156130505761304942836060015161383f90919063ffffffff16565b9050613055565b600090505b60608260000151801561306b5750428360600151115b6130aa576040518060400160405280600681526020017f636c6f73656400000000000000000000000000000000000000000000000000008152506130e1565b6040518060400160405280600681526020017f766f74696e6700000000000000000000000000000000000000000000000000008152505b90508260000151818460200151856040015186606001518688608001518960a001518a60a001518b60800151119b509b509b509b509b509b509b509b509b50505050613196565b6000806000806000806000806040518060400160405280600681526020017f636c6f7365640000000000000000000000000000000000000000000000000000815250969594939291908696508595508494508393508292508191509850985098509850985098509850985098505b9193959799909294969850565b6000600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600061323e6132376134b2565b848461420c565b6001905092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156132cf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180614bd76022913960400191505060405180910390fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b6000613333848484613889565b6133f48461333f6134b2565b6133ef85604051806060016040528060288152602001614baf60289139600360008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006133a56134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546144039092919063ffffffff16565b61420c565b600190509392505050565b60006134a861340c6134b2565b846134a3856003600061341d6134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461353090919063ffffffff16565b61420c565b6001905092915050565b600033905090565b60006134cd6134c76134b2565b836144c3565b60019050919050565b6134ea81600061467d90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fc69b285b1af5c860a5bc64db4c3174315e7cdcefa6fce8882dabc93f6ef6946e60405160405180910390a250565b6000808284019050838110156135ae576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561365b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f45524332303a206d696e7420746f20746865207a65726f20616464726573730081525060200191505060405180910390fd5b6136708160045461353090919063ffffffff16565b6004819055506136c881600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461353090919063ffffffff16565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b61378981600e61467d90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e60405160405180910390a250565b60006137db83836147af565b6001905092915050565b6137f981600e61487e90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b600061388183836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250614403565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561390f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180614c3e6025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415613995576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806149d86023913960400191505060405180910390fd5b613a0181604051806060016040528060268152602001614b1360269139600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546144039092919063ffffffff16565b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550613a9681600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461353090919063ffffffff16565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b613b5781600861487e90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6ae172837ea30b801fbfcdd4108aa1d5bf8ff775444fd70256b44e6bf3dfc3f660405160405180910390a250565b613bb181600861467d90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fe94479a9f7e1952cc78f2d6baab678adc1b772d936c6583def489e524cb6669260405160405180910390a250565b6000613cba613c046134b2565b84613cb585604051806060016040528060258152602001614d2b6025913960036000613c2e6134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546144039092919063ffffffff16565b61420c565b6001905092915050565b6000613cd6613cd16134b2565b612eb1565b613d2b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526030815260200180614b5e6030913960400191505060405180910390fd5b6000600d805490501415613e4457600d6040518060c00160405280600015158152602001600073ffffffffffffffffffffffffffffffffffffffff16815260200160008152602001600081526020016000815260200160008152509080600181540180825580915050906001820390600052602060002090600502016000909192909190915060008201518160000160006101000a81548160ff02191690831515021790555060208201518160000160016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060408201518160010155606082015181600201556080820151816003015560a082015181600401555050505b600d600c5481548110613e5357fe5b906000526020600020906005020160000160009054906101000a900460ff1615613ec8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a815260200180614d01602a913960400191505060405180910390fd5b60008311613f3e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f6d696e7450726f706f73616c3a20616d6f756e74206973207a65726f0000000081525060200191505060405180910390fd5b610708821015613f99576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a815260200180614cd7602a913960400191505060405180910390fd5b6001600d600c5481548110613faa57fe5b906000526020600020906005020160000160006101000a81548160ff021916908315150217905550613fda6134b2565b600d600c5481548110613fe957fe5b906000526020600020906005020160000160016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555082600d600c548154811061404857fe5b906000526020600020906005020160010181905550614070428361353090919063ffffffff16565b600d600c548154811061407f57fe5b906000526020600020906005020160020181905550600c547f895f228a312246c1725cd4b798d2134f4f89831129023b83c44ae4e1fceb6102600d600c54815481106140c757fe5b906000526020600020906005020160000160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600d600c548154811061410857fe5b906000526020600020906005020160010154600d600c548154811061412957fe5b906000526020600020906005020160020154604051808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001838152602001828152602001935050505060405180910390a26001905092915050565b60006141a86141a16134b2565b8484613889565b6001905092915050565b6141c681600061487e90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fe3558b6a8345f54a82b7d6dca5a36625b1d8b2140ff7053871b2c37c1dcaa21460405160405180910390a250565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415614292576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180614c8f6024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415614318576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180614abb6022913960400191505060405180910390fd5b80600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b60008383111582906144b0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561447557808201518184015260208101905061445a565b50505050905090810190601f1680156144a25780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415614549576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180614c1d6021913960400191505060405180910390fd5b6145b581604051806060016040528060228152602001614a3a60229139600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546144039092919063ffffffff16565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061460d8160045461383f90919063ffffffff16565b600481905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6146878282613248565b6146dc576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180614b8e6021913960400191505060405180910390fd5b600060018360010160008282540392505081905590506146fb8161496c565b614750576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603f8152602001806149fb603f913960400191505060405180910390fd5b60008360000160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550505050565b6147b982826144c3565b61487a826147c56134b2565b61487584604051806060016040528060248152602001614bf960249139600360008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600061482b6134b2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546144039092919063ffffffff16565b61420c565b5050565b6148888282613248565b156148fb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f526f6c65733a206163636f756e7420616c72656164792068617320726f6c650081525060200191505060405180910390fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550600182600101600082825401925050819055505050565b60008082111561497f5760019050614984565b600090505b919050565b6040518060c00160405280600015158152602001600073ffffffffffffffffffffffffffffffffffffffff16815260200160008152602001600081526020016000815260200160008152509056fe45524332303a207472616e7366657220746f20746865207a65726f2061646472657373526f6c65733a207468657265206d757374206265206174206c65617374206f6e65206163636f756e742061737369676e656420746f207468697320726f6c6545524332303a206275726e20616d6f756e7420657863656564732062616c616e6365506175736572526f6c653a2063616c6c657220646f6573206e6f742068617665207468652050617573657220726f6c65766f74696e673a20766f746520616d6f756e742063616e6e6f742065786365656420746f6b656e2062616c616e636545524332303a20617070726f766520746f20746865207a65726f20616464726573735265636f7665726572526f6c653a2063616c6c657220646f6573206e6f74206861766520746865205265636f766572657220726f6c6545524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e636572657472696576653a20766f74696e6720706572696f6420686173206e6f7420656e6465644d696e746572526f6c653a2063616c6c657220646f6573206e6f74206861766520746865204d696e74657220726f6c65526f6c65733a206163636f756e7420646f6573206e6f74206861766520726f6c6545524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365526f6c65733a206163636f756e7420697320746865207a65726f206164647265737345524332303a206275726e20616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737372656c6561736550726f706f73616c3a20766f74696e6720706572696f6420686173206e6f7420656e64656445524332303a20617070726f76652066726f6d20746865207a65726f206164647265737372656c6561736550726f706f73616c3a2070726f706f73616c206e6f74206163746976656d696e7450726f706f73616c3a206475726174696f6e206973206c657373207468616e203330206d696e6d696e7450726f706f73616c3a2070726f706f73616c20616c726561647920696e2070726f677265737345524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa265627a7a72315820c3e5612f140fb9267be2fabde687cb0447f00cab9951590415702a7d2fa10a5a64736f6c63430005110032

227:788:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;227:788:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;644:81:4;;;:::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;644:81:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;776:138:5;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;776:138:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;694:102:0;;;:::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;694:102:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1163:89:2;;;:::i;:::-;;;;;;;;;;;;;;;;;;;510:113:11;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;510:113:11;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;612:158:5;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;612:158:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8240:274:6;;;:::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;8240:274:6;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1472:81:4;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;914:94:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;920:168:5;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;920:168:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1873:117:9;;;:::i;:::-;;1278:108:5;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1278:108:5;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;734:83:11;;;:::i;:::-;;488:107:10;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;488:107:10;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4812:1307:6;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1111:76:9;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8520:104:6;;;:::i;:::-;;;;;;;;;;;;;;;;;;;806:102:0;;;:::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;806:102:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6883:335:6;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6883:335:6;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;697:77:10;;;:::i;:::-;;1310:108:2;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1310:108:2;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1392:142:5;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1392:142:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;601:90:10;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;601:90:10;;;;;;;;;;;;;;;;;;;:::i;:::-;;1668:115:9;;;:::i;:::-;;393:159:14;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;393:159:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;2018:2784:6;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2018:2784:6;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6125:544;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6125:544:6;;;;;;;;;;;;;;;;;:::i;:::-;;6675:202;;;:::i;:::-;;838:85:4;;;:::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;838:85:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;601:90:8;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;601:90:8;;;;;;;;;;;;;;;;;;;:::i;:::-;;697:77;;;:::i;:::-;;1094:178:5;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1094:178:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1540:152;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1540:152:5;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;476:130;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;476:130:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;488:107:8;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;488:107:8;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;629:99:11;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;629:99:11;;;;;;;;;;;;;;;;;;;:::i;:::-;;7228:1002:6;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7228:1002:6;;;;;;;;;;;;;;;;;:::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;7228:1002:6;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1834:132:2;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1834:132:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;644:81:4;681:13;713:5;706:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;644:81;:::o;776:138:5:-;855:4;1340:7:9;;;;;;;;;;;1339:8;1331:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;878:29:5;892:7;901:5;878:13;:29::i;:::-;871:36;;776:138;;;;:::o;694:102:0:-;742:13;774:15;767:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;694:102;:::o;1163:89:2:-;1207:7;1233:12;;1226:19;;1163:89;:::o;510:113:11:-;569:4;592:24;608:7;592:11;:15;;:24;;;;:::i;:::-;585:31;;510:113;;;:::o;612:158:5:-;705:4;1340:7:9;;;;;;;;;;;1339:8;1331:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;728:35:5;747:4;753:2;757:5;728:18;:35::i;:::-;721:42;;612:158;;;;;:::o;8240:274:6:-;8288:13;8303:19;8324:23;8349:18;8369:15;8386:21;8409:13;8424:16;8442:14;8475:32;8487:19;:17;:19::i;:::-;8475:11;:32::i;:::-;8468:39;;;;;;;;;;;;;;;;;;8240:274;;;;;;;;;:::o;1472:81:4:-;1513:5;1537:9;;;;;;;;;;;1530:16;;1472:81;:::o;914:94:0:-;961:7;987:14;;980:21;;914:94;:::o;920:168:5:-;1014:4;1340:7:9;;;;;;;;;;;1339:8;1331:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1037:44:5;1061:7;1070:10;1037:23;:44::i;:::-;1030:51;;920:168;;;;:::o;1873:117:9:-;389:22:10;398:12;:10;:12::i;:::-;389:8;:22::i;:::-;381:83;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1531:7:9;;;;;;;;;;;1523:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1941:5;1931:7;;:15;;;;;;;;;;;;;;;;;;1961:22;1970:12;:10;:12::i;:::-;1961:22;;;;;;;;;;;;;;;;;;;;;;1873:117::o;1278:108:5:-;1338:4;1340:7:9;;;;;;;;;;;1339:8;1331:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1361:18:5;1372:6;1361:10;:18::i;:::-;1354:25;;1278:108;;;:::o;734:83:11:-;780:30;797:12;:10;:12::i;:::-;780:16;:30::i;:::-;734:83::o;488:107:10:-;544:4;567:21;580:7;567:8;:12;;:21;;;;:::i;:::-;560:28;;488:107;;;:::o;4812:1307:6:-;4855:4;4899:1;4875:13;:20;;;;:25;4871:219;;;4916:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4871:219;5001:13;5015:11;;5001:26;;;;;;;;;;;;;;;;;;:36;;;;;;;;;;;;4993:86;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5246:15;5205:13;5219:11;;5205:26;;;;;;;;;;;;;;;;;;:38;;;:56;5196:114;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5360:5;5321:13;5335:11;;5321:26;;;;;;;;;;;;;;;;;;:36;;;:44;;;;;;;;;;;;;;;;;;5398:13;5417:39;;;;;;;;5426:5;5417:39;;;;;;5441:1;5417:39;;;;;;5445:1;5417:39;;;;5448:1;5417:39;;;;5451:1;5417:39;;;;5454:1;5417:39;;;5398:60;;39:1:-1;33:3;27:10;23:18;57:10;52:3;45:23;79:10;72:17;;0:93;5398:60:6;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5469:18;5490:11;;5469:32;;5534:18;5550:1;5534:11;;:15;;:18;;;;:::i;:::-;5520:11;:32;;;;5604:12;5654:13;5668:10;5654:25;;;;;;;;;;;;;;;;;;:35;;;5619:13;5633:10;5619:25;;;;;;;;;;;;;;;;;;:32;;;:70;5604:85;;5819:1;5784:13;5798:10;5784:25;;;;;;;;;;;;;;;;;;:32;;;:36;:47;;;;;5824:7;5784:47;5781:167;;;5847:90;5854:13;5868:10;5854:25;;;;;;;;;;;;;;;;;;:42;;;;;;;;;;;;5898:13;5912:10;5898:25;;;;;;;;;;;;;;;;;;:37;;;5847:5;:90::i;:::-;5781:167;5979:10;5963:119;5991:13;6005:10;5991:25;;;;;;;;;;;;;;;;;;:42;;;;;;;;;;;;6035:13;6049:10;6035:25;;;;;;;;;;;;;;;;;;:37;;;6074:7;5963:119;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6108:4;6101:11;;;;4812:1307;:::o;1111:76:9:-;1150:4;1173:7;;;;;;;;;;;1166:14;;1111:76;:::o;8520:104:6:-;8570:18;8606:11;;8599:18;;8520:104;:::o;806:102:0:-;854:13;886:15;879:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;806:102;:::o;6883:335:6:-;6956:9;6967:14;6983;7025:6;:13;7032:5;7025:13;;;;;;;;;;;;;;;:25;7039:10;7025:25;;;;;;;;;;;:31;;;;;;;;;;;;7018:38;;7076:6;:13;7083:5;7076:13;;;;;;;;;;;;;;;:25;7090:10;7076:25;;;;;;;;;;;:33;;;7067:42;;7131:6;:13;7138:5;7131:13;;;;;;;;;;;;;;;:25;7145:10;7131:25;;;;;;;;;;;:36;;;;;;;;;;;;7119:48;;7187:4;7193:6;7201:9;7178:33;;;;;;6883:335;;;;;:::o;697:77:10:-;740:27;754:12;:10;:12::i;:::-;740:13;:27::i;:::-;697:77::o;1310:108:2:-;1367:7;1393:9;:18;1403:7;1393:18;;;;;;;;;;;;;;;;1386:25;;1310:108;;;:::o;1392:142:5:-;1473:4;1340:7:9;;;;;;;;;;;1339:8;1331:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1496:31:5;1511:7;1520:6;1496:14;:31::i;:::-;1489:38;;1392:142;;;;:::o;601:90:10:-;389:22;398:12;:10;:12::i;:::-;389:8;:22::i;:::-;381:83;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;665:19;676:7;665:10;:19::i;:::-;601:90;:::o;1668:115:9:-;389:22:10;398:12;:10;:12::i;:::-;389:8;:22::i;:::-;381:83;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1340:7:9;;;;;;;;;;;1339:8;1331:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1737:4;1727:7;;:14;;;;;;;;;;;;;;;;;;1756:20;1763:12;:10;:12::i;:::-;1756:20;;;;;;;;;;;;;;;;;;;;;;1668:115::o;393:159:14:-;402:25:11;414:12;:10;:12::i;:::-;402:11;:25::i;:::-;394:92;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;496:12:14;489:29;;;519:12;:10;:12::i;:::-;533:11;489:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;489:56:14;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;489:56:14;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;489:56:14;;;;;;;;;;;;;;;;;393:159;;:::o;2018:2784:6:-;2077:4;2130:1;2106:13;:20;;;;:25;2102:236;;;2182:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2102:236;2258:13;2272:11;;2258:26;;;;;;;;;;;;;;;;;;:36;;;;;;;;;;;;2250:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2404:1;2359:6;:20;2366:12;:10;:12::i;:::-;2359:20;;;;;;;;;;;;;;;:33;2380:11;;2359:33;;;;;;;;;;;:41;;;:46;2356:188;;;2499:1;2490:6;:10;2482:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2356:188;2602:15;2561:13;2575:11;;2561:26;;;;;;;;;;;;;;;;;;:38;;;:56;2553:101;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2699:6;2672:23;2682:12;:10;:12::i;:::-;2672:9;:23::i;:::-;:33;;2664:93;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2870:4;2827:47;;:6;:20;2834:12;:10;:12::i;:::-;2827:20;;;;;;;;;;;;;;;:33;2848:11;;2827:33;;;;;;;;;;;:39;;;;;;;;;;;;:47;;;;:63;;;;;2886:4;2878:12;;:4;:12;;;2827:63;2823:1321;;;3052:83;3093:6;:20;3100:12;:10;:12::i;:::-;3093:20;;;;;;;;;;;;;;;:33;3114:11;;3093:33;;;;;;;;;;;:41;;;3052:13;3066:11;;3052:26;;;;;;;;;;;;;;;;;;:36;;;:40;;:83;;;;:::i;:::-;3013:13;3027:11;;3013:26;;;;;;;;;;;;;;;;;;:36;;:122;;;;3185:45;3223:6;3185:13;3199:11;;3185:26;;;;;;;;;;;;;;;;;;:33;;;:37;;:45;;;;:::i;:::-;3149:13;3163:11;;3149:26;;;;;;;;;;;;;;;;;;:33;;:81;;;;2823:1321;;;3294:4;3251:47;;:6;:20;3258:12;:10;:12::i;:::-;3251:20;;;;;;;;;;;;;;;:33;3272:11;;3251:33;;;;;;;;;;;:39;;;;;;;;;;;;:47;;;;:64;;;;;3310:5;3302:13;;:4;:13;;;3251:64;3247:897;;;3473:80;3511:6;:20;3518:12;:10;:12::i;:::-;3511:20;;;;;;;;;;;;;;;:33;3532:11;;3511:33;;;;;;;;;;;:41;;;3473:13;3487:11;;3473:26;;;;;;;;;;;;;;;;;;:33;;;:37;;:80;;;;:::i;:::-;3437:13;3451:11;;3437:26;;;;;;;;;;;;;;;;;;:33;;:116;;;;3606:48;3647:6;3606:13;3620:11;;3606:26;;;;;;;;;;;;;;;;;;:36;;;:40;;:48;;;;:::i;:::-;3567:13;3581:11;;3567:26;;;;;;;;;;;;;;;;;;:36;;:87;;;;3247:897;;;3684:4;3676:12;;:4;:12;;;3671:473;;;3805:92;3890:6;3805:80;3843:6;:20;3850:12;:10;:12::i;:::-;3843:20;;;;;;;;;;;;;;;:33;3864:11;;3843:33;;;;;;;;;;;:41;;;3805:13;3819:11;;3805:26;;;;;;;;;;;;;;;;;;:33;;;:37;;:80;;;;:::i;:::-;:84;;:92;;;;:::i;:::-;3769:13;3783:11;;3769:26;;;;;;;;;;;;;;;;;;:33;;:128;;;;3671:473;;;4038:95;4126:6;4038:83;4079:6;:20;4086:12;:10;:12::i;:::-;4079:20;;;;;;;;;;;;;;;:33;4100:11;;4079:33;;;;;;;;;;;:41;;;4038:13;4052:11;;4038:26;;;;;;;;;;;;;;;;;;:36;;;:40;;:83;;;;:::i;:::-;:87;;:95;;;;:::i;:::-;3999:13;4013:11;;3999:26;;;;;;;;;;;;;;;;;;:36;;:134;;;;3671:473;3247:897;2823:1321;4214:4;4172:6;:20;4179:12;:10;:12::i;:::-;4172:20;;;;;;;;;;;;;;;:33;4193:11;;4172:33;;;;;;;;;;;:39;;;:46;;;;;;;;;;;;;;;;;;4229:17;4249:6;:20;4256:12;:10;:12::i;:::-;4249:20;;;;;;;;;;;;;;;:33;4270:11;;4249:33;;;;;;;;;;;:41;;;4229:61;;4396:6;4352;:20;4359:12;:10;:12::i;:::-;4352:20;;;;;;;;;;;;;;;:33;4373:11;;4352:33;;;;;;;;;;;:41;;:50;;;;4429:6;4417:9;:18;4414:297;;;4497:61;4515:4;4522:12;:10;:12::i;:::-;4536:21;4550:6;4536:9;:13;;:21;;;;:::i;:::-;4497:9;:61::i;:::-;4414:297;;;4637:61;4647:12;:10;:12::i;:::-;4669:4;4676:21;4687:9;4676:6;:10;;:21;;;;:::i;:::-;4637:9;:61::i;:::-;4414:297;4732:12;:10;:12::i;:::-;4726:47;;;4746:11;;4759:4;4766:6;4726:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4791:4;4784:11;;;2018:2784;;;;:::o;6125:544::-;6225:15;6185:13;6199:10;6185:25;;;;;;;;;;;;;;;;;;:37;;;:55;6177:105;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6297:6;:20;6304:12;:10;:12::i;:::-;6297:20;;;;;;;;;;;;;;;:32;6318:10;6297:32;;;;;;;;;;;:43;;;;;;;;;;;;:92;;;;6388:1;6344:6;:20;6351:12;:10;:12::i;:::-;6344:20;;;;;;;;;;;;;;;:32;6365:10;6344:32;;;;;;;;;;;:40;;;:45;6297:92;6293:129;;;6405:7;;6293:129;6478:4;6432:6;:20;6439:12;:10;:12::i;:::-;6432:20;;;;;;;;;;;;;;;:32;6453:10;6432:32;;;;;;;;;;;:43;;;:50;;;;;;;;;;;;;;;;;;6493:80;6511:4;6518:12;:10;:12::i;:::-;6532:6;:20;6539:12;:10;:12::i;:::-;6532:20;;;;;;;;;;;;;;;:32;6553:10;6532:32;;;;;;;;;;;:40;;;6493:9;:80::i;:::-;6608:10;6598:63;6620:6;:20;6627:12;:10;:12::i;:::-;6620:20;;;;;;;;;;;;;;;:32;6641:10;6620:32;;;;;;;;;;;:40;;;6598:63;;;;;;;;;;;;;;;;;;6125:544;;:::o;6675:202::-;6721:6;6730:13;:27;6744:12;:10;:12::i;:::-;6730:27;;;;;;;;;;;;;;;;6721:36;;6716:154;6763:19;:17;:19::i;:::-;6759:1;:23;6716:154;;;6803:11;6812:1;6803:8;:11::i;:::-;6858:1;6828:13;:27;6842:12;:10;:12::i;:::-;6828:27;;;;;;;;;;;;;;;:31;;;;6784:3;;;;;;;6716:154;;;;6675:202::o;838:85:4:-;877:13;909:7;902:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;838:85;:::o;601:90:8:-;389:22;398:12;:10;:12::i;:::-;389:8;:22::i;:::-;381:83;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;665:19;676:7;665:10;:19::i;:::-;601:90;:::o;697:77::-;740:27;754:12;:10;:12::i;:::-;740:13;:27::i;:::-;697:77::o;1094:178:5:-;1193:4;1340:7:9;;;;;;;;;;;1339:8;1331:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1216:49:5;1240:7;1249:15;1216:23;:49::i;:::-;1209:56;;1094:178;;;;:::o;1540:152::-;1626:4;1340:7:9;;;;;;;;;;;1339:8;1331:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1649:36:5;1668:6;1676:8;1649:18;:36::i;:::-;1642:43;;1540:152;;;;:::o;476:130::-;551:4;1340:7:9;;;;;;;;;;;1339:8;1331:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;574:25:5;589:2;593:5;574:14;:25::i;:::-;567:32;;476:130;;;;:::o;488:107:8:-;544:4;567:21;580:7;567:8;:12;;:21;;;;:::i;:::-;560:28;;488:107;;;:::o;629:99:11:-;402:25;414:12;:10;:12::i;:::-;402:11;:25::i;:::-;394:92;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;699:22;713:7;699:13;:22::i;:::-;629:99;:::o;7228:1002:6:-;7290:13;7305:19;7326:23;7351:18;7371:15;7388:21;7411:13;7426:16;7444:14;7496:1;7473:13;:20;;;;:24;7469:755;;;7513:24;;:::i;:::-;7540:13;7554:10;7540:25;;;;;;;;;;;;;;;;;;7513:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7580:17;7638:15;7615:8;:20;;;:38;7611:182;;;7685:41;7710:15;7685:8;:20;;;:24;;:41;;;;:::i;:::-;7673:53;;7611:182;;;7777:1;7765:13;;7611:182;7807:20;7832:8;:18;;;:60;;;;;7877:15;7854:8;:20;;;:38;7832:60;7830:86;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7807:109;;7939:8;:18;;;7959:6;7968:8;:25;;;7995:8;:20;;;8017:8;:20;;;8039:9;8050:8;:15;;;8067:8;:18;;;8105:8;:18;;;8087:8;:15;;;:36;7930:194;;;;;;;;;;;;;;;;;;;;;;;7469:755;8163:5;8188:1;8192;8195;8198;8201;8204;8207:5;8155:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7228:1002;;;;;;;;;;;;:::o;1834:132:2:-;1906:7;1932:11;:18;1944:5;1932:18;;;;;;;;;;;;;;;:27;1951:7;1932:27;;;;;;;;;;;;;;;;1925:34;;1834:132;;;;:::o;2104:149::-;2170:4;2186:39;2195:12;:10;:12::i;:::-;2209:7;2218:6;2186:8;:39::i;:::-;2242:4;2235:11;;2104:149;;;;:::o;1133:200:12:-;1205:4;1248:1;1229:21;;:7;:21;;;;1221:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1306:4;:11;;:20;1318:7;1306:20;;;;;;;;;;;;;;;;;;;;;;;;;1299:27;;1133:200;;;;:::o;2711:300:2:-;2800:4;2816:36;2826:6;2834:9;2845:6;2816:9;:36::i;:::-;2862:121;2871:6;2879:12;:10;:12::i;:::-;2893:89;2931:6;2893:89;;;;;;;;;;;;;;;;;:11;:19;2905:6;2893:19;;;;;;;;;;;;;;;:33;2913:12;:10;:12::i;:::-;2893:33;;;;;;;;;;;;;;;;:37;;:89;;;;;:::i;:::-;2862:8;:121::i;:::-;3000:4;2993:11;;2711:300;;;;;:::o;3406:207::-;3486:4;3502:83;3511:12;:10;:12::i;:::-;3525:7;3534:50;3573:10;3534:11;:25;3546:12;:10;:12::i;:::-;3534:25;;;;;;;;;;;;;;;:34;3560:7;3534:34;;;;;;;;;;;;;;;;:38;;:50;;;;:::i;:::-;3502:8;:83::i;:::-;3602:4;3595:11;;3406:207;;;;:::o;788:96:1:-;833:15;867:10;860:17;;788:96;:::o;431:117:3:-;477:4;493:27;499:12;:10;:12::i;:::-;513:6;493:5;:27::i;:::-;537:4;530:11;;431:117;;;:::o;957:136:11:-;1019:27;1038:7;1019:11;:18;;:27;;;;:::i;:::-;1078:7;1061:25;;;;;;;;;;;;957:136;:::o;834:176:13:-;892:7;911:9;927:1;923;:5;911:17;;951:1;946;:6;;938:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1002:1;995:8;;;834:176;;;;:::o;5566:302:2:-;5660:1;5641:21;;:7;:21;;;;5633:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5724:24;5741:6;5724:12;;:16;;:24;;;;:::i;:::-;5709:12;:39;;;;5779:30;5802:6;5779:9;:18;5789:7;5779:18;;;;;;;;;;;;;;;;:22;;:30;;;;:::i;:::-;5758:9;:18;5768:7;5758:18;;;;;;;;;;;;;;;:51;;;;5845:7;5824:37;;5841:1;5824:37;;;5854:6;5824:37;;;;;;;;;;;;;;;;;;5566:302;;:::o;905:127:10:-;964:24;980:7;964:8;:15;;:24;;;;:::i;:::-;1017:7;1003:22;;;;;;;;;;;;905:127;:::o;605:137:3:-;672:4;688:26;698:7;707:6;688:9;:26::i;:::-;731:4;724:11;;605:137;;;;:::o;780:119:10:-;836:21;849:7;836:8;:12;;:21;;;;:::i;:::-;884:7;872:20;;;;;;;;;;;;780:119;:::o;1274:134:13:-;1332:7;1358:43;1362:1;1365;1358:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;1351:50;;1274:134;;;;:::o;4832:464:2:-;4947:1;4929:20;;:6;:20;;;;4921:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5030:1;5009:23;;:9;:23;;;;5001:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5103;5125:6;5103:71;;;;;;;;;;;;;;;;;:9;:17;5113:6;5103:17;;;;;;;;;;;;;;;;:21;;:71;;;;;:::i;:::-;5083:9;:17;5093:6;5083:17;;;;;;;;;;;;;;;:91;;;;5207:32;5232:6;5207:9;:20;5217:9;5207:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;5184:9;:20;5194:9;5184:20;;;;;;;;;;;;;;;:55;;;;5271:9;5254:35;;5263:6;5254:35;;;5282:6;5254:35;;;;;;;;;;;;;;;;;;4832:464;;;:::o;780:119:8:-;836:21;849:7;836:8;:12;;:21;;;;:::i;:::-;884:7;872:20;;;;;;;;;;;;780:119;:::o;905:127::-;964:24;980:7;964:8;:15;;:24;;;;:::i;:::-;1017:7;1003:22;;;;;;;;;;;;905:127;:::o;4100:258:2:-;4185:4;4201:129;4210:12;:10;:12::i;:::-;4224:7;4233:96;4272:15;4233:96;;;;;;;;;;;;;;;;;:11;:25;4245:12;:10;:12::i;:::-;4233:25;;;;;;;;;;;;;;;:34;4259:7;4233:34;;;;;;;;;;;;;;;;:38;;:96;;;;;:::i;:::-;4201:8;:129::i;:::-;4347:4;4340:11;;4100:258;;;;:::o;1075:933:6:-;1158:4;389:22:8;398:12;:10;:12::i;:::-;389:8;:22::i;:::-;381:83;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1211:1:6;1187:13;:20;;;;:25;1183:117;;;1228:13;1248:39;;;;;;;;1257:5;1248:39;;;;;;1272:1;1248:39;;;;;;1276:1;1248:39;;;;1279:1;1248:39;;;;1282:1;1248:39;;;;1285:1;1248:39;;;1228:61;;39:1:-1;33:3;27:10;23:18;57:10;52:3;45:23;79:10;72:17;;0:93;1228:61:6;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1183:117;1319:13;1333:11;;1319:26;;;;;;;;;;;;;;;;;;:36;;;;;;;;;;;;1318:37;1310:92;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1429:1;1420:6;:10;1412:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1494:4;1482:8;:16;;1474:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1595:4;1556:13;1570:11;;1556:26;;;;;;;;;;;;;;;;;;:36;;;:43;;;;;;;;;;;;;;;;;;1655:12;:10;:12::i;:::-;1609:13;1623:11;;1609:26;;;;;;;;;;;;;;;;;;:43;;;:58;;;;;;;;;;;;;;;;;;1718:6;1677:13;1691:11;;1677:26;;;;;;;;;;;;;;;;;;:38;;:47;;;;1776:29;1789:15;1776:8;:12;;:29;;;;:::i;:::-;1734:13;1748:11;;1734:26;;;;;;;;;;;;;;;;;;:38;;:71;;;;1842:11;;1829:150;1855:13;1869:11;;1855:26;;;;;;;;;;;;;;;;;;:43;;;;;;;;;;;;1900:13;1914:11;;1900:26;;;;;;;;;;;;;;;;;;:38;;;1940:13;1954:11;;1940:26;;;;;;;;;;;;;;;;;;:38;;;1829:150;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1997:4;1990:11;;1075:933;;;;:::o;1621:155:2:-;1690:4;1706:42;1716:12;:10;:12::i;:::-;1730:9;1741:6;1706:9;:42::i;:::-;1765:4;1758:11;;1621:155;;;;:::o;823:128:11:-;882:24;898:7;882:11;:15;;:24;;;;:::i;:::-;936:7;921:23;;;;;;;;;;;;823:128;:::o;6954:332:2:-;7064:1;7047:19;;:5;:19;;;;7039:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7144:1;7125:21;;:7;:21;;;;7117:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7226:6;7196:11;:18;7208:5;7196:18;;;;;;;;;;;;;;;:27;7215:7;7196:27;;;;;;;;;;;;;;;:36;;;;7263:7;7247:32;;7256:5;7247:32;;;7272:6;7247:32;;;;;;;;;;;;;;;;;;6954:332;;;:::o;1732:187:13:-;1818:7;1850:1;1845;:6;;1853:12;1837:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;1837:29:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1876:9;1892:1;1888;:5;1876:17;;1911:1;1904:8;;;1732:187;;;;;:::o;6187:342:2:-;6281:1;6262:21;;:7;:21;;;;6254:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6353:68;6376:6;6353:68;;;;;;;;;;;;;;;;;:9;:18;6363:7;6353:18;;;;;;;;;;;;;;;;:22;;:68;;;;;:::i;:::-;6332:9;:18;6342:7;6332:18;;;;;;;;;;;;;;;:89;;;;6446:24;6463:6;6446:12;;:16;;:24;;;;:::i;:::-;6431:12;:39;;;;6511:1;6485:37;;6494:7;6485:37;;;6515:6;6485:37;;;;;;;;;;;;;;;;;;6187:342;;:::o;578:466:12:-;657:18;661:4;667:7;657:3;:18::i;:::-;649:64;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;723:23;773:1;749:4;:20;;;:25;;;;;;;;;;723:51;;889:33;906:15;889:16;:33::i;:::-;881:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1032:5;1009:4;:11;;:20;1021:7;1009:20;;;;;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;578:466;;;:::o;7464:229:2:-;7535:22;7541:7;7550:6;7535:5;:22::i;:::-;7567:119;7576:7;7585:12;:10;:12::i;:::-;7599:86;7638:6;7599:86;;;;;;;;;;;;;;;;;:11;:20;7611:7;7599:20;;;;;;;;;;;;;;;:34;7620:12;:10;:12::i;:::-;7599:34;;;;;;;;;;;;;;;;:38;;:86;;;;;:::i;:::-;7567:8;:119::i;:::-;7464:229;;:::o;293:210:12:-;370:18;374:4;380:7;370:3;:18::i;:::-;369:19;361:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;457:4;434;:11;;:20;446:7;434:20;;;;;;;;;;;;;;;;:27;;;;;;;;;;;;;;;;;;495:1;471:4;:20;;;:25;;;;;;;;;;;293:210;;:::o;1447:200::-;1521:4;1559:1;1541:15;:19;1537:104;;;1583:4;1576:11;;;;1537:104;1625:5;1618:12;;1447:200;;;;:::o;227:788:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o

bzzr://c3e5612f140fb9267be2fabde687cb0447f00cab9951590415702a7d2fa10a5a