/*
 *
 * 7.30
 *
 *
 */

int main () {

	// Maybe it is clear to some. But to some it might be pretty redundant.
	// I think overall it is a matter of preference and such a thing like this
	//should be decided on by the code authors.
	return 0;
}