int main() {
	return 42;
}