Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract Ownable
•    - function transferOwnership(address _n ...
•  contract Pausable is Ownable
•    - function pause()
•    - function unpause()
•  contract ControllablePause is Paus ...
•    - function addTransferWhiteList(address ...
•    - function delTransferWhiteList(address ...
•  contract ERC20Basic
•    - function totalSupply()
•    - function balanceOf(address _owner)
•    - function transfer(address _to, uint25 ...
•  contract ERC20 is ERC20Basic
•    - function allowance(address _owner, ad ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•  contract BasicToken is ERC20Basic
•    - function totalSupply()
•    - function transfer(address _to, uint25 ...
•    - function balanceOf(address _owner)
•  contract StandardToken is ERC20, B ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•    - function increaseApproval(address _sp ...
•    - function decreaseApproval(address _sp ...
•  contract PausableToken is Standard ...
•    - function transfer(address _to, uint25 ...
•    - function transferFrom(address _from, ...
•  contract TXT is PausableToken *
•    - function batchTransfer(address[] _rec ...
•    - function setLockTokensAddress(address ...
•    - function setCrowdsaleAddress(address ...
•    - function setPrivateSaleAddress(addres ...
•    - function ()
• library SafeMath
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-07-08
*/

pragma solidity ^0.4.23;

contract Ownable {
	address public owner;

	// event
	event OwnershipTransferred(address indexed _previousOwner, address indexed _newOwner);

	constructor() public {
		owner = msg.sender;
	}

	modifier onlyOwner() {
		require(msg.sender == owner);
		_;
	}

	function transferOwnership(address _newOwner) public onlyOwner {
		require(_newOwner != address(0));
		emit OwnershipTransferred(owner, _newOwner);
		owner = _newOwner;
	}
}

contract Pausable is Ownable {
    event Pause();
    event Unpause();

    bool public paused = true;

    modifier whenNotPaused() {
        require(!paused);
        _;
    }

    modifier whenPaused() {
        require(paused);
        _;
    }

    function pause() public onlyOwner whenNotPaused returns (bool) {
        paused = true;
        emit Pause();
        return true;
    }

    function unpause() public onlyOwner whenPaused returns (bool) {
        paused = false;
        emit Unpause();
        return true;
    }
}

contract ControllablePause is Pausable {
    mapping(address => bool) public transferWhiteList;
    
    modifier whenControllablePaused() {
        if (!paused) {
            require(transferWhiteList[msg.sender]);
        }
        _;
    }
    
    modifier whenControllableNotPaused() {
        if (paused) {
            require(transferWhiteList[msg.sender]);
        }
        _;
    }
    
    function addTransferWhiteList(address _new) public onlyOwner {
        transferWhiteList[_new] = true;
    }
    
    function delTransferWhiteList(address _del) public onlyOwner {
        delete transferWhiteList[_del];
    }
}

// https://github.com/ethereum/EIPs/issues/179
contract ERC20Basic {
	function totalSupply() public view returns (uint256);
	function balanceOf(address _owner) public view returns (uint256);
	function transfer(address _to, uint256 _value) public returns (bool);
	
	event Transfer(address indexed _from, address indexed _to, uint256 _value);
}


// https://github.com/ethereum/EIPs/issues/20
contract ERC20 is ERC20Basic {
	function allowance(address _owner, address _spender) public view returns (uint256);
	function transferFrom(address _from, address _to, uint256 _value) public returns (bool);
	function approve(address _spender, uint256 _value) public returns (bool);
	
	event Approval(address indexed _owner, address indexed _spender, uint256 _value);
}


contract BasicToken is ERC20Basic {
    
    // use SafeMath to avoid uint256 overflow
	using SafeMath for uint256;

    // balances of every address
	mapping(address => uint256) balances;

	// total number of token
	uint256 totalSupply_;

    // return total number of token
	function totalSupply() public view returns (uint256) {
		return totalSupply_;
	}

	// transfer _value tokens to _to from msg.sender
	function transfer(address _to, uint256 _value) public returns (bool) {
	    // if you want to destroy tokens, use burn replace transfer to address 0
		require(_to != address(0));
		// can not transfer to self
		require(_to != msg.sender);
		require(_value <= balances[msg.sender]);

		// SafeMath.sub will throw if there is not enough balance.
		balances[msg.sender] = balances[msg.sender].sub(_value);
		balances[_to] = balances[_to].add(_value);
		emit Transfer(msg.sender, _to, _value);
		return true;
	}

	// return _owner how many tokens
	function balanceOf(address _owner) public view returns (uint256 balance) {
		return balances[_owner];
	}

}


// refer: https://github.com/Firstbloodio/token/blob/master/smart_contract/FirstBloodToken.sol
contract StandardToken is ERC20, BasicToken {

	mapping (address => mapping (address => uint256)) internal allowed;

	function transferFrom(address _from, address _to, uint256 _value) public returns (bool) {
		require(_to != address(0));
		require(_from != _to);
		require(_value <= balances[_from]);
		require(_value <= allowed[_from][msg.sender]);

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

	// https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
	function approve(address _spender, uint256 _value) public returns (bool) {
		allowed[msg.sender][_spender] = _value;
		emit Approval(msg.sender, _spender, _value);
		return true;
	}

    // return how many tokens _owner approve to _spender
	function allowance(address _owner, address _spender) public view returns (uint256) {
		return allowed[_owner][_spender];
	}

    // increase approval to _spender
	function increaseApproval(address _spender, uint _addedValue) public returns (bool) {
		allowed[msg.sender][_spender] = allowed[msg.sender][_spender].add(_addedValue);
		emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
		return true;
	}

    // decrease approval to _spender
	function decreaseApproval(address _spender, uint _subtractedValue) public returns (bool) {
		uint oldValue = allowed[msg.sender][_spender];
		if (_subtractedValue > oldValue) {
			allowed[msg.sender][_spender] = 0;
		} else {
			allowed[msg.sender][_spender] = oldValue.sub(_subtractedValue);
		}
		emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
		return true;
	}
}


contract PausableToken is StandardToken, ControllablePause{
    
    function transfer(address _to, uint256 _value) public whenControllableNotPaused returns (bool) {
        return super.transfer(_to, _value);
    }
    
    function transferFrom(address _from, address _to, uint256 _value) public whenControllableNotPaused returns (bool) {
        return super.transferFrom(_from, _to, _value);
    }
}


contract TXT is PausableToken {
	using SafeMath for uint256;
    
	string public constant name	= 'TXT';
	string public constant symbol = 'TXT';
	uint public constant decimals = 4;
	uint public constant INITIAL_SUPPLY = 50*10**12;

	constructor() public {
		totalSupply_ = INITIAL_SUPPLY;
		balances[owner] = totalSupply_;
		emit Transfer(address(0x0), owner, totalSupply_);
	}

	function batchTransfer(address[] _recipients, uint256 _value) public whenControllableNotPaused returns (bool) {
		uint256 count = _recipients.length;
		require(count > 0 && count <= 20);
		uint256 needAmount = count.mul(_value);
		require(_value > 0 && balances[msg.sender] >= needAmount);

		for (uint256 i = 0; i < count; i++) {
			transfer(_recipients[i], _value);
		}
		return true;
	}
	
    // Record private sale wallet to allow transfering.
    address public privateSaleWallet;

    // Crowdsale contract address.
    address public crowdsaleAddress;
    
    // Lock tokens contract address.
    address public lockTokensAddress;
    
    function setLockTokensAddress(address _lockTokensAddress) external onlyOwner {
        lockTokensAddress = _lockTokensAddress;
    }
	
    function setCrowdsaleAddress(address _crowdsaleAddress) external onlyOwner {
        // Can only set one time.
        require(crowdsaleAddress == address(0));
        require(_crowdsaleAddress != address(0));
        crowdsaleAddress = _crowdsaleAddress;
    }

    function setPrivateSaleAddress(address _privateSaleWallet) external onlyOwner {
        // Can only set one time.
        require(privateSaleWallet == address(0));
        privateSaleWallet = _privateSaleWallet;
    }
    
    // revert error pay 
    function () public {
        revert();
    }
}


library SafeMath {

	function mul(uint256 a, uint256 b) internal pure returns (uint256) {
		if (a == 0) {
			return 0;
		}
		uint256 c = a * b;
		assert(c / a == b);
		return c;
	}

	function div(uint256 a, uint256 b) internal pure returns (uint256) {
		// assert(b > 0); // Solidity automatically throws when dividing by 0
		uint256 c = a / b;
		// assert(a == b * c + a % b); // There is no case in which this doesn't hold
		return c;
	}

	function sub(uint256 a, uint256 b) internal pure returns (uint256) {
		assert(b <= a);
		return a - b;
	}

	function add(uint256 a, uint256 b) internal pure returns (uint256) {
		uint256 c = a + b;
		assert(c >= a);
		return c;
	}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"transferWhiteList","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"lockTokensAddress","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_lockTokensAddress","type":"address"}],"name":"setLockTokensAddress","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_crowdsaleAddress","type":"address"}],"name":"setCrowdsaleAddress","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"INITIAL_SUPPLY","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"crowdsaleAddress","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"unpause","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_new","type":"address"}],"name":"addTransferWhiteList","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_subtractedValue","type":"uint256"}],"name":"decreaseApproval","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_del","type":"address"}],"name":"delTransferWhiteList","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_recipients","type":"address[]"},{"name":"_value","type":"uint256"}],"name":"batchTransfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"pause","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_addedValue","type":"uint256"}],"name":"increaseApproval","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"privateSaleWallet","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_privateSaleWallet","type":"address"}],"name":"setPrivateSaleAddress","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":false,"stateMutability":"nonpayable","type":"fallback"},{"anonymous":false,"inputs":[],"name":"Pause","type":"event"},{"anonymous":false,"inputs":[],"name":"Unpause","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_previousOwner","type":"address"},{"indexed":true,"name":"_newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_owner","type":"address"},{"indexed":true,"name":"_spender","type":"address"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_from","type":"address"},{"indexed":true,"name":"_to","type":"address"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"Transfer","type":"event"}]

60806040526003805460a060020a60ff0219167401000000000000000000000000000000000000000017905534801561003757600080fd5b5060038054600160a060020a03191633600160a060020a0390811691909117808355652d79883d20006001819055908216600090815260208181526040808320849055945485519384529451949093169390927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef928290030190a3611038806100c16000396000f30060806040526004361061015e5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166302e4ef66811461017057806306fdde03146101a5578063095ea7b31461022f57806310a825791461025357806314177dbf1461028457806318160ddd146102a75780631f35bc40146102ce57806323b872dd146102ef5780632ff2e9dc14610319578063313ce5671461032e57806331d2f891146103435780633f4ba83a14610358578063438652e01461036d5780635c975abb1461038e57806366188463146103a357806370a08231146103c75780637fb5d847146103e857806383f12fec146104095780638456cb59146104605780638da5cb5b1461047557806395d89b41146101a5578063a9059cbb1461048a578063d73dd623146104ae578063dd62ed3e146104d2578063ea503429146104f9578063ee2a0c121461050e578063f2fde38b1461052f575b34801561016a57600080fd5b50600080fd5b34801561017c57600080fd5b50610191600160a060020a0360043516610550565b604080519115158252519081900360200190f35b3480156101b157600080fd5b506101ba610565565b6040805160208082528351818301528351919283929083019185019080838360005b838110156101f45781810151838201526020016101dc565b50505050905090810190601f1680156102215780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561023b57600080fd5b50610191600160a060020a036004351660243561059c565b34801561025f57600080fd5b50610268610606565b60408051600160a060020a039092168252519081900360200190f35b34801561029057600080fd5b506102a5600160a060020a0360043516610615565b005b3480156102b357600080fd5b506102bc61065f565b60408051918252519081900360200190f35b3480156102da57600080fd5b506102a5600160a060020a0360043516610665565b3480156102fb57600080fd5b50610191600160a060020a03600435811690602435166044356106da565b34801561032557600080fd5b506102bc610729565b34801561033a57600080fd5b506102bc610733565b34801561034f57600080fd5b50610268610738565b34801561036457600080fd5b50610191610747565b34801561037957600080fd5b506102a5600160a060020a03600435166107ca565b34801561039a57600080fd5b50610191610809565b3480156103af57600080fd5b50610191600160a060020a0360043516602435610819565b3480156103d357600080fd5b506102bc600160a060020a0360043516610914565b3480156103f457600080fd5b506102a5600160a060020a036004351661092f565b34801561041557600080fd5b506040805160206004803580820135838102808601850190965280855261019195369593946024949385019291829185019084908082843750949750509335945061096b9350505050565b34801561046c57600080fd5b50610191610a54565b34801561048157600080fd5b50610268610adc565b34801561049657600080fd5b50610191600160a060020a0360043516602435610aeb565b3480156104ba57600080fd5b50610191600160a060020a0360043516602435610b38565b3480156104de57600080fd5b506102bc600160a060020a0360043581169060243516610bda565b34801561050557600080fd5b50610268610c05565b34801561051a57600080fd5b506102a5600160a060020a0360043516610c14565b34801561053b57600080fd5b506102a5600160a060020a0360043516610c74565b60046020526000908152604090205460ff1681565b60408051808201909152600381527f5458540000000000000000000000000000000000000000000000000000000000602082015281565b600160a060020a03338116600081815260026020908152604080832094871680845294825280832086905580518681529051929493927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b600754600160a060020a031681565b60035433600160a060020a0390811691161461063057600080fd5b6007805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b60015490565b60035433600160a060020a0390811691161461068057600080fd5b600654600160a060020a03161561069657600080fd5b600160a060020a03811615156106ab57600080fd5b6006805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b60035460009060a060020a900460ff161561071657600160a060020a03331660009081526004602052604090205460ff16151561071657600080fd5b610721848484610d0d565b949350505050565b652d79883d200081565b600481565b600654600160a060020a031681565b60035460009033600160a060020a0390811691161461076557600080fd5b60035460a060020a900460ff16151561077d57600080fd5b6003805474ff0000000000000000000000000000000000000000191690556040517f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3390600090a150600190565b60035433600160a060020a039081169116146107e557600080fd5b600160a060020a03166000908152600460205260409020805460ff19166001179055565b60035460a060020a900460ff1681565b600160a060020a0333811660009081526002602090815260408083209386168352929052908120548083111561087657600160a060020a0333811660009081526002602090815260408083209388168352929052908120556108ad565b610886818463ffffffff610ea616565b600160a060020a033381166000908152600260209081526040808320938916835292905220555b600160a060020a0333811660008181526002602090815260408083209489168084529482529182902054825190815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3600191505b5092915050565b600160a060020a031660009081526020819052604090205490565b60035433600160a060020a0390811691161461094a57600080fd5b600160a060020a03166000908152600460205260409020805460ff19169055565b600080600080600360149054906101000a900460ff16156109ad57600160a060020a03331660009081526004602052604090205460ff1615156109ad57600080fd5b855192506000831180156109c2575060148311155b15156109cd57600080fd5b6109dd838663ffffffff610eb816565b9150600085118015610a075750600160a060020a0333166000908152602081905260409020548211155b1515610a1257600080fd5b5060005b82811015610a4857610a3f8682815181101515610a2f57fe5b9060200190602002015186610aeb565b50600101610a16565b50600195945050505050565b60035460009033600160a060020a03908116911614610a7257600080fd5b60035460a060020a900460ff1615610a8957600080fd5b6003805474ff0000000000000000000000000000000000000000191660a060020a1790556040517f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62590600090a150600190565b600354600160a060020a031681565b60035460009060a060020a900460ff1615610b2757600160a060020a03331660009081526004602052604090205460ff161515610b2757600080fd5b610b318383610ee3565b9392505050565b600160a060020a033381166000908152600260209081526040808320938616835292905290812054610b70908363ffffffff610ffd16565b600160a060020a0333811660008181526002602090815260408083209489168084529482529182902085905581519485529051929391927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a350600192915050565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b600554600160a060020a031681565b60035433600160a060020a03908116911614610c2f57600080fd5b600554600160a060020a031615610c4557600080fd5b6005805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b60035433600160a060020a03908116911614610c8f57600080fd5b600160a060020a0381161515610ca457600080fd5b600354604051600160a060020a038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a36003805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b6000600160a060020a0383161515610d2457600080fd5b600160a060020a038481169084161415610d3d57600080fd5b600160a060020a038416600090815260208190526040902054821115610d6257600080fd5b600160a060020a0380851660009081526002602090815260408083203390941683529290522054821115610d9557600080fd5b600160a060020a038416600090815260208190526040902054610dbe908363ffffffff610ea616565b600160a060020a038086166000908152602081905260408082209390935590851681522054610df3908363ffffffff610ffd16565b600160a060020a0380851660009081526020818152604080832094909455878316825260028152838220339093168252919091522054610e39908363ffffffff610ea616565b600160a060020a038086166000818152600260209081526040808320338616845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b600082821115610eb257fe5b50900390565b600080831515610ecb576000915061090d565b50828202828482811515610edb57fe5b0414610b3157fe5b6000600160a060020a0383161515610efa57600080fd5b33600160a060020a031683600160a060020a031614151515610f1b57600080fd5b600160a060020a033316600090815260208190526040902054821115610f4057600080fd5b600160a060020a033316600090815260208190526040902054610f69908363ffffffff610ea616565b600160a060020a033381166000908152602081905260408082209390935590851681522054610f9e908363ffffffff610ffd16565b600160a060020a03808516600081815260208181526040918290209490945580518681529051919333909316927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a350600192915050565b600082820183811015610b3157fe00a165627a7a723058203f249f30d149bd8c75e0f9c30c809c04214fd0d6912be1b60b99451d768274130029

0x60806040526004361061015e5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166302e4ef66811461017057806306fdde03146101a5578063095ea7b31461022f57806310a825791461025357806314177dbf1461028457806318160ddd146102a75780631f35bc40146102ce57806323b872dd146102ef5780632ff2e9dc14610319578063313ce5671461032e57806331d2f891146103435780633f4ba83a14610358578063438652e01461036d5780635c975abb1461038e57806366188463146103a357806370a08231146103c75780637fb5d847146103e857806383f12fec146104095780638456cb59146104605780638da5cb5b1461047557806395d89b41146101a5578063a9059cbb1461048a578063d73dd623146104ae578063dd62ed3e146104d2578063ea503429146104f9578063ee2a0c121461050e578063f2fde38b1461052f575b34801561016a57600080fd5b50600080fd5b34801561017c57600080fd5b50610191600160a060020a0360043516610550565b604080519115158252519081900360200190f35b3480156101b157600080fd5b506101ba610565565b6040805160208082528351818301528351919283929083019185019080838360005b838110156101f45781810151838201526020016101dc565b50505050905090810190601f1680156102215780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561023b57600080fd5b50610191600160a060020a036004351660243561059c565b34801561025f57600080fd5b50610268610606565b60408051600160a060020a039092168252519081900360200190f35b34801561029057600080fd5b506102a5600160a060020a0360043516610615565b005b3480156102b357600080fd5b506102bc61065f565b60408051918252519081900360200190f35b3480156102da57600080fd5b506102a5600160a060020a0360043516610665565b3480156102fb57600080fd5b50610191600160a060020a03600435811690602435166044356106da565b34801561032557600080fd5b506102bc610729565b34801561033a57600080fd5b506102bc610733565b34801561034f57600080fd5b50610268610738565b34801561036457600080fd5b50610191610747565b34801561037957600080fd5b506102a5600160a060020a03600435166107ca565b34801561039a57600080fd5b50610191610809565b3480156103af57600080fd5b50610191600160a060020a0360043516602435610819565b3480156103d357600080fd5b506102bc600160a060020a0360043516610914565b3480156103f457600080fd5b506102a5600160a060020a036004351661092f565b34801561041557600080fd5b506040805160206004803580820135838102808601850190965280855261019195369593946024949385019291829185019084908082843750949750509335945061096b9350505050565b34801561046c57600080fd5b50610191610a54565b34801561048157600080fd5b50610268610adc565b34801561049657600080fd5b50610191600160a060020a0360043516602435610aeb565b3480156104ba57600080fd5b50610191600160a060020a0360043516602435610b38565b3480156104de57600080fd5b506102bc600160a060020a0360043581169060243516610bda565b34801561050557600080fd5b50610268610c05565b34801561051a57600080fd5b506102a5600160a060020a0360043516610c14565b34801561053b57600080fd5b506102a5600160a060020a0360043516610c74565b60046020526000908152604090205460ff1681565b60408051808201909152600381527f5458540000000000000000000000000000000000000000000000000000000000602082015281565b600160a060020a03338116600081815260026020908152604080832094871680845294825280832086905580518681529051929493927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b600754600160a060020a031681565b60035433600160a060020a0390811691161461063057600080fd5b6007805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b60015490565b60035433600160a060020a0390811691161461068057600080fd5b600654600160a060020a03161561069657600080fd5b600160a060020a03811615156106ab57600080fd5b6006805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b60035460009060a060020a900460ff161561071657600160a060020a03331660009081526004602052604090205460ff16151561071657600080fd5b610721848484610d0d565b949350505050565b652d79883d200081565b600481565b600654600160a060020a031681565b60035460009033600160a060020a0390811691161461076557600080fd5b60035460a060020a900460ff16151561077d57600080fd5b6003805474ff0000000000000000000000000000000000000000191690556040517f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3390600090a150600190565b60035433600160a060020a039081169116146107e557600080fd5b600160a060020a03166000908152600460205260409020805460ff19166001179055565b60035460a060020a900460ff1681565b600160a060020a0333811660009081526002602090815260408083209386168352929052908120548083111561087657600160a060020a0333811660009081526002602090815260408083209388168352929052908120556108ad565b610886818463ffffffff610ea616565b600160a060020a033381166000908152600260209081526040808320938916835292905220555b600160a060020a0333811660008181526002602090815260408083209489168084529482529182902054825190815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3600191505b5092915050565b600160a060020a031660009081526020819052604090205490565b60035433600160a060020a0390811691161461094a57600080fd5b600160a060020a03166000908152600460205260409020805460ff19169055565b600080600080600360149054906101000a900460ff16156109ad57600160a060020a03331660009081526004602052604090205460ff1615156109ad57600080fd5b855192506000831180156109c2575060148311155b15156109cd57600080fd5b6109dd838663ffffffff610eb816565b9150600085118015610a075750600160a060020a0333166000908152602081905260409020548211155b1515610a1257600080fd5b5060005b82811015610a4857610a3f8682815181101515610a2f57fe5b9060200190602002015186610aeb565b50600101610a16565b50600195945050505050565b60035460009033600160a060020a03908116911614610a7257600080fd5b60035460a060020a900460ff1615610a8957600080fd5b6003805474ff0000000000000000000000000000000000000000191660a060020a1790556040517f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62590600090a150600190565b600354600160a060020a031681565b60035460009060a060020a900460ff1615610b2757600160a060020a03331660009081526004602052604090205460ff161515610b2757600080fd5b610b318383610ee3565b9392505050565b600160a060020a033381166000908152600260209081526040808320938616835292905290812054610b70908363ffffffff610ffd16565b600160a060020a0333811660008181526002602090815260408083209489168084529482529182902085905581519485529051929391927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a350600192915050565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b600554600160a060020a031681565b60035433600160a060020a03908116911614610c2f57600080fd5b600554600160a060020a031615610c4557600080fd5b6005805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b60035433600160a060020a03908116911614610c8f57600080fd5b600160a060020a0381161515610ca457600080fd5b600354604051600160a060020a038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a36003805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b6000600160a060020a0383161515610d2457600080fd5b600160a060020a038481169084161415610d3d57600080fd5b600160a060020a038416600090815260208190526040902054821115610d6257600080fd5b600160a060020a0380851660009081526002602090815260408083203390941683529290522054821115610d9557600080fd5b600160a060020a038416600090815260208190526040902054610dbe908363ffffffff610ea616565b600160a060020a038086166000908152602081905260408082209390935590851681522054610df3908363ffffffff610ffd16565b600160a060020a0380851660009081526020818152604080832094909455878316825260028152838220339093168252919091522054610e39908363ffffffff610ea616565b600160a060020a038086166000818152600260209081526040808320338616845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b600082821115610eb257fe5b50900390565b600080831515610ecb576000915061090d565b50828202828482811515610edb57fe5b0414610b3157fe5b6000600160a060020a0383161515610efa57600080fd5b33600160a060020a031683600160a060020a031614151515610f1b57600080fd5b600160a060020a033316600090815260208190526040902054821115610f4057600080fd5b600160a060020a033316600090815260208190526040902054610f69908363ffffffff610ea616565b600160a060020a033381166000908152602081905260408082209390935590851681522054610f9e908363ffffffff610ffd16565b600160a060020a03808516600081815260208181526040918290209490945580518681529051919333909316927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a350600192915050565b600082820183811015610b3157fe00a165627a7a723058203f249f30d149bd8c75e0f9c30c809c04214fd0d6912be1b60b99451d768274130029

5886:1787:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5886:1787:0;7654:8;;;1096:49;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1096:49:0;-1:-1:-1;;;;;1096:49:0;;;;;;;;;;;;;;;;;;;;;;;5956:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5956:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;5956:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4348:185;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4348:185:0;-1:-1:-1;;;;;4348:185:0;;;;;;;6903:32;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6903:32:0;;;;;;;;-1:-1:-1;;;;;6903:32:0;;;;;;;;;;;;;;6948:134;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;6948:134:0;-1:-1:-1;;;;;6948:134:0;;;;;;;2777:82;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2777:82:0;;;;;;;;;;;;;;;;;;;;7091:266;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;7091:266:0;-1:-1:-1;;;;;7091:266:0;;;;;5699:178;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5699:178:0;-1:-1:-1;;;;;5699:178:0;;;;;;;;;;;;6073:47;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6073:47:0;;;;6036:33;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6036:33:0;;;;6821:31;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6821:31:0;;;;901:142;;8:9:-1;5:2;;;30:1;27;20:12;5:2;901:142:0;;;;1468:110;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1468:110:0;-1:-1:-1;;;;;1468:110:0;;;;;563:25;;8:9:-1;5:2;;;30:1;27;20:12;5:2;563:25:0;;;;5066:393;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5066:393:0;-1:-1:-1;;;;;5066:393:0;;;;;;;3474:106;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3474:106:0;-1:-1:-1;;;;;3474:106:0;;;;;1590:110;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1590:110:0;-1:-1:-1;;;;;1590:110:0;;;;;6279:399;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;6279:399:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;6279:399:0;;-1:-1:-1;;6279:399:0;;;-1:-1:-1;6279:399:0;;-1:-1:-1;;;;6279:399:0;753:140;;8:9:-1;5:2;;;30:1;27;20:12;5:2;753:140:0;;;;49:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;49:20:0;;;;5539:148;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5539:148:0;-1:-1:-1;;;;;5539:148:0;;;;;;;4764:259;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4764:259:0;-1:-1:-1;;;;;4764:259:0;;;;;;;4596:125;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4596:125:0;-1:-1:-1;;;;;4596:125:0;;;;;;;;;;6744:32;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6744:32:0;;;;7365:221;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;7365:221:0;-1:-1:-1;;;;;7365:221:0;;;;;301:175;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;301:175:0;-1:-1:-1;;;;;301:175:0;;;;;1096:49;;;;;;;;;;;;;;;:::o;5956:35::-;;;;;;;;;;;;;;;;;;;:::o;4348:185::-;-1:-1:-1;;;;;4434:10:0;4426:19;;4415:4;4426:19;;;:7;:19;;;;;;;;:29;;;;;;;;;;;;:38;;;4474;;;;;;;4415:4;;4426:29;:19;4474:38;;;;;;;;;;;-1:-1:-1;4524:4:0;4348:185;;;;:::o;6903:32::-;;;-1:-1:-1;;;;;6903:32:0;;:::o;6948:134::-;279:5;;265:10;-1:-1:-1;;;;;265:19:0;;;279:5;;265:19;257:28;;;;;;7036:17;:38;;-1:-1:-1;;7036:38:0;-1:-1:-1;;;;;7036:38:0;;;;;;;;;;6948:134::o;2777:82::-;2842:12;;2777:82;:::o;7091:266::-;279:5;;265:10;-1:-1:-1;;;;;265:19:0;;;279:5;;265:19;257:28;;;;;;7220:16;;-1:-1:-1;;;;;7220:16:0;:30;7212:39;;;;;;-1:-1:-1;;;;;7270:31:0;;;;7262:40;;;;;;7313:16;:36;;-1:-1:-1;;7313:36:0;-1:-1:-1;;;;;7313:36:0;;;;;;;;;;7091:266::o;5699:178::-;1364:6;;5807:4;;-1:-1:-1;;;1364:6:0;;;;1360:77;;;-1:-1:-1;;;;;1413:10:0;1395:29;;;;;:17;:29;;;;;;;;1387:38;;;;;;;;5831;5850:5;5857:3;5862:6;5831:18;:38::i;:::-;5824:45;5699:178;-1:-1:-1;;;;5699:178:0:o;6073:47::-;6111:9;6073:47;:::o;6036:33::-;6068:1;6036:33;:::o;6821:31::-;;;-1:-1:-1;;;;;6821:31:0;;:::o;901:142::-;279:5;;957:4;;265:10;-1:-1:-1;;;;;265:19:0;;;279:5;;265:19;257:28;;;;;;718:6;;-1:-1:-1;;;718:6:0;;;;710:15;;;;;;;;974:6;:14;;-1:-1:-1;;974:14:0;;;1004:9;;;;983:5;;1004:9;-1:-1:-1;1031:4:0;901:142;:::o;1468:110::-;279:5;;265:10;-1:-1:-1;;;;;265:19:0;;;279:5;;265:19;257:28;;;;;;-1:-1:-1;;;;;1540:23:0;;;;;:17;:23;;;;;:30;;-1:-1:-1;;1540:30:0;1566:4;1540:30;;;1468:110::o;563:25::-;;;-1:-1:-1;;;563:25:0;;;;;:::o;5066:393::-;-1:-1:-1;;;;;5184:10:0;5176:19;;5149:4;5176:19;;;:7;:19;;;;;;;;:29;;;;;;;;;;;;5214:27;;;5210:158;;;-1:-1:-1;;;;;5257:10:0;5249:19;;5281:1;5249:19;;;:7;:19;;;;;;;;:29;;;;;;;;;;;:33;5210:158;;;5332:30;:8;5345:16;5332:30;:12;:30;:::i;:::-;-1:-1:-1;;;;;5308:10:0;5300:19;;;;;;:7;:19;;;;;;;;:29;;;;;;;;;:62;5210:158;-1:-1:-1;;;;;5386:10:0;5377:61;;5408:19;;;;:7;:19;;;;;;;;5377:61;;;5408:29;;;;;;;;;;;5377:61;;;;;;;;;;;;;;;;;5450:4;5443:11;;5066:393;;;;;;:::o;3474:106::-;-1:-1:-1;;;;;3559:16:0;3530:15;3559:16;;;;;;;;;;;;3474:106::o;1590:110::-;279:5;;265:10;-1:-1:-1;;;;;265:19:0;;;279:5;;265:19;257:28;;;;;;-1:-1:-1;;;;;1669:23:0;;;;;:17;:23;;;;;1662:30;;-1:-1:-1;;1662:30:0;;;1590:110::o;6279:399::-;6383:4;6394:13;6471:18;6583:9;1364:6;;;;;;;;;;;1360:77;;;-1:-1:-1;;;;;1413:10:0;1395:29;;;;;:17;:29;;;;;;;;1387:38;;;;;;;;6410:11;:18;6394:34;;6449:1;6441:5;:9;:24;;;;;6463:2;6454:5;:11;;6441:24;6433:33;;;;;;;;6492:17;:5;6502:6;6492:17;:9;:17;:::i;:::-;6471:38;;6531:1;6522:6;:10;:48;;;;-1:-1:-1;;;;;;6545:10:0;6536:20;:8;:20;;;;;;;;;;;:34;-1:-1:-1;6536:34:0;6522:48;6514:57;;;;;;;;-1:-1:-1;6595:1:0;6578:80;6602:5;6598:1;:9;6578:80;;;6620:32;6629:11;6641:1;6629:14;;;;;;;;;;;;;;;;;;6645:6;6620:8;:32::i;:::-;-1:-1:-1;6609:3:0;;6578:80;;;-1:-1:-1;6669:4:0;;6279:399;-1:-1:-1;;;;;6279:399:0:o;753:140::-;279:5;;810:4;;265:10;-1:-1:-1;;;;;265:19:0;;;279:5;;265:19;257:28;;;;;;642:6;;-1:-1:-1;;;642:6:0;;;;641:7;633:16;;;;;;827:6;:13;;-1:-1:-1;;827:13:0;-1:-1:-1;;;827:13:0;;;856:7;;;;827:13;;856:7;-1:-1:-1;881:4:0;753:140;:::o;49:20::-;;;-1:-1:-1;;;;;49:20:0;;:::o;5539:148::-;1364:6;;5628:4;;-1:-1:-1;;;1364:6:0;;;;1360:77;;;-1:-1:-1;;;;;1413:10:0;1395:29;;;;;:17;:29;;;;;;;;1387:38;;;;;;;;5652:27;5667:3;5672:6;5652:14;:27::i;:::-;5645:34;5539:148;-1:-1:-1;;;5539:148:0:o;4764:259::-;-1:-1:-1;;;;;4893:10:0;4885:19;;4842:4;4885:19;;;:7;:19;;;;;;;;:29;;;;;;;;;;;;:46;;4919:11;4885:46;:33;:46;:::i;:::-;-1:-1:-1;;;;;4861:10:0;4853:19;;;;;;:7;:19;;;;;;;;:29;;;;;;;;;;;;;:78;;;4941:61;;;;;;;4853:29;;:19;;4941:61;;;;;;;;;;-1:-1:-1;5014:4:0;4764:259;;;;:::o;4596:125::-;-1:-1:-1;;;;;4691:15:0;;;4670:7;4691:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;4596:125::o;6744:32::-;;;-1:-1:-1;;;;;6744:32:0;;:::o;7365:221::-;279:5;;265:10;-1:-1:-1;;;;;265:19:0;;;279:5;;265:19;257:28;;;;;;7497:17;;-1:-1:-1;;;;;7497:17:0;:31;7489:40;;;;;;7540:17;:38;;-1:-1:-1;;7540:38:0;-1:-1:-1;;;;;7540:38:0;;;;;;;;;;7365:221::o;301:175::-;279:5;;265:10;-1:-1:-1;;;;;265:19:0;;;279:5;;265:19;257:28;;;;;;-1:-1:-1;;;;;377:23:0;;;;369:32;;;;;;432:5;;411:38;;-1:-1:-1;;;;;411:38:0;;;;432:5;;411:38;;432:5;;411:38;454:5;:17;;-1:-1:-1;;454:17:0;-1:-1:-1;;;;;454:17:0;;;;;;;;;;301:175::o;3809:463::-;3891:4;-1:-1:-1;;;;;3910:17:0;;;;3902:26;;;;;;-1:-1:-1;;;;;3941:12:0;;;;;;;;3933:21;;;;;;-1:-1:-1;;;;;3977:15:0;;:8;:15;;;;;;;;;;;3967:25;;;3959:34;;;;;;-1:-1:-1;;;;;4016:14:0;;;;;;;:7;:14;;;;;;;;4031:10;4016:26;;;;;;;;;;4006:36;;;3998:45;;;;;;-1:-1:-1;;;;;4068:15:0;;:8;:15;;;;;;;;;;;:27;;4088:6;4068:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;4050:15:0;;;:8;:15;;;;;;;;;;;:45;;;;4116:13;;;;;;;:25;;4134:6;4116:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;4100:13:0;;;:8;:13;;;;;;;;;;;:41;;;;4175:14;;;;;:7;:14;;;;;4190:10;4175:26;;;;;;;;;;;:38;;4206:6;4175:38;:30;:38;:::i;:::-;-1:-1:-1;;;;;4146:14:0;;;;;;;:7;:14;;;;;;;;4161:10;4146:26;;;;;;;;;;:67;;;;4223:28;;;;;;;;;;;4146:14;;4223:28;;;;;;;;;;;-1:-1:-1;4263:4:0;3809:463;;;;;:::o;8139:108::-;8197:7;8218:6;;;;8211:14;;;;-1:-1:-1;8237:5:0;;;8139:108::o;7702:166::-;7760:7;;7778:6;;7774:32;;;7799:1;7792:8;;;;7774:32;-1:-1:-1;7822:5:0;;;7826:1;7822;:5;7839;;;;;;;;:10;7832:18;;;2915:519;2978:4;-1:-1:-1;;;;;3076:17:0;;;;3068:26;;;;;;3145:10;-1:-1:-1;;;;;3138:17:0;:3;-1:-1:-1;;;;;3138:17:0;;;3130:26;;;;;;;;-1:-1:-1;;;;;3188:10:0;3179:20;:8;:20;;;;;;;;;;;3169:30;;;3161:39;;;;;;-1:-1:-1;;;;;3301:10:0;3292:20;:8;:20;;;;;;;;;;;:32;;3317:6;3292:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;3278:10:0;3269:20;;:8;:20;;;;;;;;;;;:55;;;;3345:13;;;;;;;:25;;3363:6;3345:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;3329:13:0;;;:8;:13;;;;;;;;;;;;:41;;;;3380:33;;;;;;;3329:13;;3389:10;3380:33;;;;;;;;;;;;;-1:-1:-1;3425:4:0;2915:519;;;;:::o;8252:126::-;8310:7;8336:5;;;8353:6;;;;8346:14;;

bzzr://3f249f30d149bd8c75e0f9c30c809c04214fd0d6912be1b60b99451d76827413