/*
 *
 * 8.12
 *
 *
 */

int main () {

	// Because we don't need them?
	return 0;
}